1. Compositional Dataflow Circuits Edwards, Stephen A.; Townsend, Richard Morse; Barker, Martha Massee; Kim, Martha Allen 2019 Articles Data flow computingComputer networksBuffer storage (Computer science)Computer science
2. From Functional Programs to Pipelined Dataflow Circuits Townsend, Richard Morse; Kim, Martha Allen; Edwards, Stephen A. 2017 Articles Compilers (Computer programs)Logic designData flow computing
3. 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
4. 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
9. Statically Unrolling Recursion to Improve Opportunities for Parallelism Deshpande, Neil Ashish; Edwards, Stephen A. 2012 Reports Computer science
10. Cache Impacts of Datatype Acceleration Wu, Lisa K.; Kim, Martha Allen; Edwards, Stephen A. 2011 Articles Computer science
11. Buffer Sharing in Rendezvous Programs Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
13. Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks Kim, Martha Allen; Edwards, Stephen A. 2010 Articles Computer science
14. Determinism Should Ensure Deadlock-Freedom Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
15. Ensuring Deterministic Concurrency through Compilation Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
16. Simple and Fast Biased Locks Vasudevan, Nalini; Namjoshi, Kedar S.; Edwards, Stephen A. 2010 Articles Computer science
18. A Disruptive Computer Design Idea: Architectures with Repeatable Timing Edwards, Stephen A.; Kim, Sungjun; Lee, Edward A.; Liu, Isaac; Patel, Hiren D.; Schoeberl, Martin 2009 Articles Computer science
19. A novel analysis space for pointer analysis and its application for bug finding Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2009 Articles Computer science
20. Buffer Sharing in CSP-like Programs Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
21. Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
22. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2009 Articles Computer science
23. Concurrency and Communication: Lessons from the SHIM Project Edwards, Stephen A. 2009 Articles Computer science
24. Reconciling Repeatable Timing with Pipelining and Memory Hierarchy Edwards, Stephen A.; Kim, Sungjun; Lee, Edward A.; Patel, Hiren D.; Schoeberl, Martin 2009 Articles Computer science
25. Retrocomputing on an FPGA: Reconstructing an 80's-Era Home Computer with Programmable Logic Edwards, Stephen A. 2009 Reports Computer science
26. Synthesis and Optimization of Pipelined Packet Processors Soviani, Cristian; Hadzic, Ilija; Edwards, Stephen A. 2009 Articles Computer science
27. Using a Model Checker to Determine Worst-case Execution Time Kim, Sungjun; Patel, Hiren D.; Edwards, Stephen A. 2009 Reports Computer science
28. A Deterministic Multi-Way Rendezvous Library for Haskell Vasudevan, Nalini; Singh, Satnam; Edwards, Stephen A. 2008 Articles Computer science
29. Analysis of Clocks in X10 Programs (Extended) Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2008 Reports Computer science
30. Flexible Pointer Analysis Using Assign-Fetch Graphs Buss, Marcio; Edwards, Stephen A.; Brand, Daniel; Sreedhar, Vugranam 2008 Articles Computer scienceMathematics
31. Predictable Programming on a Precision Timed Architecture Lickly, Ben; Liu, Isaac; Kim, Sungjun; Patel, Hiren D.; Edwards, Stephen A.; Lee, Edward A. 2008 Articles Computer science
32. 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
33. Programming Shared Memory Multiprocessors with DeterministicMessage-Passing Concurrency: Compiling SHIM to Pthreads Edwards, Stephen A.; Vasudevan, Nalini; Tardieu, Olivier 2008 Articles Computer science
34. SHIM Optimization: Elimination Of Unstructured Loops Ganapathi, Ravindra Babu; Edwards, Stephen A. 2008 Reports Computer science
35. Static Deadlock Detection for the SHIM Concurrent Language Vasudevan, Nalini; Edwards, Stephen A. 2008 Articles Computer science
36. Static Deadlock Detection in SHIM with an Automata Type Checking System Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron 2008 Reports Computer science
37. Static Elaboration of Recursion for Concurrent Software Edwards, Stephen A.; Zeng, Jia 2008 Articles Computer science
38. Transforming Cyclic Circuits Into Acyclic Equivalents Neiroukh, Osama; Edwards, Stephen A.; Song, Xiaoyu 2008 Articles Computer science
40. A new abstraction for summary-based pointer analysis Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A. 2007 Reports Computer science
41. Code Generation in the Columbia Esterel Compiler Edwards, Stephen A.; Zeng, Jia 2007 Articles Computer science
42. FIFO Sizing for High-Performance Pipelines Soviani, Cristian; Edwards, Stephen A. 2007 Articles Computer science
43. Instantaneous Transitions in Esterel Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
44. Optimizing Sequential Cycles Through Shannon Decomposition and Retiming Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
45. {sets} -- A lightweight constraint programming language based on ROBDDs Cohen, Haim; Edwards, Stephen A. 2007 Articles Computer science
46. The Case for the Precision Timed (PRET) Machine Edwards, Stephen A.; Lee, Edward A. 2007 Articles Computer science
47. A Domain-Specific Language for Generating Dataflow Analyzers Zheng, Jia; Mitchell, Chuck; Edwards, Stephen A. 2006 Articles Computer science
49. An Efficient Algorithm for the Analysis of Cyclic Circuits Neiroukh, Osama; Edwards, Stephen A.; Song, Xiaoyu 2006 Articles Computer science
50. 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