Pavol Cerny

Name (TeX style): Pavol {\v C}ern\'y

Assistant Professor
Department of Electrical, Computer, and Energy Engineering,
University of Colorado Boulder
e-mail: first.lastname@colorado.edu

Ph.D. University of Pennsylvania, 2009.

Research

Computer-aided verification and programming languages.
Program synthesis.
Algorithmic and logical foundations for reliable software.
Member of CUPLV.

Students

  • Youngsung Kim (PhD, since 2013)
  • Jedidiah McClurg (PhD, since 2013), Synthesis for Network Updates [PLDI15].
  • Parker Evans (undergraduate, 2013-14, Discovery Learning Apprenticeship)

We are looking for enthusiastic PhD students and postdocs to join CUPLV. Please send me an email if you are interested in research on program verification and program synthesis.

Recent Publications (complete list, DBLP, Google Scholar)

  • Synthesis through Unification New!
        Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
        CAV 2015
        [pdf]
  • From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis New!
        Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna,
        Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
        CAV 2015
        [pdf]
  • Performance Search Engine Driven by Prior Knowledge of Optimization New!
        Youngsung Kim, Pavol Cerny, John Dennis
        ARRAY 2015
        [pdf]
  • Efficient Synthesis for Network Updates. New!
        Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster
        PLDI 2015 (to appear)
        [pdf]
  • Segment Abstraction for Worst-Case Execution Time Analysis. New!
        Pavol Cerny, Thomas Henzinger, Laura Kovacs, Arjun Radhakrishna, and Jakob Zwirchmayr
        ESOP 2015
        [pdf]

Selected Publications

  • Regression-free Synthesis for Concurrency
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        CAV 2014
        [pdf]
  • 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
        [pdf] [bib]
  • Quantitative Abstraction Refinement
        Pavol Cerny, Thomas Henzinger and Arjun Radhakrishna
        40th Annual Symposium on Principles of Programming Languages
        POPL 2013
        [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
        [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
        [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
        [pdf] [bib] [project page]
  • Automated Analysis of Java Methods for Confidentiality.
        Pavol Cerny and Rajeev Alur.
        21st International Conference on Computer Aided Verification
        CAV 2009
        [pdf] [bib]
  • Synthesis of Interface Specifications for Java Classes
        Rajeev Alur, Pavol Cerny, P. Madhusudan, and Wonhong Nam.
        32nd Annual Symposium on Principles of Programming Languages
        POPL 2005
        [pdf] [bib]

Teaching

Previous Courses

  • Programming Paradigms for Concurrency. Co-instructor, Fall 2010, IST Austria and TU Wien.
  • CIS 399: C++ programming. Instructor, Spring 2009, University of Pennsylvania.
  • CSE 399: C/C++ programming. Co-instructor, Spring 2006, University of Pennsylvania.
  • CIS 511: Theory of Computation. TA, Spring 2005, University of Pennsylvania.
  • CSE 482: Logic in Computer Science. TA, Fall 2004, University of Pennsylvania.

Professional Service

  • TACAS 2016, PC member
  • POPL 2016, ERC member
  • GandALF 2015, PC member
  • SYNT 2015, workshop PC chair
  • EC2 2015, PC member
  • PLVNET 2015, workshop PC chair
  • CAV 2014, PC member
  • EMSOFT 2014, PC member
  • SYNT 2014, workshop PC member
  • MEMICS 2011, PC member

Funding