| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.14.1
Date: Sat, 17 Jan 2026 09:11:24 GMT
Content-Type: text/html
Content-Length: 185
Connection: keep-alive
Location: https://plv.colorado.edu//
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 19 Jun 2025 05:51:40 GMT
access-control-allow-origin: *
etag: W/"6853a56c-bd4d"
expires: Sat, 17 Jan 2026 09:21:24 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: BD63:5D336:EB0A3:113E4D:696B523B
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 09:11:24 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768641084.004395,VS0,VE214
vary: Accept-Encoding
x-fastly-request-id: a36b5ab8b43ec9bf0e5cbb6f48d8619ff27da2f3
content-length: 7417
CUPLV:
Programming Languages and Verification at the University of Colorado Boulder
Vishnu Murali
Prasanth Prahladan
Nagarajan Shanmuganathan
Emily Millican
Edmund S.L. Lam
Mohamed Amin Ben Sassi
Geoffrey Belter
Chou Yi
Taylor Dohmen
Michael Dooley
Justin E. Gottschlich
Ian Karlin
John Komp
Taisa Kushner
Weiyu Miao
Monal Narasimhamurthy
Thomas Nelson
Mateo Perez
Hadi Ravanbakhsh
Yan Zhang
Aditya Zutshi
Ross Holland
Kyle Howell
Kira Quan
Neelam Agrawal
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
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
Nicholas Vanderweit
Faculty
Post-Docs
Vishnu Murali
Students
PhD
Prasanth Prahladan
MS
Nagarajan Shanmuganathan
BS/BA
Emily Millican
Alumni
Faculty
Scientists
Edmund S.L. Lam
Post-Docs
Mohamed Amin Ben Sassi
PhD
Geoffrey Belter
Chou Yi
Taylor Dohmen
Michael Dooley
Justin E. Gottschlich
Ian Karlin
John Komp
Taisa Kushner
Weiyu Miao
Monal Narasimhamurthy
Thomas Nelson
Mateo Perez
Hadi Ravanbakhsh
Yan Zhang
Aditya Zutshi
BS+MS
Ross Holland
Kyle Howell
Kira Quan
MS
Neelam Agrawal
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
Nicholas Vanderweit
Visiting Scholars
Affiliates
CUPLV
Programming Languages and Verification
at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding
of Computational Systems
2024.04.21:
CUPLV author
Bor-Yuh Evan Chang with collaborators
have had a paper
"Taming and Dissecting Recursions through Interprocedural Weak
Topological Ordering"
accepted for presentation at ECOOP 2025 in June-July.
2024.12.18:
CUPLV authors
Nicholas V. Lewchenko,
Gowtham Kaki,
and Bor-Yuh Evan Chang
have had a paper
"Bolt-On Strong Consistency: Specification, Implementation, and Verification"
accepted for presentation at OOPSLA 2025 in October.
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.
2024.04.21:
Paper by
Yang et al. published in
ECOOP 2025.
2024.12.18:
Paper by
Lewchenko et al. published in
OOPSLA 2025.
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.
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, 2025.
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
ECOOP 2025Bergen, NorwayJuly 2025
2025
Taming and Dissecting Recursions through Interprocedural Weak
Topological Ordering
Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, and Yulei Sui
ECOOP 2025:
European Conference on Object-Oriented Programming
OOPSLA 2025SingaporeOctober 2025
2025
Bolt-On Strong Consistency: Specification, Implementation, and Verification
OOPSLA 2025:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
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