Pavol Cern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
17
Active years
2005–2020
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISSTA | Detecting and understanding real-world differential performance bugs in machine learning libraries. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2020 | NDSS | Data-Driven Debugging for Functional Side Channels. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2019 | CAV | Quantitative Mitigation of Timing Side Channels. | Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi |
| 2019 | RV | Efficient Detection and Quantification of Timing Leaks with Neural Networks. | Saeid Tizpaz-Niari, Pavol Cern, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2019 | VMCAI | Type-Directed Bounding of Collections in Reactive Programs. | Tianhan Lu, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2018 | AAAI | Differential Performance Debugging With Discriminant Regression Trees. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2018 | ICSE | 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 |
| 2017 | CAV | Synchronization Synthesis for Network Programs. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern |
| 2017 | TACAS | Discriminating Traces with Time. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2016 | FMCAD | Program synthesis for networks. | Pavol Cern |
| 2016 | FMCAD | Optimizing horn solvers for network repair. | Hossein Hojjat, Philipp Rmmer, Jedidiah McClurg, Pavol Cern, Nate Foster |
| 2016 | PLDI | Event-driven network programming. | Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cern |
| 2015 | CAV | Synthesis Through Unification. | Rajeev Alur, Pavol Cern, Arjun Radhakrishna |
| 2015 | CAV | 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 |
| 2015 | ESOP | Segment Abstraction for Worst-Case Execution Time Analysis. | Pavol Cern, Thomas A. Henzinger, Laura Kovcs, Arjun Radhakrishna, Jakob Zwirchmayr |
| 2015 | PLDI | Performance search engine driven by prior knowledge of optimization. | Youngsung Kim, Pavol Cern, John M. Dennis |
| 2015 | PLDI | Efficient synthesis of network updates. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern, Nate Foster |
| 2014 | CAV | Regression-Free Synthesis for Concurrency. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2013 | CAV | Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2013 | POPL | Quantitative abstraction refinement. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna |
| 2012 | EMSOFT | Synthesis from incompatible specifications. | Pavol Cern, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
| 2011 | CAV | Quantitative Synthesis for Concurrent Programs. | Pavol Cern, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh |
| 2011 | EMSOFT | From boolean to quantitative synthesis. | Pavol Cern, Thomas A. Henzinger |
| 2011 | POPL | Streaming transducers for algorithmic verification of single-pass list-processing programs. | Rajeev Alur, Pavol Cern |
| 2010 | CAV | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | CONCUR | Simulation Distances. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna |
| 2009 | CAV | Automated Analysis of Java Methods for Confidentiality. | Pavol Cern, Rajeev Alur |
| 2009 | CSL | Algorithmic Analysis of Array-Accessing Programs. | Rajeev Alur, Pavol Cern, Scott Weinstein |
| 2009 | OOPSLA | Parallel programming with object assemblies. | Roberto Lublinerman, Swarat Chaudhuri, Pavol Cern |
| 2007 | TACAS | Model Checking on Trees with Path Equivalences. | Rajeev Alur, Pavol Cern, Swarat Chaudhuri |
| 2006 | ICALP | Preserving Secrecy Under Refinement. | Rajeev Alur, Pavol Cern, Steve Zdancewic |
| 2005 | POPL | Synthesis of interface specifications for Java classes. | Rajeev Alur, Pavol Cern, P. Madhusudan, Wonhong Nam |