|
|
|
Large Projects
- Algorithms and Frameworks for OCR and Content-based Image Retrieval
Jike Chong, Bryan Christopher Catanzaro, Narayanan Sundaram, Fares Hedayati and Kurt Keutzer
- Optimizing Semantics-Preserving Implementation of Synchronous Reactive Communication
Guoqiang Wang, Marco Di Natale and Alberto L. Sangiovanni-Vincentelli
- Ptolemy Project
Edward A. Lee, Hugo Andrade, Christopher Brooks, Dai Bui, Yasemin Demir, Thomas Huining Feng, Shanna-Shaye Forbes, Man-Kit Leung, Ben Lickly, Isaac Liu, Thomas Mandl, Slobodan Matic, Eleftherios Matsikoudis, Hiren Patel, Bert Rodiers, Mary Stewart, Yang Zhao and Jia Zou
- UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye
Small Projects
- A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
Sanjit A. Seshia, Wenchao Li and Orna Kupferman
- Application of Machine Learning Techniques to Improve Convergence Properties of Model-based OPC Algorithms
Allan Xiao Yu Gu, Peiran Gao and Avideh Zakhor
- Automatic Clock Gate Synthesis
Aaron P. Hurst, Robert K. Brayton and Andreas Kuehlmann
- Efficient Task Allocation and Scheduling of Concurrent Applications to Multiprocessor Systems
Kaushik Ravindran, Nadathur Rajagopalan Satish and Kurt Keutzer
- Functional Symmetries and Their Uses in Optimization and Verification
Donald Chai and Andreas Kuehlmann
- 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
- Hierarchy of Finite Simulations of Lazy Linear Hybrid Automata
Susmit Jha, Sanjit A. Seshia and Bryan Brady
- Information Flow Security
Susmit Jha and Sanjit A. Seshia
- Leveraging Task and Data Level Parallelism in Multi-Core Processors
Nadathur Rajagopalan Satish and Kurt Keutzer
- Maskless Droplet-on-Demand (DoD) Systems
Jeffrey Bokor and Nathan Emley
- Multiprocessor Implementation of Image Recognition
Narayanan Sundaram, Bryan Christopher Catanzaro, Jike Chong and Kurt Keutzer
- Partition Algorithms for Parallelizing Post-Layout Timing Optimization (PAPPTO)
Bor-Yiing Su, Kurt Keutzer and Christopher Batten
- Platform-based Mixed-Signal System Design
Xuening Sun, Chang-Ching Wu and Alberto L. Sangiovanni-Vincentelli
- Post-Decomposition Assessment of Double Patterning Layout
Juliet Alison Rubinstein and Andrew R. Neureuther
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems
Yang Zhao, Slobodan Matic, Thomas Huining Feng, Jia Zou and Edward A. Lee
- QF_IDL: A Core Optimization Problem in Automated System Design
Matthew Walter Moskewicz and Kurt Keutzer
- Qualitative Dynamics of Chua's Circuit
Bharathwaj Muthuswamy and Leon O. Chua
- Satisfiability Modulo Theories (SMT)
Rhishikesh Shrikant Limaye, Sanjit A. Seshia and Susmit Jha
- Scalability of On-Chip Transmission Lines
Ling Zhang, Chung-Kuan Cheng and Ernest S. Kuh
- Scheduling Applications with Variable Task Execution Times onto Heterogeneous Multiprocessors
Nadathur Rajagopalan Satish and Kurt Keutzer
- Stimulus Generation for Constrained Biased Random Simulation
Nathan Kitchen, Tobias Welp and Andreas Kuehlmann
- System-level Design and Analysis of Fault Tolerant Heterogeneous Systems
Mark Lee McKelvin Jr, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
- 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
|
|
|
