Pavol Cerny

Cited by

	All	Since 2020
Citations	2120	652
h-index	24	15
i10-index	37	22

220

110

165

20052006200720082009201020112012201320142015201620172018201920202021202220232024202526 20 32 38 69 56 92 103 95 110 138 203 158 155 135 133 140 162 119 92 6

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 McClurgVerified 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 Illinois ChicagoVerified email at uic.edu
Leonid RyzhykFelderaVerified email at feldera.com
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Damien ZuffereySenior Software Engineer, Machine Learning Safety, NVIDIAVerified email at nvidia.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
Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.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	397	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	169	2011
Efficient synthesis of network updates J McClurg, H Hojjat, P Černý, N Foster Acm Sigplan Notices 50 (6), 196-207, 2015	148	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	115	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	93	2012
Synthesis through unification R Alur, P Černý, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015	87	2015
Event-driven network programming J McClurg, H Hojjat, N Foster, P Černý ACM SIGPLAN Notices 51 (6), 369-385, 2016	72	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	64	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
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	31	2017
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
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	28	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