Faculty

Pavol Černý
Bor-Yuh Evan Chang
Dirk Grunwald
Matthew A. Hammer
Sriram Sankaranarayanan
Fabio Somenzi
Ashutosh Trivedi

Scientists

Edmund S.L. Lam

Post-Docs

Xin Chen
Sergio Mover

Students

PhD

Yi Chou
Juraj Culak
Michael Dooley
Souradeep Dutta
Andrew Guttman
Kyle Headley
Youngsung Kim
Taisa Kushner
Nicholas V. Lewchenko
Tianhan Lu
Jedidiah McClurg
Shawn Meier
Monal Narasimhamurthy
Saeid Tizpaz Niari
Hadi Ravanbakhsh
Benno Stein
William Temple
Jared Wright

MS

Dimitrios Economou
Aniruddha Phatak
Hansol Yoon

BS/BA

Chance Roberts
Peilun Zhang

Alumni

Faculty

Amer Diwan
Jeremy G. Siek

Post-Docs

Mohamed Amin Ben Sassi
Yuen-Lam Voronin

PhD

Geoffrey Belter
Sam Blackshear
Aleksandar Chakarov
Devin Coughlin
Arlen Cox
Justin E. Gottschlich
Ian Karlin
Weiyu Miao
Todd Mytkowicz
Thomas Nelson
Christoph Reichenbach
Yan Zhang
Aditya Zutshi

BS+MS

Ross Holland
Kyle Howell
Kira Quan
Erik Silkensen

MS

Neelam Agrawal
Huck Bennett
Shashank Bharadwaj
Ram Das Diwakaran
Nilesh Jagnik
Suhas Akshar Kumar
Aniket Kumar Lata
Chih-Wei Lin
Athithyaa Panchapakesan Rajeswari
Santhanakrishnan Ramani
Vaibhav Singh
Krishna Chaitanya Sripada
Yi-Fan Tsai
Jonathan Turner
Anna Villani

BS/BA

Alex Beal
Parker Evans
Dakota Fisher
Paul Givens
Nathan Lapinksi
Jay Lecavlier
Alexandra Okeson
Rhys Braginton Pettee Olsen
Evan Roncevich
Max Russek
Nicholas Vanderweit

Visiting Scholars

Pierre Roux

Affiliates

2017.08.02:
CUPLV authors Edmund S.L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang. have had a paper "ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps" officially accepted for presentation at ONWARD! 2017 in October.
2017.06.22:
Bor-Yuh Evan Chang promoted to Associate Professor and granted tenure.
2017.06.21:
Congratulations to Kyle Headley for being awarded second place in the graduate student category at the PLDI Student Research Competition (SRC) for his project, "Tuning Data and Control Structures for Incremental Computation."
2017.06.21:
Congratulations to Peilun Zhang for being awarded first place in the undergraduate student category at the PLDI Student Research Competition (SRC) for his project, "Property-based Randomized Test Generation for Android Applications."
2017.05.23:
There is a postdoctoral research associate position open with the opportunity to work with Profs. Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi on program analysis.
2017.04.28:
CUPLV authors Hadi Ravanbakhsh and Sriram Sankaranarayanan have had a paper "Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations" accepted for presentation at RSS 2017 in October.
2016.12.22:
CUPLV authors Saeid Tizpaz Niari Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi have had a paper "Discriminating Traces with Time" accepted for presentation at TACAS 2017 in April.
2016.10.26:
Bo Wu from Colorado School of Mines is visiting us on October 28, 2016. He is giving a CUPLV Seminar entitled "Compiler and Runtime Optimizations for GPU Memory Systems" at 3:00pm in KOBL 230 on Friday, October 28, 2016.
2016.10.26:
Georgios Fainekos from Arizona State University is visiting us on October 27, 2016. He is giving a Computer Science Colloquium entitled "Beyond Requirements Falsification : Semi-Formal Methods and Tools for the Analysis of Cyber-Physical Systems" at 3:30pm in ECCR 265 on Thursday, October 27, 2016.
2016.10.26:
Call for Ph.D. applicants for Fall 2016. Application deadline is December 15, 2015. Check out our latest recruiting talk from February 20, 2015.
2016.10.13:
CUPLV authors Bor-Yuh Evan Chang and Matthew A. Hammer with collaborators have had papers accepted for presentation at POPL 2017 in January (Li et al. and ).
2016.08.26:
CUPLV authors Bor-Yuh Evan Chang and Matthew A. Hammer have had a paper "A Vision for Online Verification-Validation" accepted for presentation at GPCE 2016 in November.
2015.06.17:
Congratulations to Benno Stein for being awarded second place in the graduate student category at the PLDI Student Research Competition (SRC) for his project, "Goal-Directed Abstract Interpretation for JavaScript."
2016.06.14:
CUPLV authors Pierre Roux, Yuen-Lam Voronin, and Sriram Sankaranarayanan have had a paper "Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants" accepted for presentation at SAS 2016 in September.
2016.05.20:
CUPLV authors Hadi Ravanbakhsh and Sriram Sankaranarayanan have had a paper "Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework" accepted for presentation at EMSOFT 2016 in October.
2017.08.02: Paper by Lam et al. accepted to ONWARD! 2017.
2017.06.22: Bor-Yuh Evan Chang promoted to Associate Professor and granted tenure.
2017.06.21: Kyle Headley awarded second place at the PLDI Student Research Competition (SRC).
2017.06.21: Peilun Zhang awarded first place at the PLDI Student Research Competition (SRC).
2017.05.23: Call for postdoc applicants for Summer or Fall 2017.
2017.04.28: Paper by Ravanbakhsh and Sankaranarayanan accepted to RSS 2017.
2016.12.22: Paper by Niari et al. accepted to TACAS 2017.
2016.10.26: Bo Wu visits October 28.
2016.10.26: Georgios Fainekos visits October 27.
2016.10.26: Call for Ph.D. applicants for Fall 2017. Application deadline is December 15, 2016.
2016.10.13: Two papers with CUPLV authors accepted to POPL 2017! [1, 2]
2016.08.26: Paper by Hammer et al. accepted to GPCE 2016.
2015.06.17: Benno Stein awarded second place at the PLDI Student Research Competition (SRC).
2016.06.14: Paper by Roux et al. accepted to SAS 2016.
2016.05.20: Paper by Ravanbakhsh and Sankaranarayanan accepted to EMSOFT 2016.
Ph.D. Positions. We are looking for strong students to join our diverse and dynamic group in programming languages and verification. Application deadline is December 15, 2017.
Postdoc Position. There is a postdoctoral research associate position open with the opportunity to work with Profs. Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi.

