Design Synthesis by Sketching: A New Approach to Taming Exploding Design Complexity.
Event details
| Date | 10.09.2012 |
| Hour | 13:30 |
| Speaker | Mr. Andrew James Becker |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Martin Odersky
Thesis director: Prof. Paolo Ienne
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A survey of Recent Advances in SAT-Based Formal Verification by M. Prasad et al.
Combinatorial Sketching for Finite Programs by A. Solar-Lezama et al.
SPARK: A High-Level Synthesis Framework for Applying Parallelizing Compiler Transformations by Gupta et al.
Exam president: Prof. Martin Odersky
Thesis director: Prof. Paolo Ienne
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A survey of Recent Advances in SAT-Based Formal Verification by M. Prasad et al.
Combinatorial Sketching for Finite Programs by A. Solar-Lezama et al.
SPARK: A High-Level Synthesis Framework for Applying Parallelizing Compiler Transformations by Gupta et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex