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
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
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
2011
Relational Abstractions for Continuous and Hybrid Systems
Sriram Sankaranarayanan and Ashish Tiwari
CAV 2011: International Conference on Computer Aided Verification
2011
Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations
Sriram Sankaranarayanan
HSCC 2011: International Conference on Hybrid Systems: Computation and Control
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
2011
Generalizing the Template Polyhedral Domain
Michael Colon and Sriram Sankaranarayanan
ESOP 2011: European Symposium on Programming
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
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
2010
Mixing Type Checking and Symbolic Execution
Khoo Yit Phang, Bor-Yuh Evan Chang, and Jeffrey S. Foster
PLDI 2010: ACM SIGPLAN Conference on Programming Language Design and Implementation
Extended Version: Technical Report CS-TR-4954
2010
Evaluating the Accuracy of Java Profilers
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter F. Sweeney
PLDI 2010: ACM SIGPLAN Conference on Programming Language Design and Implementation
2010
Threesomes, With and Without Blame
Jeremy G. Siek and Philip Wadler
POPL 2010: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
2010
Incremental Type-Checking for Type-Reflective Metaprograms
Weiyu Miao and Jeremy G. Siek
GPCE 2010: International Conference on Generative Programming and Component Engineering
2010
An Efficient Software Transactional Memory Using Commit-Time Invalidation
Justin E. Gottschlich, Manish Vachharajani, and Jeremy G. Siek
CGO 2010: International Symposium on Code Generation and Optimization
2010
Separating Shape Graphs
Vincent Laviron, Bor-Yuh Evan Chang, and Xavier Rival
ESOP 2010: European Symposium on Programming
2009
Gradual Programming: Bridging the Semantic Gap (Position Paper)
Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek
PLDI-FIT 2009: Fun Ideas and Thoughts at PLDI
2009
Automating the Generation of Composed Linear Algebra Kernels
Geoffrey Belter, E.R. Jessup, Ian Karlin, and Jeremy G. Siek
SC 2009: International Conference on High Performance Computing Networking, Storage and Analysis