CUPLV: Programming Languages and Verification at the University of Colorado Boulder

2026.04.15:

CUPLV authors Kunha Kim, Nicholas V. Lewchenko, Bor-Yuh Evan Chang and Gowtham Kaki, have had a paper "Ravencheck: Effectively-Propositional Reasoning for Rust" accepted for presentation at SOAP 2026 in June.

2026.02.17:

CUPLV authors Nicholas V. Lewchenko, Kunha Kim, Bor-Yuh Evan Chang and Gowtham Kaki, have had a paper "Effectively Propositional Higher-Order Functional Programming" accepted for presentation at in October.

2025.11.25:

CUPLV authors Cade Lueker, Andrew Fox, and Bor-Yuh Evan Chang have had a short paper "Towards Cumulative Abstract Semantics via Handlers (Short Paper)" accepted for presentation at PEPM 2026 in January.

2025.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.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.

2026.04.15: Paper by Kim et al. published in SOAP 2026.

2026.02.17: Paper by Lewchenko et al. published in OOPSLA 2026.

2025.11.25: Short paper "Lueker et al." being presented at PEPM 2026.

2025.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.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.

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, 2026.