CUPLV
Programming Languages and Verification
at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding
of Computational Systems
2022.02.25:
CUPLV authors Gowtham Kaki, , and Nicholas V. Lewchenko
have had papers accepted for presentation at PLDI 2022 in June (Kaki et al. and Žikelić et al.).


2021.11.01:
Call for Ph.D. applicants for Fall 2022. Application deadline
is December 15, 2021.
2021.10.13:
Tianhan Lu
wins
the Radhia Cousot Young Researcher Best Paper Award
at SAS 2021
for his paper
"Selectively-Amortized Resource Bounding"
co-authored with
Bor-Yuh Evan Chang
and
Ashutosh Trivedi.



2021.07.05:
CUPLV authors
Tianhan Lu,
Bor-Yuh Evan Chang, and
Ashutosh Trivedi,
have had a paper "Selectively-Amortized Resource Bounding" accepted for presentation at
SAS 2021 in October.



2021.04.18:
CUPLV authors
Mateo Perez,
Fabio Somenzi, and
Ashutosh Trivedi with collaborators,
have had a paper "Model-Free Reinforcement Learning for Branching Markov Decision Processes." accepted for presentation at
CAV 2021 in July.



2021.02.25:
CUPLV authors
Benno Stein and
Bor-Yuh Evan Chang with collaborators
have had a paper "Demanded Abstract Interpretation" accepted for presentation at
PLDI 2021 in June.


2020.11.12:
CUPLV author
Bor-Yuh Evan Chang with collaborators
have had a survery paper "Shape Analysis" published in
FNTPL.

2020.11.01:
Call for Ph.D. applicants for Fall 2021. Application deadline
is December 15, 2020.
2020.04.05:
CUPLV authors
Sriram Sankaranarayanan
and
Majid Zamani
with collaborators
have had papers accepted for presentation at
CAV 2020 in July
(Sankaranarayanan et al.,
Feng et al.,
Devonport et al.,
and
Lavaei et al.).


2019.11.01:
Please consider applying or encourage your students and postdocs to apply for positions in the Department of Computer Science.
We have multiple openings with one particular interest area being trustworthy software.
Applications
will be evaluated beginning on December 1, 2019, although applications will continue to be evaluated until the position is
filled.
2019.11.01:
Call for Ph.D. applicants for Fall 2020. Application deadline
is December 15, 2019.
2019.08.30:
CUPLV authors
Benno Stein and
Bor-Yuh Evan Chang with collaborators
have had a paper "Static Analysis with Demand-Driven Value Refinement" accepted for presentation at
OOPSLA 2019 in October.


2019.07.01:
CUPLV authors
Saeid Tizpaz Niari,
Hansol Yoon,
Chou Yi,
Pavol Černý,
Sriram Sankaranarayanan,
and
Ashutosh Trivedi
with collaborators
have had papers accepted for presentation at
RV 2019 in October
(Niari et al.,
Yoon et al.,
and
Fainekos et al.).






2021.11.01:
Call for Ph.D. applicants for Fall 2022. Application deadline
is December 15, 2021.
2021.10.13:
CUPLV student Tianhan Lu wins
the Radhia Cousot Young Researcher Best Paper Award
at SAS 2021.
2021.09.29:
CUPLV student Benno Stein
receives the 2021
Ralph J. Slutz Student Excellence Award.
2021.04.19:
CUPLV student Benno Stein
receives the 2020-2021
CU CS Outstanding Research Award.
2021.04.18:
Paper by
Hahn et al. accepted to
CAV 2021.
2021.02.25:
Paper by
Stein et al. accepted to
PLDI 2021.
2020.11.12:
Survey article
"Shape Analysis"
by
Chang et al.
published in
FNTPL.
2020.11.01:
Call for Ph.D. applicants for Fall 2021. Application deadline
is December 15, 2020.
2019.11.01:
Tenure-track and instructor openings in CS.
2019.11.01:
Call for Ph.D. applicants for Fall 2020. Application deadline
is December 15, 2019.
2019.08.30:
Paper by
Stein et al. accepted to
OOPSLA 2019.
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, 2022.
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
PLDI 2022San Diego, California, USAJune 2022
2022
RunTime-assisted convergence in replicated data types
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko
PLDI 2022:
ACM SIGPLAN Conference on Programming Language Design and Implementation
2022
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Ðorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
PLDI 2022:
ACM SIGPLAN Conference on Programming Language Design and Implementation
SAS 2021Chicago, Illinois, USAOctober 2021
CAV 2021VirtualJuly 2021
2021
Model-Free Reinforcement Learning for Branching Markov Decision Processes.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak
CAV 2021:
International Conference on Computer Aided Verification
PLDI 2021VirtualJune 2021
2021
Demanded Abstract Interpretation
PLDI 2021:
ACM SIGPLAN Conference on Programming Language Design and Implementation
FNTPL6(1-2)October 2020
2020
Shape Analysis
Foundations and Trends in Programming Languages (FnTPL)
Found. Trends Program. Lang.
CAV 2020VirtualJuly 2020
2020
Reachability Analysis using Message Passing over Tree Decompositions
CAV 2020:
International Conference on Computer Aided Verification
2020
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, and Naijun Zhan
CAV 2020:
International Conference on Computer Aided Verification
2020
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Alex Devonport, Mahmoud Khaled, Murat Arcak, and Majid Zamani
CAV 2020:
International Conference on Computer Aided Verification
2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazi Lavaei, Mahmoud Khaled, Sadegh Soudjani, and Majid Zamani
CAV 2020:
International Conference on Computer Aided Verification
OOPSLA 2019Athens, GreeceOctober 2019
2019
Static Analysis with Demand-Driven Value Refinement
Proceedings of the ACM on Programming Languages
PACMPL
RV 2019Porto, PortugalOctober 2019
2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
RV 2019:
International Conference on Runtime Verification
2019
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
RV 2019:
International Conference on Runtime Verification
2019
Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
RV 2019:
International Conference on Runtime Verification
ICFP 2019Berlin, GermanyAugust 2019
2019
Sequential Programming for Replicated Data Stores
ICFP 2019:
ACM SIGPLAN International Conference on Functional Programming
CAV 2019New York City, New York, USAJuly 2019
2019
Quantitative Mitigation of Timing Side Channels
CAV 2019:
International Conference on Computer Aided Verification
ECOOP 2019London, UKJuly 2019
2019
Lifestate: Event-Driven Protocols and Callback Control Flow
ECOOP 2019:
European Conference on Object-Oriented Programming
VMCAI 2019Cascais, PortugalJanuary 2019
2019
Type-directed Bounding of Collections in Reactive Programs
VMCAI 2019:
International Conference on Verification, Model Checking, and Abstract Interpretation