Pavol Cerny

Cited by

	All	Since 2019
Citations	2096	759
h-index	23	16
i10-index	37	25

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202426 20 32 38 69 56 93 103 95 110 138 205 158 155 135 131 144 162 116 71

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Jedidiah McClurgAssistant Professor of CS, Colorado State UniversityVerified email at colostate.edu
Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Leonid RyzhykFelderaVerified email at feldera.com
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Damien ZuffereyStatic Analysis Scientist, SonarSource S.A.Verified email at sonarsource.com
Thorsten TarrachAmazon Web ServicesVerified email at amazon.com
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelVerified email at csail.mit.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu

Pavol Cerny

Professor, TU Wien

Verified email at tuwien.ac.at - Homepage

Computer-aided verification Program synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Synthesis of interface specifications for Java classes R Alur, P Černý, P Madhusudan, W Nam Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	395	2005
Expressiveness of streaming string transducers R Alur, P Černý IARCS Annual Conference on Foundations of Software Technology and …, 2010	176	2010
Streaming transducers for algorithmic verification of single-pass list-processing programs R Alur, P Černý Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	167	2011
Efficient synthesis of network updates J McClurg, H Hojjat, P Černý, N Foster Acm Sigplan Notices 50 (6), 196-207, 2015	145	2015
Quantitative synthesis for concurrent programs P Černý, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	113	2011
Preserving secrecy under refinement R Alur, P Černý, S Zdancewic Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006	113	2006
Simulation distances P Černý, TA Henzinger, A Radhakrishna Theoretical Computer Science 413 (1), 21-35, 2012	94	2012
Synthesis through unification R Alur, P Černý, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015	86	2015
Event-driven network programming J McClurg, H Hojjat, N Foster, P Černý ACM SIGPLAN Notices 51 (6), 369-385, 2016	68	2016
Model checking of linearizability of concurrent list implementations P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur International Conference on Computer Aided Verification, 465-479, 2010	63	2010
Efficient synthesis for concurrency by semantics-preserving transformations P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International Conference on Computer Aided Verification, 951-967, 2013	55	2013
Security evaluation of ES&S voting machines and election management system A Aviv, P Černy, S Clark, E Cronin, G Shah, M Sherr, M Blaze Proceedings of the conference on Electronic voting technology, 1-13, 2008	55	2008
Model checking on trees with path equivalences R Alur, P Černý, S Chaudhuri International Conference on Tools and Algorithms for the Construction and …, 2007	44	2007
Quantitative abstraction refinement P Cerny, TA Henzinger, A Radhakrishna Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	41	2013
Optimal consistent network updates in polynomial time P Černý, N Foster, N Jagnik, J McClurg Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016	30	2016
Algorithmic analysis of array-accessing programs R Alur, P Černý, S Weinstein ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012	30	2012
From non-preemptive to preemptive scheduling using synchronization synthesis P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ... Formal methods in system design 50, 97-139, 2017	29	2017
Detecting and understanding real-world differential performance bugs in machine learning libraries S Tizpaz-Niari, P Černý, A Trivedi Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020	27	2020
Regression-free synthesis for concurrency P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014	27	2014
Parallel programming with object assemblies R Lublinerman, S Chaudhuri, P Cerny ACM SIGPLAN Notices 44 (10), 61-80, 2009	27	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors