Faculty

Bor-Yuh Evan Chang
Danny Dig
Dirk Grunwald
Gowtham Kaki
Sriram Sankaranarayanan
Ben Shapiro
Fabio Somenzi
Ashutosh Trivedi
Majid Zamani

Students

PhD

Taylor Dohmen
David Flores
Christian Fontenot
John Komp
Nicholas V. Lewchenko
Kirby Linvill
Tianhan Lu
Shawn Meier
Vishnu Murali
Monal Narasimhamurthy
Mateo Perez
Prasanth Prahladan

MS

Nagarajan Shanmuganathan

BS/BA

Emily Millican

Alumni

Faculty

Pavol Černý
Amer Diwan
Matthew A. Hammer
Jeremy G. Siek

Scientists

Edmund S.L. Lam

Post-Docs

Mohamed Amin Ben Sassi
Xin Chen
Sergio Mover
Yuen-Lam Voronin

PhD

Geoffrey Belter
Sam Blackshear
Aleksandar Chakarov
Chou Yi
Devin Coughlin
Arlen Cox
Michael Dooley
Souradeep Dutta
Justin E. Gottschlich
Ian Karlin
Taisa Kushner
Jedidiah McClurg
Weiyu Miao
Todd Mytkowicz
Thomas Nelson
Saeid Tizpaz Niari
Hadi Ravanbakhsh
Christoph Reichenbach
Benno Stein
Hansol Yoon
Yan Zhang
Aditya Zutshi

BS+MS

Ross Holland
Kyle Howell
Kira Quan
Erik Silkensen

MS

Neelam Agrawal
Huck Bennett
Shashank Bharadwaj
Ram Das Diwakaran
Dimitrios Economou
Andrew Guttman
Nilesh Jagnik
Suhas Akshar Kumar
Aniket Kumar Lata
Chih-Wei Lin
Aniruddha Phatak
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
Akash Gaonkar
Paul Givens
Nathan Lapinksi
Jay Lecavlier
Alexandra Okeson
Rhys Braginton Pettee Olsen
Evan Roncevich
Chance Roberts
Max Russek
Peilun Zhang
Nicholas Vanderweit

Visiting Scholars

Pierre Roux

Affiliates

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.09.29:
CUPLV student Benno Stein receives the 2021 Ralph J. Slutz Student Excellence Award.
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.19:
CUPLV student Benno Stein receives the 2020-2021 CU CS Outstanding Research Award.
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.).
2023.11.01: Call for Ph.D. applicants for Fall 2024. Application deadline is December 15, 2023.
2023.07.01: Two papers with CUPLV authors accepted to OOPSLA 2023! [1, 2]
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.
2022.02.25: Two papers with CUPLV authors (conditionally) accepted to PLDI 2022! [1, 2]
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.07.05: Paper by Lu et al. accepted to SAS 2021.
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.
2020.04.05: Four papers with CUPLV authors accepted to CAV 2020 [1, 2, 3, 4].
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

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
OOPSLA 2023: ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications

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

2021
Selectively-Amortized Resource Bounding
SAS 2021: International Static Analysis Symposium

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