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
51. A Processor Extension for Cycle-Accurate Real-Time Software Ip, Nicholas Jun Hao; Edwards, Stephen A. 2006 Articles Computer science
52. Arrays in SHIM: A Proposal Thapar, Smridh; Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
53. Efficient Code Generation from SHIM Models Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
54. Embedded uClinux, the Altera DE2, and the SHIM Compiler Hsu, Wei-Chung; Edwards, Stephen A.; Lariviere, David 2006 Reports Computer science
55. MacShim: Compiling MATLAB to a Scheduling-Independent Concurrent Language Subramaniam, Neesha; Edwards, Stephen A.; Ohan, Oda 2006 Reports Computer science
56. R-SHIM: Deterministic Concurrency with Recursion and Shared Variables Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
57. Scheduling-Independent Threads and Exceptions in SHIM Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
58. SHIM: A Deterministic Approach to Programming with Threads Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
59. SHIM: A Deterministic Model for Heterogeneous Embedded Systems Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
60. Specifying Confluent Processes Tardieu, Olivier; Edwards, Stephen A. 2006 Reports Computer science
61. Synthesis of High-Performance Packet Processing Pipelines Soviani, Cristian; Hadzic, Ilija; Edwards, Stephen A. 2006 Articles Computer science
62. The Case for the Precision Timed (PRET) Machine Edwards, Stephen A.; Lee, Edward A. 2006 Articles Computer science
63. The Challenges of Synthesizing Hardware from C-Like Languages Edwards, Stephen A. 2006 Articles Computer science
64. Using Program Specialization to Speed SystemC Fixed-Point Simulation Edwards, Stephen A. 2006 Articles Computer science
65. Adding a Flow-Oriented Paradigm to Commodity Operating Systems Soviani, Cristian; Edwards, Stephen A.; Keromytis, Angelos D. 2005 Articles Computer science
66. Approximate Reachability for Dead Code Elimination in Esterel* Tardieu, Olivier; Edwards, Stephen A. 2005 Articles Computer science
67. Challenges in Synthesizing Fast Control-Dominated Circuits Soviani, Cristian; Edwards, Stephen A. 2005 Articles Computer science
68. Deterministic Receptive Processes are Kahn Processes Edwards, Stephen A.; Tardieu, Olivier 2005 Articles Computer science
69. Experiences Teaching an FPGA-based Embedded Systems Class Edwards, Stephen A. 2005 Articles Science--Study and teachingComputer science
70. High-Level Optimization by Combining Retiming and Shannon Decomposition Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2005 Articles Computer science
71. Incremental Algorithms for Inter-procedural Analysis of Safety Properties Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A. 2005 Articles Computer science
72. Incremental Algorithms for Inter-procedural Analysis of Safety Properties Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A. 2005 Reports Computer science
73. Pointer Analysis for C Programs Through AST Traversal Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Reports Computer science
74. Pointer Analysis for Source-to-Source Transformations Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel 2005 Articles Computer science
75. Separate Compilation for Synchronous Modules Zeng, Jia; Edwards, Stephen A. 2005 Articles Computer science
76. SHIM: A Deterministic Model for Heterogeneous Embedded Systems Edwards, Stephen A.; Tardieu, Olivier 2005 Articles Computer science
77. The Challenge of Hardware Synthesis from C-like Languages Edwards, Stephen A. 2005 Articles Computer science
78. Compiling Esterel into Static Discrete-Event Code Edwards, Stephen A.; Kapadia, Vimal; Halas, Michael 2004 Articles Computer science
80. Determining Interfaces Using Type Inference Li, Chun; Edwards, Stephen A. 2004 Reports Computer science
81. Generating Fast Code from Concurrent Program Dependence Graphs Zeng, Jia; Soviani, Cristian; Edwards, Stephen A. 2004 Articles Computer science
82. Improved Controller Synthesis from Esterel Soviani, Cristian; Zeng, Jia; Edwards, Stephen A. 2004 Reports Computer science
83. NDL: A Domain-Specific Language for Device Drivers Conway, Christopher L.; Edwards, Stephen A. 2004 Articles Computer science
84. Sequential Challenges in Synthesizing Esterel Soviani, Cristian; Zeng, Jia; Edwards, Stephen A. 2004 Reports Computer science
85. SHIM: A Language for Hardware/Software Integration Edwards, Stephen A. 2004 Articles Computer science
86. The Challenges of Hardware Synthesis from C-like Languages Edwards, Stephen A. 2004 Articles Computer science
89. Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development Jan, Stephen; de Dios, Paolo; Edwards, Stephen A. 2003 Articles Computer science
90. The Semantics and Execution of a Synchronous Block-Diagram Language Edwards, Stephen A.; Lee, Edward A. 2003 Articles Computer science
91. The Synchronous Languages 12 Years Later Edwards, Stephen A.; Albert, Benveniste; Caspi, Paul; Halbwachs, Nicolas; Le Guernic, Paul; De Simone, Robert 2003 Articles Computer science
92. Tutorial: Compiling Concurrent Languages for Sequential Processors Edwards, Stephen A. 2003 Articles Computer science
93. CASPER: Compiler-Assisted Securing of Programs at Runtime Kc, Gaurav S.; Edwards, Stephen A.; Kaiser, Gail E. 2002 Reports Computer science
94. Compiling Concurrent Languages for Sequential Processors Edwards, Stephen A. 2001 Reports Computer science