Faculty

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

Post-Docs

Xin Chen
Sergio Mover

Students

PhD

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

MS

Dimitrios Economou
Aniruddha Phatak
Hansol Yoon

BS/BA

Chance Roberts
Peilun Zhang

Alumni

Faculty

Amer Diwan
Jeremy G. Siek

Scientists

Edmund S.L. Lam

Post-Docs

Mohamed Amin Ben Sassi
Yuen-Lam Voronin

PhD

Geoffrey Belter
Sam Blackshear
Aleksandar Chakarov
Devin Coughlin
Arlen Cox
Justin E. Gottschlich
Ian Karlin
Weiyu Miao
Todd Mytkowicz
Thomas Nelson
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

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.05.07:
CUPLV PhD Student Jedidiah McClurg accepts a position as an assistant professor of comptuer science at the University of New Mexico.
2018.04.06:
CUPLV PhD Student Saeid Tizpaz Niari wins the 2018 Gold Research Award from ECEE.
2018.03.23:
CUPLV authors Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang win the IEEE TCSE Distinguished Paper Award at SANER 2018 for "Mining Framework Usage Graphs from App Corpora."
2018.03.22:
CUPLV researchers Shawn Meier and Bor-Yuh Evan Chang with collaborators came in 3rd in the R&D track of New Venture Challenge 10, earning $1,000 for the venture.
2018.02.14:
Prospective Ph.D. students visit February 16. Welcome!
2017.12.20:
CUPLV authors Fabio Somenzi and Ashutosh Trivedi with collaborators have had a paper "Almost-Sure Reachability in Stochastic Multi-Mode System" accepted for presentation at HSCC 2018 in April.
2017.12.19:
CUPLV authors Taisa Kushner and Sriram Sankaranarayanan with collaborators have had a paper "A Data-Driven Approach to Artificial Pancreas Verification and Synthesis" accepted for presentation at ICCPS 2018 in April.
2017.12.17:
CUPLV authors Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang have had a paper "Mining Framework Usage Graphs from App Corpora" accepted for presentation at SANER 2018 in March.
2017.12.13:
CUPLV authors Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang, and Pavol Černý with collaborators have had a paper "DroidStar: Callback Typestates for Android Classes" accepted for presentation at ICSE 2018 in May.
2017.12.11:
CUPLV authors Xin Chen, Sergio Mover, and Sriram Sankaranarayanan nominated for an ACM SIGBED EMSOFT Best Paper Award for "Compositional Relational Abstraction for Nonlinear Hybrid Systems."
2017.11.28:
CUPLV authors Saeid Tizpaz Niari, Pavol Černý, Bor-Yuh Evan Chang, and Ashutosh Trivedi have had a paper "Differential Performance Debugging with Discriminant Regression Trees" accepted for presentation at AAAI 2018 in February.
2017.08.02:
CUPLV authors Edmund S.L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang have had a paper "ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps" officially accepted for presentation at ONWARD! 2017 in October.
2017.06.30:
CUPLV authors Xin Chen, Sergio Mover, and Sriram Sankaranarayanan have had a paper "Compositional Relational Abstraction for Nonlinear Hybrid Systems" accepted for presentation at EMSOFT 2017 in October.
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.05.07: CUPLV PhD Student Jedidiah McClurg accepts a faculty position at UNM.
2018.04.06: CUPLV PhD Student Saeid Tizpaz Niari wins the 2018 Gold Research Award from ECEE.
2018.03.23: Paper by Mover et al. wins the IEEE TCSE Distinguished Paper Award at SANER 2018.
2018.03.22: CUPLV team came in 3rd in the R&D track of NVC10.
2018.02.14: Prospective Ph.D. students visit February 16. Welcome!
2017.12.20: Paper by Somenzi et al. accepted to HSCC 2018.
2017.12.19: Paper by Kushner et al. accepted to ICCPS 2018.
2017.12.17: Paper by Mover et al. accepted to SANER 2018.
2017.12.13: Paper by Radhakrishna et al. accepted to ICSE 2018.
2017.12.11: Paper by Chen et al. nominated for an ACM SIGBED EMSOFT Best Paper Award.
2017.11.28: Paper by Niari et al. accepted to AAAI 2018.
2017.08.02: Paper by Lam et al. accepted to ONWARD! 2017.
2017.06.30: Paper by Chen et al. accepted to EMSOFT 2017.
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, 2017.
Postdoc Position. There is a postdoctoral research associate position open with the opportunity to work with Profs. Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi.

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

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

ONWARD! 2017Vancouver, British Columbia, CanadaOctober 2017

2017
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Edmund S.L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang
ONWARD! 2017: ACM Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

EMSOFT 2017Torino, ItalyOctober 2017

2017
Compositional Relational Abstraction for Nonlinear Hybrid Systems
EMSOFT 2017: ACM SIGBED International Conference on Embedded Software

RSS 2017Cambridge, Massachusetts, USAJune 2017

2017
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
Hadi Ravanbakhsh and Sriram Sankaranarayanan
RSS 2017: Robotics: Science and Systems

TACAS 2017Uppsala, SwedenApril 2017

2017
Discriminating Traces with Time
TACAS 2017: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

POPL 2017Paris, FranceJanuary 2017

2017
Semantic-Directed Clumping of Disjunctive Abstract States
Huisong Li, François Bérenger, Bor-Yuh Evan Chang, and Xavier Rival
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
2017
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, and Matthew A. Hammer
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages