Pavol Cerný

Most-cited papers

Synthesis of interface specifications for Java classes
R. Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
2005ACM-SIGACT Symposium on Principles of Programming Languages353 citations Open access
Semantic Scholar
Efficient synthesis of network updates
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
2014ACM-SIGPLAN Symposium on Programming Language Design and Implementation159 citations Open access
Semantic Scholar
Expressiveness of streaming string transducers
R. Alur, Pavol Cerný
2010Foundations of Software Technology and Theoretical Computer Science127 citations
Semantic Scholar
Streaming transducers for algorithmic verification of single-pass list-processing programs
R. Alur, Pavol Cerný
2010ACM-SIGACT Symposium on Principles of Programming Languages122 citations
Semantic Scholar
Quantitative Synthesis for Concurrent Programs
Pavol Cerný, Krishnendu Chatterjee, T. Henzinger, Arjun Radhakrishna +1 more
2011International Conference on Computer Aided Verification109 citations Open access
Semantic Scholar
Preserving Secrecy Under Refinement
R. Alur, Pavol Cerný, Steve Zdancewic
2006International Colloquium on Automata, Languages and Programming109 citations
Semantic Scholar
Simulation distances
Pavol Cerný, T. Henzinger, Arjun Radhakrishna
2010Theoretical Computer Science76 citations Open access
Semantic Scholar
Synthesis Through Unification
R. Alur, Pavol Cerný, Arjun Radhakrishna
2015International Conference on Computer Aided Verification68 citations Open access
Semantic Scholar
Model Checking of Linearizability of Concurrent List Implementations
Pavol Cerný, Arjun Radhakrishna, D. Zufferey, Swarat Chaudhuri +1 more
2010International Conference on Computer Aided Verification52 citations Open access
Semantic Scholar
Event-driven network programming
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2015ACM-SIGPLAN Symposium on Programming Language Design and Implementation49 citations Open access
Semantic Scholar
Model Checking on Trees with Path Equivalences
R. Alur, Pavol Cerný, Swarat Chaudhuri
2007International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations
Semantic Scholar
Security Evaluation of ES&S Voting Machines and Election Management System
Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin +3 more
2008USENIX Workshop on Accurate Electronic Voting Technology42 citations
Semantic Scholar
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
Pavol Cerný, T. Henzinger, Arjun Radhakrishna, L. Ryzhyk +1 more
2013International Conference on Computer Aided Verification41 citations Open access
Semantic Scholar
Quantitative abstraction refinement
Pavol Cerný, T. Henzinger, Arjun Radhakrishna
2013ACM-SIGACT Symposium on Principles of Programming Languages28 citations
Semantic Scholar
Detecting and understanding real-world differential performance bugs in machine learning libraries
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020International Symposium on Software Testing and Analysis27 citations Open access
Semantic Scholar
Segment Abstraction for Worst-Case Execution Time Analysis
Pavol Cerný, T. Henzinger, Laura Kovács, Arjun Radhakrishna +1 more
2015European Symposium on Programming27 citations Open access
Semantic Scholar
Optimal Consistent Network Updates in Polynomial Time
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
2016International Symposium on Distributed Computing25 citations Open access
Semantic Scholar
Optimizing horn solvers for network repair
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný +1 more
2016Formal Methods in Computer-Aided Design23 citations
Semantic Scholar
From non-preemptive to preemptive scheduling using synchronization synthesis
Pavol Cerný, E. Clarke, T. Henzinger, Arjun Radhakrishna +3 more
2015Formal methods in system design23 citations Open access
Semantic Scholar
Toward Synthesis of Network Updates
A. Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
2014SYNT22 citations Open access
Semantic Scholar
Regression-free Synthesis for Concurrency
Pavol Cerný, T. Henzinger, Arjun Radhakrishna, L. Ryzhyk +1 more
2014International Conference on Computer Aided Verification21 citations Open access
Semantic Scholar
From Boolean to quantitative synthesis
Pavol Cerný, T. Henzinger
2011International Conference on Embedded Software21 citations
Semantic Scholar
Sequential programming for replicated data stores
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
2019Proc. ACM Program. Lang.18 citations Open access
Semantic Scholar
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019International Conference on Computer Aided Verification18 citations Open access
Semantic Scholar
Differential Performance Debugging with Discriminant Regression Trees
Saeid Tizpaz-Niari, Pavol Cerný, B. E. Chang, Ashutosh Trivedi
2017AAAI Conference on Artificial Intelligence18 citations Open access
Semantic Scholar
Synchronization Synthesis for Network Programs
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
2017International Conference on Computer Aided Verification18 citations
Semantic Scholar
The Complexity of Quantitative Information Flow Problems
Pavol Cerný, Krishnendu Chatterjee, T. Henzinger
2011IEEE Computer Security Foundations Symposium18 citations Open access
Semantic Scholar
Parallel programming with object assemblies
R. Lublinerman, Swarat Chaudhuri, Pavol Cerný
2009Conference on Object-Oriented Programming Systems, Languages, and Applications17 citations
Semantic Scholar
Algorithmic analysis of array-accessing programs
R. Alur, Pavol Cerný, S. Weinstein
2009TOCL17 citations Open access
Semantic Scholar
Data-Driven Debugging for Functional Side Channels
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2018Network and Distributed System Security Symposium14 citations Open access
Semantic Scholar
Synthesis from incompatible specifications
Pavol Cerný, Sivakanth Gopi, T. Henzinger, Arjun Radhakrishna +1 more
2012International Conference on Embedded Software13 citations
Semantic Scholar
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerný, B. E. Chang, S. Sankaranarayanan +1 more
2017International Conference on Tools and Algorithms for Construction and Analysis of Systems10 citations
Semantic Scholar
DroidStar: Callback Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover +4 more
2017International Conference on Software Engineering10 citations
Semantic Scholar
Interface simulation distances
Pavol Cerný, Martin Chmelík, T. Henzinger, Arjun Radhakrishna
2012Theoretical Computer Science10 citations Open access
Semantic Scholar
Automated Analysis of Java Methods for Confidentiality
Pavol Cerný, R. Alur
2009International Conference on Computer Aided Verification10 citations Open access
Semantic Scholar
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerný, S. Sankaranarayanan, Ashutosh Trivedi
2019Runtime Verification7 citations Open access
Semantic Scholar
Quantitative Simulation Games
Pavol Cerný, T. Henzinger, Arjun Radhakrishna
2020Essays in Memory of Amir Pnueli6 citations
Semantic Scholar
Specification and Compilation of Event-driven SDN Programs
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2015arXiv.org5 citations
Semantic Scholar
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
Pavol Cerný, Viktor Kunčak, Madhusudan Parthasarathy
20164 citations Open access
Semantic Scholar
Specification , Verification and Synthesis for Automata Problems
Pavol Cerný, Sumit Gulwani, T. Henzinger, Arjun Radhakrishna +1 more
20134 citations
Semantic Scholar
Conflict-Aware Replicated Data Types
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
2018arXiv.org3 citations
Semantic Scholar
Learning Asynchronous Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover +4 more
2017arXiv.org3 citations
Semantic Scholar
DPFuzz: Fuzzing and Debugging for Differential Performance Bugs in Machine Learning Libraries
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
20202 citations
Semantic Scholar
Type-directed Bounding of Collections in Reactive Programs
Tian-Han Lu, Pavol Cerný, B. E. Chang, Ashutosh Trivedi
2018International Conference on Verification, Model Checking and Abstract Interpretation2 citations Open access
Semantic Scholar
Software model checking for confidentiality
R. Alur, Pavol Cerný
20092 citations
Semantic Scholar
Quantitative estimation of side-channel leaks with neural networks
Saeid Tizpaz-Niari, Pavol Cerný, S. Sankaranarayanan, Ashutosh Trivedi
2021International Journal on Software Tools for Technology Transfer (STTT)1 citations
Semantic Scholar
Performance search engine driven by prior knowledge of optimization
Youngsung Kim, Pavol Cerný, J. Dennis
2015ARRAY@PLDI1 citations
Semantic Scholar
Optimizing Solution Quality in Synchronization Synthesis
Pavol Cerný, E. Clarke, T. Henzinger, Arjun Radhakrishna +3 more
2015arXiv.org1 citations
Semantic Scholar
Programming with Sociable Resources
Swarat Chaudhuri, Pavol Cerný, R. Lublinerman
20081 citations
Semantic Scholar
2 Timing Side-Channel Debugging with Discriminer
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, S. Sankaranarayanan +1 more
20180 citations
Semantic Scholar