1. Hardware in Haskell: Implementing Memories in a Stream-Based World Townsend, Richard Morse; Kim, Martha Allen; Edwards, Stephen A. 2015 Reports ComputersMemory--Computer programsHaskell (Computer program language)Computer science
2. Hardware Synthesis from a Recursive Functional Language Zhai, Kuangya; Townsend, Richard Morse; Lairmore, Lianne Elizabeth; Kim, Martha Allen; Edwards, Stephen A. 2015 Reports Computer science
7. Statically Unrolling Recursion to Improve Opportunities for Parallelism Deshpande, Neil Ashish; Edwards, Stephen A. 2012 Reports Computer science
8. Retrocomputing on an FPGA: Reconstructing an 80's-Era Home Computer with Programmable Logic Edwards, Stephen A. 2009 Reports Computer science
9. Using a Model Checker to Determine Worst-case Execution Time Kim, Sungjun; Patel, Hiren D.; Edwards, Stephen A. 2009 Reports Computer science
10. Analysis of Clocks in X10 Programs (Extended) Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2008 Reports Computer science
11. SHIM Optimization: Elimination Of Unstructured Loops Ganapathi, Ravindra Babu; Edwards, Stephen A. 2008 Reports Computer science
12. Static Deadlock Detection in SHIM with an Automata Type Checking System Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron 2008 Reports Computer science
15. 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
16. Arrays in SHIM: A Proposal Thapar, Smridh; Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
17. Embedded uClinux, the Altera DE2, and the SHIM Compiler Hsu, Wei-Chung; Edwards, Stephen A.; Lariviere, David 2006 Reports Computer science
18. MacShim: Compiling MATLAB to a Scheduling-Independent Concurrent Language Subramaniam, Neesha; Edwards, Stephen A.; Ohan, Oda 2006 Reports Computer science
19. SHIM: A Deterministic Approach to Programming with Threads Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
20. Specifying Confluent Processes Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
21. Incremental Algorithms for Inter-procedural Analysis of Safety Properties Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A. 2005 Reports Computer science
22. Pointer Analysis for C Programs Through AST Traversal Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Reports Computer science
24. Determining Interfaces Using Type Inference Li, Chun; Edwards, Stephen A. 2004 Reports Computer science
25. Improved Controller Synthesis from Esterel Soviani, Cristian; Zeng, Jia; Edwards, Stephen A. 2004 Reports Computer science
26. Sequential Challenges in Synthesizing Esterel Soviani, Cristian; Zeng, Jia; Edwards, Stephen A. 2004 Reports Computer science
28. CASPER: Compiler-Assisted Securing of Programs at Runtime Kc, Gaurav S.; Edwards, Stephen A.; Kaiser, Gail E. 2002 Reports Computer science
29. Compiling Concurrent Languages for Sequential Processors Edwards, Stephen A. 2001 Reports Computer science