CS296-26 − Toolkit for Algorithms by Prof. Satish Rao and Prof. Umesh Vazirani
-
CS294-5 − Dynamic Program Analysis, Testing, and Debugging by Prof. Koushik Sen
Paper presentation: Constraints Assisted Modeling and Validation
Project proposal: Reverse Path Exploration for Failure Detection
Project presentation: Dynamic Program Analysis with Partial Execution and Summary
Project Report: Dynamic Program Analysis with Partial Execution and Summary
-
IEOR261 − Experimenting with Simulated Systems by Prof. Lee W. Schruben
Project Report: Precise Modeling and Statistical Modeling: Toward Efficient and Modular Discrete Events
-
CS294-2 − Software Synthesis by Prof. Ras Bodik
Project presentation: Learning Dependency Property from Traces
EE219C − Computer-Aided Verification by Prof. Sanjit A. Seshia
-
CS263 − Design and Analysis of Programming Languages by Prof. George Necula
Project report: Extending Java with Checkpointing
-
EE244 − Introduction to Computer Aided Design of Integrated Circuits by Prof. Kurt Keutzer and Prof. Sanjit A. Seshia
Project report: Buffer-Sizing for Precedence Graphs on Restricted Multiprocessor Architectures
Project presentation: Buffer-sizing for Precedence Graphs on Restricted Multiprocessor Architectures
CS194 − Distributed Systems by Prof. Scott Shenker and Prof. Ion Stoica
-
CS264 − Program Analysis by Prof. Ras Bodik
Project proposal: Automatic Checkpoint Based on Refactoring in Java
Project report: Incremental Checkpointing based on Java Source Code Refactoring
The notes and materials for the PL prelim in Spring 2005 has been moved here.