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)

  • Efficient Synthesis for Network Updates. New!
        Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster
        PLDI 2015 (to appear)
  • Segment Abstraction for Worst-Case Execution Time Analysis. New!
        Pavol Cerny, Thomas Henzinger, Laura Kovacs, Arjun Radhakrishna, and Jakob Zwirchmayr
        ESOP 2015 (to appear)
        [pdf]
  • Interface Simulation Distances.
        Pavol Cerny, Martin Chmelik, Thomas Henzinger, and Arjun Radhakrishna
        Theoretical Computer Science, 560: 348-363 (2014).
        [pdf]
  • Regression-free Synthesis for Concurrency
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        CAV 2014
        [pdf]
  • Towards Synthesis of Network Updates
        Andrew Noyes, Todd Warszawski, Pavol Cerny, Nate Foster
        SYNT 2013
        [pdf]

Selected Publications

  • 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
  • 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