Pavol Cerný

According to our database, Pavol Cerný authored at least 47 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Quantitative estimation of side-channel leaks with neural networks.

Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi

Int. J. Softw. Tools Technol. Transf., 2021

2020

Data-Driven Debugging for Functional Side Channels.

Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Detecting and understanding real-world differential performance bugs in machine learning libraries.

Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Sequential programming for replicated data stores.

Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný

Proc. ACM Program. Lang., 2019

Type-Directed Bounding of Collections in Reactive Programs.

Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Efficient Detection and Quantification of Timing Leaks with Neural Networks.

Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Runtime Verification - 19th International Conference, 2019

Quantitative Mitigation of Timing Side Channels.

Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Conflict-Aware Replicated Data Types.

Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný

CoRR, 2018

DroidStar: callback typestates for Android classes.

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný

Proceedings of the 40th International Conference on Software Engineering, 2018

Differential Performance Debugging With Discriminant Regression Trees.

Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

From non-preemptive to preemptive scheduling using synchronization synthesis.

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

Formal Methods Syst. Des., 2017

Learning Asynchronous Typestates for Android Classes.

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný

CoRR, 2017

Discriminating Traces with Time.

Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Synchronization Synthesis for Network Programs.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Optimal Consistent Network Updates in Polynomial Time.

Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Event-driven network programming.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Optimizing horn solvers for network repair.

Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Program synthesis for networks.

Pavol Cerný

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Specification and Compilation of Event-driven SDN Programs.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

CoRR, 2015

Optimizing Solution Quality in Synchronization Synthesis.

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

CoRR, 2015

Efficient synthesis of network updates.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Performance search engine driven by prior knowledge of optimization.

Youngsung Kim, Pavol Cerný, John M. Dennis

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Segment Abstraction for Worst-Case Execution Time Analysis.

Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr

Proceedings of the Programming Languages and Systems, 2015

Synthesis Through Unification.

Rajeev Alur, Pavol Cerný, Arjun Radhakrishna

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Interface simulation distances.

Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna

Theor. Comput. Sci., 2014

Efficient Synthesis of Network Updates.

Jedidiah McClurg, Nate Foster, Pavol Cerný

CoRR, 2014

Regression-Free Synthesis for Concurrency.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Toward Synthesis of Network Updates.

Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster

Proceedings of the Proceedings Second Workshop on Synthesis, 2013

Quantitative abstraction refinement.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Algorithmic analysis of array-accessing programs.

Rajeev Alur, Pavol Cerný, Scott Weinstein

ACM Trans. Comput. Log., 2012

Simulation distances.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Theor. Comput. Sci., 2012

Synthesis from incompatible specifications.

Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Streaming transducers for algorithmic verification of single-pass list-processing programs.

Rajeev Alur, Pavol Cerný

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

From boolean to quantitative synthesis.

Pavol Cerný, Thomas A. Henzinger

Proceedings of the 11th International Conference on Embedded Software, 2011

The Complexity of Quantitative Information Flow Problems.

Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Quantitative Synthesis for Concurrent Programs.

Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Algorithmic Verification of Single-Pass List Processing Programs

Rajeev Alur, Pavol Cerný

CoRR, 2010

Expressiveness of streaming string transducers.

Rajeev Alur, Pavol Cerný

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Model Checking of Linearizability of Concurrent List Implementations.

Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Quantitative Simulation Games.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Proceedings of the Time for Verification, 2010

2009

Parallel programming with object assemblies.

Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Automated Analysis of Java Methods for Confidentiality.

Pavol Cerný, Rajeev Alur

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Security Evaluation of ES&S Voting Machines and Election Management System.

Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze

Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

2007

Model Checking on Trees with Path Equivalences.

Rajeev Alur, Pavol Cerný, Swarat Chaudhuri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Preserving Secrecy Under Refinement.

Rajeev Alur, Pavol Cerný, Steve Zdancewic

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Synthesis of interface specifications for Java classes.

Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005