Faculty

Bor-Yuh Evan Chang
Amer Diwan
Dirk Grunwald
Sriram Sankaranarayanan
Jeremy G. Siek
Fabio Somenzi

Students

PhD

Geoffrey Belter
Sam Blackshear
Joseph Blomstedt
Aleksandar Chakarov
Devin Coughlin
Arlen Cox
Weiyu Miao
Thomas Nelson
Yi-Fan Tsai
Jonathan Turner
Michael Vitousek
Aditya Zutshi

MS

Huck Bennett
Shashank Bharadwaj
Erik Silkensen

Affiliates

Computer Systems @ Colorado
Department of Computer Science
Department of Electrical, Computer, and Energy Engineering
College of Engineering and Applied Science
University of Colorado Boulder
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, 2011.
Faculty Positions. Two tenure-track position openings targeted at the Assistant Professor level. Evaluation starts December 6, 2011.
2011.11.04: Best paper at FMCAD 2011 goes to "An Incremental Approach to Model Checking Progress Properties".
2011.11.04: Two tenure-track positions open. Evaluation begins December 6, 2011.
2011.11.04: Call for Ph.D. applicants for Fall 2012. Application deadline is December 15, 2011. Check out our latest recruiting talk from February 25, 2011.
2011.09.09: Sam Blackshear is presenting the paper "The Flow-Insensitive Precision of Andersen's Analysis in Practice" at SAS 2011 on September 14.
2011.07.11: We will have a workshop with visitors Swarat Chaudhuri (Rice University, USA), Eric Goubault (CEA, France), Sylvie Putot (CEA, France), and César Sánchez (IMDEA, Spain) in ECOT 832 on July 12 10:00am-6:00pm.
2011.07.07: Eric Goubault and Sylvie Putot visit July 11-12.
2011.07.07: Swarat Chaudhuri visits July 11-15.
2011.07.01: César Sánchez visits July 5-August 12.
2011.06.02: Franjo Ivančić visits June 4.
2011.04.25: Christoph Reichenbach from U of Massachusetts, Amherst and alumnus of this group is visiting us on Monday, April 25, 2011. He is giving a talk at 10:00am in ECOT 832.
2011.11.04: Two tenure-track positions open. Evaluation begins December 6, 2011.
2011.11.04: Call for Ph.D. applicants for Fall 2012. Application deadline is December 15, 2011.
2011.09.09: Sam Blackshear presenting at SAS 2011 September 14.
2011.07.11: Summer workshop July 12.
2011.07.07: Eric Goubault and Sylvie Putot visit July 11-12.
2011.07.07: Swarat Chaudhuri visits July 11-15.
2011.07.01: César Sánchez visits July 5-August 12.
2011.06.02: Franjo Ivančić visits June 4.
2011.04.25: Christoph Reichenbach visits April 25.

TACAS 2012Tallinn, EstoniaMarch 2012

2012
A Bit Too Precise? Bounded Verification of Quantized Digital Filters
Arlen Cox, Sriram Sankaranarayanan, and Bor-Yuh Evan Chang
TACAS 2012: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

FMCAD 2011Austin, Texas, USAOctober 2011

2011
An Incremental Approach to Model Checking Progress Properties
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, and Yan Zhang
FMCAD 2011: International Conference on Formal Methods in Computer Aided Design

SAS 2011Venice, ItalySeptember 2011

2011
The Flow-Insensitive Precision of Andersen's Analysis in Practice
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan
SAS 2011: International Static Analysis Symposium
Extended Version: Technical Report CU-CS-1083-11

CAV 2011Snowbird, Utah, USAJuly 2011

2011
Relational Abstractions for Continuous and Hybrid Systems
Sriram Sankaranarayanan and Ashish Tiwari
CAV 2011: International Conference on Computer Aided Verification

HSCC 2011Chicago, Illinois, USAApril 2011

2011
Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations
Sriram Sankaranarayanan
HSCC 2011: International Conference on Hybrid Systems: Computation and Control

TACAS 2011Saarbrücken, GermanyMarch 2011

2011
S-Taliro: A Tool for Temporal Logic Falsification for Hybrid Systems
Yashwant Annapureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan
TACAS 2011: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

ESOP 2011 Saarbrücken, Germany March 2011

2011
Generalizing the Template Polyhedral Domain
Michael Colon and Sriram Sankaranarayanan
ESOP 2011: European Symposium on Programming

POPL 2011Austin, Texas, USAJanuary 2011

2011
Blame for All
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, and Philip Wadler
POPL 2011: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
2011
Calling Context Abstraction with Shapes
Xavier Rival and Bor-Yuh Evan Chang
POPL 2011: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

VMCAI 2011Austin, Texas, USAJanuary 2011

2011
Access Nets: Modeling Access to Physical Spaces
Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan
VMCAI 2011: International Conference on Verification, Model Checking, and Abstract Interpretation
Extended Version: Technical Report CU-CS-1076-10