CUPLV
Programming Languages and Verification
at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding
of Computational Systems
2024.01.19:
CUPLV authors
Benno Stein and Bor-Yuh Evan Chang with collaborators
has had a paper "Interactive Abstract Interpretation with Demanded Summarization" published in
TOPLAS.
2023.11.01:
Call for Ph.D. applicants for Fall 2024. Application deadline
is December 15, 2023.
2023.07.01:
CUPLV authors
Shawn Meier,
Kirby Linvill,
Sergio Mover,
Gowtham Kaki, and
Bor-Yuh Evan Chang
have had papers accepted for presentation at OOPSLA 2023 in October (Meier et al. and Linvill et al.).
2023.06.29:
CUPLV author
Bor-Yuh Evan Chang with collaborators
has had a paper "Lifting On-Demand Analysis to Higher-Order Languages" accepted for presentation at
SAS 2023 in October.
2022.11.01:
Call for Ph.D. applicants for Fall 2023. Application deadline
is December 15, 2022.
2022.02.25:
CUPLV authors Gowtham Kaki, Prasanth Prahladan, 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.
2024.01.19:
Paper by
Stein et al. published in
TOPLAS.
2023.11.01:
Call for Ph.D. applicants for Fall 2024. Application deadline
is December 15, 2023.
2023.06.29:
Paper by
Schoepe et al. accepted to
SAS 2023.
2022.11.01:
Call for Ph.D. applicants for Fall 2023. Application deadline
is December 15, 2022.
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.
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, 2024.
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
TOPLAS46(1)2024
2024
Interactive Abstract Interpretation with Demanded Summarization
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Trans. Program. Lang. Syst.
OOPSLA 2023Cascais, PortugalOctober 2023
2023
Historia: Refuting Callback Reachability with Message-History Logics
OOPSLA 2023:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
2023
Verifying Indistinguishability of Privacy-Preserving Protocols
Proceedings of the ACM on Programming Languages
PACMPL
SAS 2023Cascais, PortugalOctober 2023
2023
Lifting On-Demand Analysis to Higher-Order Languages
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, and Bor-Yuh Evan Chang
SAS 2023:
International Static Analysis Symposium
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