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. Cache Impacts of Datatype Acceleration Wu, Lisa K.; Kim, Martha Allen; Edwards, Stephen A. 2011 Articles Computer science
4. Buffer Sharing in Rendezvous Programs Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
6. Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks Kim, Martha Allen; Edwards, Stephen A. 2010 Articles Computer science
7. Determinism Should Ensure Deadlock-Freedom Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
8. Ensuring Deterministic Concurrency through Compilation Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
9. Simple and Fast Biased Locks Vasudevan, Nalini; Namjoshi, Kedar S.; Edwards, Stephen A. 2010 Articles Computer science
11. 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
12. 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
13. Buffer Sharing in CSP-like Programs Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
14. Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
15. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2009 Articles Computer science
16. Concurrency and Communication: Lessons from the SHIM Project Edwards, Stephen A. 2009 Articles Computer science
17. 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
18. Synthesis and Optimization of Pipelined Packet Processors Soviani, Cristian; Hadzic, Ilija; Edwards, Stephen A. 2009 Articles Computer science
19. A Deterministic Multi-Way Rendezvous Library for Haskell Vasudevan, Nalini; Singh, Satnam; Edwards, Stephen A. 2008 Articles Computer science
20. Flexible Pointer Analysis Using Assign-Fetch Graphs Buss, Marcio; Edwards, Stephen A.; Brand, Daniel; Sreedhar, Vugranam 2008 Articles Computer scienceMathematics
21. 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
22. Programming Shared Memory Multiprocessors with DeterministicMessage-Passing Concurrency: Compiling SHIM to Pthreads Edwards, Stephen A.; Vasudevan, Nalini; Tardieu, Olivier 2008 Articles Computer science
23. Static Deadlock Detection for the SHIM Concurrent Language Vasudevan, Nalini; Edwards, Stephen A. 2008 Articles Computer science
24. Static Elaboration of Recursion for Concurrent Software Edwards, Stephen A.; Zeng, Jia 2008 Articles Computer science
25. Code Generation in the Columbia Esterel Compiler Edwards, Stephen A.; Zeng, Jia 2007 Articles Computer science
26. FIFO Sizing for High-Performance Pipelines Soviani, Cristian; Edwards, Stephen A. 2007 Articles Computer science
27. Instantaneous Transitions in Esterel Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
28. Optimizing Sequential Cycles Through Shannon Decomposition and Retiming Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
29. {sets} -- A lightweight constraint programming language based on ROBDDs Cohen, Haim; Edwards, Stephen A. 2007 Articles Computer science
30. The Case for the Precision Timed (PRET) Machine Edwards, Stephen A.; Lee, Edward A. 2007 Articles Computer science
31. A Domain-Specific Language for Generating Dataflow Analyzers Zheng, Jia; Mitchell, Chuck; Edwards, Stephen A. 2006 Articles Computer science
32. An Efficient Algorithm for the Analysis of Cyclic Circuits Neiroukh, Osama; Edwards, Stephen A.; Song, Xiaoyu 2006 Articles Computer science
33. A Processor Extension for Cycle-Accurate Real-Time Software Ip, Nicholas Jun Hao; Edwards, Stephen A. 2006 Articles Computer science
34. Efficient Code Generation from SHIM Models Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
35. R-SHIM: Deterministic Concurrency with Recursion and Shared Variables Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
36. Scheduling-Independent Threads and Exceptions in SHIM Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
37. SHIM: A Deterministic Model for Heterogeneous Embedded Systems Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
38. Synthesis of High-Performance Packet Processing Pipelines Soviani, Cristian; Hadzic, Ilija; Edwards, Stephen A. 2006 Articles Computer science
39. The Case for the Precision Timed (PRET) Machine Edwards, Stephen A.; Lee, Edward A. 2006 Articles Computer science
40. The Challenges of Synthesizing Hardware from C-Like Languages Edwards, Stephen A. 2006 Articles Computer science
41. Using Program Specialization to Speed SystemC Fixed-Point Simulation Edwards, Stephen A. 2006 Articles Computer science
42. Adding a Flow-Oriented Paradigm to Commodity Operating Systems Soviani, Cristian; Edwards, Stephen A.; Keromytis, Angelos D. 2005 Articles Computer science
43. Approximate Reachability for Dead Code Elimination in Esterel* Tardieu, Olivier; Edwards, Stephen A. 2005 Articles Computer science
44. Challenges in Synthesizing Fast Control-Dominated Circuits Soviani, Cristian; Edwards, Stephen A. 2005 Articles Computer science
45. Deterministic Receptive Processes are Kahn Processes Edwards, Stephen A.; Tardieu, Olivier 2005 Articles Computer science
46. Experiences Teaching an FPGA-based Embedded Systems Class Edwards, Stephen A. 2005 Articles Science--Study and teachingComputer science
47. High-Level Optimization by Combining Retiming and Shannon Decomposition Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2005 Articles Computer science
48. Incremental Algorithms for Inter-procedural Analysis of Safety Properties Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A. 2005 Articles Computer science
49. Pointer Analysis for Source-to-Source Transformations Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Articles Computer science
50. Separate Compilation for Synchronous Modules Zeng, Jia; Edwards, Stephen A. 2005 Articles Computer science