1. Using a Model Checker to Determine Worst-case Execution Time Kim, Sungjun; Patel, Hiren D.; Edwards, Stephen A. 2009 Reports Computer science
3. Static Deadlock Detection in SHIM with an Automata Type Checking System Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron 2008 Reports Computer science
4. Specifying Confluent Processes Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
5. SHIM Optimization: Elimination Of Unstructured Loops Ganapathi, Ravindra Babu; Edwards, Stephen A. 2008 Reports Computer science
6. SHIM: A Deterministic Approach to Programming with Threads Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
7. Retrocomputing on an FPGA: Reconstructing an 80's-Era Home Computer with Programmable Logic Edwards, Stephen A. 2009 Reports Computer science
8. Predictable Programming on a Precision Timed Architecture Lickly, Ben; Liu, Isaac; Kim, Sungjun; Patel, Hiren D.; Edwards, Stephen A.; Lee, Edward A. 2008 Reports Computer science
9. Pointer Analysis for C Programs Through AST Traversal Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Reports Computer science
10. MacShim: Compiling MATLAB to a Scheduling-Independent Concurrent Language Subramaniam, Neesha; Edwards, Stephen A.; Ohan, Oda 2006 Reports Computer science
11. Incremental Algorithms for Inter-procedural Analysis of Safety Properties Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A. 2005 Reports Computer science
12. Embedded uClinux, the Altera DE2, and the SHIM Compiler Hsu, Wei-Chung; Edwards, Stephen A.; Lariviere, David 2006 Reports Computer science
13. Arrays in SHIM: A Proposal Thapar, Smridh; Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
14. An Implementation of a Renesas H8/300 Microprocessor with a Cycle-Level Timing Extension Huang, Chen-Chun; Coca, Javier; Gupta, Yashket; Edwards, Stephen A. 2006 Reports Computer science
15. A new abstraction for summary-based pointer analysis Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2007 Reports Computer science
16. Analysis of Clocks in X10 Programs (Extended) Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2008 Reports Computer science