|
|
|
Large Projects
- Algorithms and Frameworks for OCR and Content-based Image Retrieval
Jike Chong, Bryan Christopher Catanzaro, Narayanan Sundaram, Fares Hedayati and Kurt Keutzer
- Cyber-Physical Systems: ActionWebs
Claire Tomlin, Edward A. Lee, S. Shankar Sastry, David E. Culler and Hamsa Balakrishnan
- Prof. Roychowdhury's Research
Jaijeet Roychowdhury
- Ptolemy Project
Edward A. Lee, Hugo Andrade, Christopher Brooks, Dai Bui, Yasemin Demir, Shanna-Shaye Forbes, Ben Lickly, Isaac Liu, Slobodan Matic, Eleftherios Matsikoudis, Mary Stewart, Jia Zou, Stavros Tripakis, John Eidson, Elizabeth Latronico and Charles Shelton
- UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye
Small Projects
- A System-Level Design Methodology for Fault Tolerant Automotive Systems
Mark Lee McKelvin Jr and Alberto L. Sangiovanni-Vincentelli
- Game-Theoretic Timing Analysis
Sanjit A. Seshia
- Hardware Implementation of Lossless Compression for Direct-Write Maskless Lithography Systems
Hsin-I Liu, Avideh Zakhor and Borivoje Nikolic
- Information Flow Security
Susmit Jha and Sanjit A. Seshia
- Interfaces for Component-Based Design
Stavros Tripakis, Ben Lickly, Edward A. Lee and Thomas A. Henzinger
- MCMC Stimulus Generation for Constrained Random Simulation
Nathan Kitchen, Tobias Welp and Andreas Kuehlmann
- Modular Code Generation
Edward A. Lee, Dai Bui and Stavros Tripakis
- MOSFET Stress Modeling Using Pattern Functions
Andrew R. Neureuther, Lynn Tao-Ning Wang, Nuo Xu and Tsu-Jae King Liu
- Parallel Transistor Level Full-Chip Circuit Simulation
He (Vincent) Peng and Ernest S. Kuh
- Parallel Transistor Level Full-Chip Circuit Simulation
Ernest Kuh and Vincent Peng
- Platform-based Mixed-Signal System Design
Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo and Alberto Alessandro Angelo Puggelli
- Precision Timed Machines (PRET)
Shanna-Shaye Forbes, Ben Lickly, Isaac Liu, Hiren D. Patel and Edward A. Lee
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems
Slobodan Matic, Jia Zou, Edward A. Lee, Shanna-Shaye Forbes, Isaac Liu and John Eidson
- Ptolemy Hierarchical Orthogonal Multi-Attribute Solver (PtHOMAS)
Edward A. Lee, Christopher Brooks, Dai Bui, Elizabeth Latronico, Ben Lickly, Charles Shelton and Stavros Tripakis
- QF_IDL: A Core Optimization Problem in Automated System Design
Matthew Walter Moskewicz and Kurt Keutzer
- Satisfiability Modulo Theories (SMT)
Rhishikesh Shrikant Limaye, Sanjit A. Seshia and Susmit Jha
- Verification-Guided Error Resilience (VGER)
Daniel Holcomb, Wenchao Li and Sanjit A. Seshia
- Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
Sanjit A. Seshia and Bryan Brady
- Zero-Footprint Optical Metrology Wafer
John Gerling and Nathan W. Cheung
|
|
|