Projects

FixrMining and Understanding Bug Fixes for App-Framework Protocol Defects
DroidelA Framework Model for Static Analysis of Android Applications
QUIC GraphsRelational Invariant Generation for Containers
ThresherPrecise Refutations for Heap Reachability
Fissile Type AnalysisModular Checking of Almost-Everywhere Invariants

Recent Publications

ONWARD! 2017Vancouver, British Columbia, CanadaOctober 2017

2017
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Edmund S.L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang
ONWARD! 2017: ACM Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

RSS 2017Cambridge, Massachusetts, USAJune 2017

2017
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
Hadi Ravanbakhsh and Sriram Sankaranarayanan
RSS 2017: Robotics: Science and Systems

TACAS 2017Uppsala, SwedenApril 2017

2017
Discriminating Traces with Time
TACAS 2017: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

POPL 2017Paris, FranceJanuary 2017

2017
Semantic-Directed Clumping of Disjunctive Abstract States
Huisong Li, François Bérenger, Bor-Yuh Evan Chang, and Xavier Rival
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
2017
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, and Matthew A. Hammer
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

GPCE 2016Amsterdam, The NetherlandsOctober 2016

2016
A Vision for Online Verification-Validation
GPCE 2016: ACM SIGPLAN International Conference on Generative Programming and Component Engineering

EMSOFT 2016Pittsburgh, Pennsylvania, USAOctober 2016

2016
Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework
Hadi Ravanbakhsh and Sriram Sankaranarayanan
EMSOFT 2016: ACM SIGBED International Conference on Embedded Software

SAS 2016Edinburgh, UKSeptember 2016

2016
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
SAS 2016: International Static Analysis Symposium

CAV 2016Toronto, Ontario, CanadaJuly 2016

2016
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances
Michael Dooley and Fabio Somenzi
CAV 2016: International Conference on Computer Aided Verification
2016
Infinite-state Liveness-to-Safety via Implicit Abstraction and Well-founded Relations
CAV 2016: International Conference on Computer Aided Verification

PLDI 2016Santa Barbara, California, USAJune 2016

2016
Event-Driven Network Programming
PLDI 2016: ACM SIGPLAN Conference on Programming Language Design and Implementation

HSCC 2016Vienna, AustriaApril 2016

2016
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, and Xiaoqing Jin
HSCC 2016: International Conference on Hybrid Systems: Computation and Control

TACAS 2016Eindhoven, The NetherlandsApril 2016

2016
Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities
TACAS 2016: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2016
Deductive Proofs of Almost Sure Persistence and Recurrence Properties
TACAS 2016: International Conference on Tools and Algorithms for the Construction and Analysis of Systems