Faculty

Pavol Černý
Bor-Yuh Evan Chang
Dirk Grunwald
Sriram Sankaranarayanan
Fabio Somenzi
Ashutosh Trivedi

Post-Docs

Students

PhD

Chou Yi
Juraj Culak
Michael Dooley
Souradeep Dutta
Andrew Guttman
Kyle Headley
Youngsung Kim
Taisa Kushner
Nicholas V. Lewchenko
Tianhan Lu
Shawn Meier
David Moon
Monal Narasimhamurthy
Saeid Tizpaz Niari
Benno Stein
William Temple
Jared Wright
Hansol Yoon

MS

Dimitrios Economou
Aniruddha Phatak

BS/BA

Akash Gaonkar
Chance Roberts
Peilun Zhang

Alumni

Faculty

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
Devin Coughlin
Arlen Cox
Justin E. Gottschlich
Ian Karlin
Jedidiah McClurg
Weiyu Miao
Todd Mytkowicz
Thomas Nelson
Hadi Ravanbakhsh
Christoph Reichenbach
Yan Zhang
Aditya Zutshi

BS+MS

Ross Holland
Kyle Howell
Kira Quan
Erik Silkensen

MS

Neelam Agrawal
Huck Bennett
Shashank Bharadwaj
Ram Das Diwakaran
Nilesh Jagnik
Suhas Akshar Kumar
Aniket Kumar Lata
Chih-Wei Lin
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
Paul Givens
Nathan Lapinksi
Jay Lecavlier
Alexandra Okeson
Rhys Braginton Pettee Olsen
Evan Roncevich
Max Russek
Nicholas Vanderweit

Visiting Scholars

Pierre Roux

Affiliates

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 2019. 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.).
2019.06.24:
CUPLV researchers Sergio Mover and Sriram Sankaranarayanan represents the Fixr Team at GitHub in San Francisco.
2019.06.14:
CUPLV authors Nicholas V. Lewchenko, Akash Gaonkar, and Pavol Černý with collaborators have had a paper "Sequential Programming for Replicated Data Stores" accepted for presentation at ICFP 2019 in August.
2019.04.17:
CUPLV authors Saeid Tizpaz Niari, Pavol Černý, and Ashutosh Trivedi have had a paper "Quantitative Mitigation of Timing Side Channels" accepted for presentation at CAV 2019 in July.
2019.03.31:
CUPLV authors Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang have had a paper "Lifestate: Event-Driven Protocols and Callback Control Flow" accepted for presentation at ECOOP 2019 in July.
2018.11.23:
CUPLV authors Tianhan Lu Pavol Černý, Bor-Yuh Evan Chang, and Ashutosh Trivedi have had a paper "Type-directed Bounding of Collections in Reactive Programs" accepted for presentation at VMCAI 2019 in January.
2018.10.23:
CUPLV student Taisa Kushner receives the 2018 Ralph J. Slutz Award.
2018.08.01:
CUPLV student Shawn Meier pitched at Catalyze CU Demo Day 2018.
2018.07.03:
CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators have had a paper "Safe Stream-Based Programming with Refinement Types" accepted for presentation at ASE 2018 in September.
2018.06.19:
CUPLV authors Souradeep Dutta Taisa Kushner, and Sriram Sankaranarayanan have had a paper "Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks" accepted for presentation at CMSB 2018 in September.
2018.06.01:
CUPLV Postdoctoral Scholar Sergio Mover accepts a position as a Gaspard Monge Assistant Professor in Computer Science at École Polytechnique.
2018.05.07:
CUPLV PhD Student Jedidiah McClurg accepts a position as an assistant professor of comptuer science at the University of New Mexico.
2019.11.01: Call for Ph.D. applicants for Fall 2019. Application deadline is December 15, 2019.
2019.08.30: Paper by Stein et al. accepted to OOPSLA 2019.
2019.07.01: Three papers with CUPLV authors accepted to RV 2019 [1, 2, 3].
2019.06.24: Fixr Team presents at GitHub.
2019.06.14: Paper by Lewchenko et al. accepted to ICFP 2019.
2019.04.17: Paper by Niari et al. accepted to CAV 2019.
2019.03.31: Paper by Meier et al. accepted to ECOOP 2019.
2018.11.23: Paper by Lu et al. accepted to VMCAI 2019.
2018.10.23: CUPLV student Taisa Kushner receives the 2018 Ralph J. Slutz Award.
2018.08.01: CUPLV student Shawn Meier pitched at Catalyze CU Demo Day 2018.
2018.07.03: Paper by Stein et al. accepted to ASE 2018.
2018.06.19: Paper by Dutta et al. accepted to CMSB 2018.
2018.06.01: CUPLV Postdoctoral Scholar Sergio Mover accepts a faculty position at École Polytechnique.
2018.05.07: CUPLV PhD Student Jedidiah McClurg accepts a faculty position at UNM.
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, 2019 (or November 15, 2019 to potentially waive application fees).
Faculty Positions. We are hiring for a tenure-track position in trustworthy software, as well as for instructor positions. Application deadline for the tenure-track position is December 1, 2019.

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 2019Athens, GreeceOctober 2019

2019
Static Analysis with Demand-Driven Value Refinement
OOPSLA 2019: ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications

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
Hansol Yoon, Chou Yi, Xin Chen, Eric Frew, and Sriram Sankaranarayanan
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

ASE 2018Montpellier, FranceSeptember 2018

2018
Safe Stream-Based Programming with Refinement Types
ASE 2018: IEEE/ACM International Conference on Automated Software Engineering

CMSB 2018Brno, Czech RepublicSeptember 2018

2018
Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks
CMSB 2018: International Conference on Computational Methods in Systems Biology

HSCC 2018Porto, PortugalApril 2018

2018
Almost-Sure Reachability in Stochastic Multi-Mode System
HSCC 2018: International Conference on Hybrid Systems: Computation and Control

ICCPS 2018Porto, PortugalApril 2018

2018
A Data-Driven Approach to Artificial Pancreas Verification and Synthesis
Taisa Kushner, David Bortz, David Maahs, and Sriram Sankaranarayanan
ICCPS 2018: International Conference on Cyber-Physical Systems

SANER 2018Campobasso, ItalyMarch 2018

2018
Mining Framework Usage Graphs from App Corpora
Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang
SANER 2018: International Conference on Software Analysis, Evolution and Reengineering

ICSE 2018Gothenburg, SwedenMay 2018

2018
DroidStar: Callback Typestates for Android Classes
ICSE 2018: International Conference on Software Engineering

AAAI 2018New Orleans, Louisiana, USAFebruary 2018

2018
Differential Performance Debugging with Discriminant Regression Trees
AAAI 2018: AAAI Conference on Artificial Intelligence