Pavol Cerný

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 26

Top Topics

Preemptive Scheduling

Regression Trees

Top Venues

Theor. Comput. Sci.

Publications

Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR (2020)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Data-Driven Debugging for Functional Side Channels. NDSS (2020)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA (2020)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-Directed Bounding of Collections in Reactive Programs. VMCAI (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Quantitative Mitigation of Timing Side Channels. CAV (1) (2019)
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Quantitative Mitigation of Timing Side Channels. CoRR (2019)
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
Conflict-Aware Replicated Data Types. CoRR (2018)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-directed Bounding of Collections in Reactive Programs. CoRR (2018)
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Data-Driven Debugging for Functional Side Channels. CoRR (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Differential Performance Debugging With Discriminant Regression Trees. AAAI (2018)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
Synchronization Synthesis for Network Programs. CAV (2) (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. CoRR (2017)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Differential Performance Debugging with Discriminant Regression Trees. CoRR (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50 (2-3) (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. TACAS (2) (2017)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Event-driven network programming. PLDI (2016)
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
Optimal Consistent Network Updates in Polynomial Time. DISC (2016)
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
Optimal Consistent Network Updates in Polynomial Time. CoRR (2016)
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
Optimizing horn solvers for network repair. FMCAD (2016)
Pavol Cerný
Program synthesis for networks. FMCAD (2016)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Specification and Compilation of Event-driven SDN Programs. CoRR (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis Through Unification. CAV (2) (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis through Unification. CoRR (2015)
Youngsung Kim, Pavol Cerný, John M. Dennis
Performance search engine driven by prior knowledge of optimization. ARRAY@PLDI (2015)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
Efficient synthesis of network updates. PLDI (2015)
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Optimizing Solution Quality in Synchronization Synthesis. CoRR (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) (2015)
Jedidiah McClurg, Nate Foster, Pavol Cerný
Efficient Synthesis of Network Updates. CoRR (2014)
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface simulation distances. Theor. Comput. Sci. 560 (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-Free Synthesis for Concurrency. CAV (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-free Synthesis for Concurrency. CoRR (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV (2013)
Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
Toward Synthesis of Network Updates. SYNT (2013)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative abstraction refinement. POPL (2013)
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
Synthesis from incompatible specifications. EMSOFT (2012)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation distances. Theor. Comput. Sci. 413 (1) (2012)
Rajeev Alur, Pavol Cerný, Scott Weinstein
Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. 13 (3) (2012)
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface Simulation Distances GandALF (2012)
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger
The Complexity of Quantitative Information Flow Problems. CSF (2011)
Pavol Cerný, Thomas A. Henzinger
From boolean to quantitative synthesis. EMSOFT (2011)
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Quantitative Synthesis for Concurrent Programs CoRR (2011)
Rajeev Alur, Pavol Cerný
Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL (2011)
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Quantitative Synthesis for Concurrent Programs. CAV (2011)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative Simulation Games. Essays in Memory of Amir Pnueli (2010)
Rajeev Alur, Pavol Cerný
Expressiveness of streaming string transducers. FSTTCS (2010)
Rajeev Alur, Pavol Cerný
Algorithmic Verification of Single-Pass List Processing Programs CoRR (2010)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation Distances. CONCUR (2010)
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
Model Checking of Linearizability of Concurrent List Implementations. CAV (2010)
Rajeev Alur, Pavol Cerný, Scott Weinstein
Algorithmic Analysis of Array-Accessing Programs. CSL (2009)
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
Parallel programming with object assemblies. OOPSLA (2009)
Pavol Cerný, Rajeev Alur
Automated Analysis of Java Methods for Confidentiality. CAV (2009)
Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze
Security Evaluation of ES&S Voting Machines and Election Management System. EVT (2008)
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
Model Checking on Trees with Path Equivalences. TACAS (2007)
Rajeev Alur, Pavol Cerný, Steve Zdancewic
Preserving Secrecy Under Refinement. ICALP (2) (2006)
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
Synthesis of interface specifications for Java classes. POPL (2005)