Pavol Cerny

Publications

Refereed Conference Publications

  • Regression-free Synthesis for Concurrency   New!
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        CAV 2014 (to appear)
        [pdf] [bib]
  • Efficient Synthesis for Concurrency using Semantics-Preserving Transformations
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        25th International Conference on Computer Aided Verification
        CAV 2013, July 15-20, 2013, Saint Petersburg, Russia
        [pdf] [bib]
  • Quantitative Abstraction Refinement
        Pavol Cerny, Thomas Henzinger and Arjun Radhakrishna
        40th Annual Symposium on Principles of Programming Languages
        POPL 2013, January 23-25, 2013, Rome, Italy
        [pdf] [bib]
  • Synthesis from Incompatible Specifications
        Pavol Cerny, Sivakanth Gopi, Thomas Henzinger, Arjun Radhakrishna and Nishant Totla
        12th International Conference on Embedded Software
        EMSOFT 2012, Tampere, Finland, October 7-12, 2012.
        [pdf] [bib]
  • Interface Simulation Distances
        Pavol Cerny, Martin Chmelik, Thomas Henzinger, and Arjun Radhakrishna
        Third International Symposium on Games, Automata, Logics and Formal Verification
        Gandalf 2012
        [pdf] [bib]
  • Quantitative Synthesis for Concurrent Programs
        Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger, Arjun Radhakrishna and Rohit Singh
        23rd International Conference on Computer Aided Verification
        CAV 2011, Snowbird, UT, USA, July 16-20, 2011
        [pdf] [bib]
  • The Complexity of Quantitative Information Flow Problems
        Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger
        24th IEEE Computer Security Foundations Symposium
        CSF 2011, Vaux de Cernay, France, June 27th-29th, 2011
        [pdf] [bib]
  • Streaming transducers for algorithmic verification of single-pass list processing programs.
        Rajeev Alur and Pavol Cerny
        38th Annual Symposium on Principles of Programming Languages,
        POPL 2011, Austin, TX, USA, Jan 26-28, 2011.

        [pdf] [bib]
  • Simulation Distances.
        Pavol Cerny, Thomas Henzinger, and Arjun Radhakrishna
        21st International Conference on Concurrency Theory
        CONCUR 2010, Paris, France, August 31st-September 3rd, 2010.
        [pdf] [bib]
  • Model Checking of Linearizability of Concurrent List Implementations.
        Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri and Rajeev Alur
        22nd International Conference on Computer Aided Verification
        CAV 2010, Edinburgh, UK, July 15th-19th, 2010

        [pdf] [bib] [project page]
  • Algorithmic Analysis of Array-Accessing Programs.
        Rajeev Alur, Pavol Cerny and Scott Weinstein
        18th Conference on Computer Science Logic
        CSL 2009, Coimbra, Portugal, September 7-11, 2009

        [pdf] [bib]
  • Parallel Programming with Object Assemblies.
        Swarat Chaudhuri, Roberto Lublinerman, and Pavol Cerny.
        24th Conference on Object-Oriented Programming, Systems, Languages, and Applications
        OOPSLA 2009, Orlando, FL, USA, October 25-October 29, 2009

        [pdf] [bib]
  • Automated Analysis of Java Methods for Confidentiality.
        Pavol Cerny and Rajeev Alur.
        21st International Conference on Computer Aided Verification
        CAV 2009, Grenoble, France, June 28-July 2, 2009

        [pdf] [bib]
  • Model Checking on Trees with Path Equivalences
        Rajeev Alur, Pavol Cerny, and Swarat Chaudhuri.
        13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
        TACAS 2007, Braga, Portugal, March 24-April 1, 2007

        "Best paper coauthored by a student" award.
        [pdf] [bib]
  • Preserving Secrecy under Refinement
        Rajeev Alur, Pavol Cerny, and Steve Zdancewic.
        33rd International Colloquium on Automata, Languages and Programming,
        ICALP 2006, Venice, Italy, Jul 9-14, 2006.

        [pdf] [bib]
  • Synthesis of Interface Specifications for Java Classes
        Rajeev Alur, Pavol Cerny, P. Madhusudan, and Wonhong Nam.
        32nd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Prog. Languages,
        POPL 2005, Long Beach, California, USA, Jan 12-14, 2005.

        [pdf] [bib]


Refereed Journals

  • Simulation Distances.
        Pavol Cerny, Thomas Henzinger, and Arjun Radhakrishna
        Theoretical Computer Science, 413(1): 21-35 (2012).
        [pdf] [bib]
  • Algorithmic Analysis of Array-Accessing Programs.
        Rajeev Alur, Pavol Cerny and Scott Weinstein
        ACM Transactions on Computational Logic, 13(3) (2012)
        [pdf] [bib]


Invited Contributions

  • From Boolean to Quantitative Synthesis.
        Pavol Cerny and Thomas A. Henzinger
        11th International Conference on Embedded Software
        EMSOFT 2011, Taipei, Taiwan, October 9th-14th, 2011.
        [pdf] [bib]
  • Expressivness of streaming string transducers.
        Rajeev Alur and Pavol Cerny
        30th Annual Conference on Foundations of Software Technology and Theoretical Computer Science
        FSTTCS 2010, Chennai, India, December 15th-18th, 2010.
        [pdf] [bib]
  • Quantitative Simulation Games.
        Pavol Cerny, Thomas Henzinger, and Arjun Radhakrishna
        Essays in Memory of Amir Pnueli, 2010
        [pdf] [bib]


Workshops with Proceedings

  • Towards Synthesis of Network Updates
        Andrew Noyes, Todd Warszawski, Pavol Cerny, Nate Foster
        2nd Workshop on Synthesis
        SYNT 2013; July 13-14, 2013, Saint Petersburg, Russia
        [pdf] [bib]
  • Security Evaluation of ES&S Voting Machines and Election Management System.
        Adam Aviv, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze.
        3rd USENIX/ACCURATE Electronic Voting Technology workshop
        EVT 2008, San Jose, California, USA, July 28-29, 2008.

        [pdf] [bib]


Workshops without Proceedings

  • Quantitative Simulation Games
        Pavol Cerny, Thomas Henzinger, and Arjun Radhakrishna
        Games and Probabilistic Models in Formal Verification (GPMFV), 2010
  • Assemblies of Objects.
        Swarat Chaudhuri, Roberto Lublinerman, and Pavol Cerny.
        2nd Workshop on Exploiting Concurrency Efficiently and Correctly
        EC2 2009, Grenoble, France, June 26-27, 2009

        [pdf]


Theses

  • Software Model Checking for Confidentiality.
        Pavol Cerny
        PhD thesis, University of Pennsylvania, July 2009
        [pdf] [bib]
  • Verification by Abstract Interpretation of Parameterized Predicates.
        DEA diploma thesis, 2003. Ecole normale superieure (ENS), Paris, France


Reports, Posters

  • EVEREST: Evaluation and Validation of Election-Related Standards and Testing.
        A study of electronic voting systems for the state of Ohio. Available here on the website of the Ohio
        Secretary of State.
        December 2007
        See a statement by the project PIs, or a shorter write-up.
  • Analyzing Confidentiality for Programs.
        Rajeev Alur, Pavol Cerny, Andre Scedrov and Steve Zdancewic.
        Poster for NSF Cyber Trust PI Meeting, 2008.
  • Model Checking of Secrecy Properties.
        Rajeev Alur, Pavol Cerny, Andre Scedrov and Steve Zdancewic.
        Poster for NSF Cyber Trust PI Meeting, 2007.
  • Analysis of Concurrent Software.
        Written Preliminary Examination report, 2005.