| 2025 | MEMOCODE | Automated Power Domain Insertion and Control in Dataflow Circuits. | Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim |
| 2023 | MEMOCODE | Timestamp Peripherals for Precise Real-Time Programming. | John Hui, Kyle J. Edwards, Stephen A. Edwards |
| 2022 | FPGA | Synthesized Garbage Collection for FPGA Accelerators. | Martha Barker, Stephen A. Edwards, Martha A. Kim |
| 2022 | FPL | Synthesized In-BramGarbage Collection for Accelerators with Immutable Memory. | Martha Barker, Stephen A. Edwards, Martha A. Kim |
| 2022 | MEMOCODE | Creating a Language for Writing Real-Time Applications for the Internet of Things. | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
| 2020 | FDL | The Sparse Synchronous Model. | Stephen A. Edwards, John Hui |
| 2019 | ISCA | Master of none acceleration: a comparison of accelerator architectures for analytical query processing. | Andrea Lottarini, Joo Pedro Cerqueira, Thomas J. Repetti, Stephen A. Edwards, Kenneth A. Ross, Mingoo Seok, Martha A. Kim |
| 2017 | CC | From functional programs to pipelined dataflow circuits. | Richard Townsend, Martha A. Kim, Stephen A. Edwards |
| 2017 | DAC | Network Synthesis for Database Processing Units. | Andrea Lottarini, Stephen A. Edwards, Kenneth A. Ross, Martha A. Kim |
| 2017 | DaMoN | Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator. | Bingyi Cao, Kenneth A. Ross, Stephen A. Edwards, Martha A. Kim |
| 2017 | MEMOCODE | Compositional dataflow circuits. | Stephen A. Edwards, Richard Townsend, Martha A. Kim |
| 2015 | MEMOCODE | Implementing latency-insensitive dataflow blocks. | Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards |
| 2014 | MEMOCODE | MEMOCODE 2014 software design contest: Space Invaders emulator. | Stephen A. Edwards, Hiren D. Patel |
| 2012 | MEMOCODE | MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. | Stephen A. Edwards |
| 2010 | ISCA | Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks. | Martha A. Kim, Stephen A. Edwards |
| 2009 | CC | Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards |
| 2009 | EMSOFT | Compositional deadlock detection for rendezvous communication. | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
| 2009 | ICCD | A disruptive computer design idea: Architectures with repeatable timing. | Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl |
| 2009 | MEMOCODE | Buffer sharing in CSP-like programs. | Nalini Vasudevan, Stephen A. Edwards |
| 2009 | SAC | Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. | Nalini Vasudevan, Stephen A. Edwards |
| 2008 | CASES | Predictable programming on a precision timed architecture. | Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee |
| 2008 | DATE | Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. | Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu |
| 2008 | MEMOCODE | Static Deadlock Detection for the SHIM Concurrent Language. | Nalini Vasudevan, Stephen A. Edwards |
| 2008 | PEPM | Static elaboration of recursion for concurrent software. | Stephen A. Edwards, Jia Zeng |
| 2008 | SAC | Flexible pointer analysis using assign-fetch graphs. | Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards |
| 2007 | DAC | The Case for the Precision Timed (PRET) Machine. | Stephen A. Edwards, Edward A. Lee |
| 2006 | DAC | Synthesis of high-performance packet processing pipelines. | Cristian Soviani, Ilija Hadzic, Stephen A. Edwards |
| 2006 | DATE | Optimizing sequential cycles through Shannon decomposition and retiming. | Cristian Soviani, Olivier Tardieu, Stephen A. Edwards |
| 2006 | EMSOFT | Scheduling-independent threads and exceptions in SHIM. | Olivier Tardieu, Stephen A. Edwards |
| 2006 | EUC | A Processor Extension for Cycle-Accurate Real-Time Software. | Nicholas Jun Hao Ip, Stephen A. Edwards |
| 2006 | MEMOCODE | R-SHIM: deterministic concurrency with recursion and shared variables. | Olivier Tardieu, Stephen A. Edwards |
| 2006 | PEPM | Using program specialization to speed SystemC fixed-point simulation. | Stephen A. Edwards |
| 2005 | ATVA | Approximate Reachability for Dead Code Elimination in Esterel. | Olivier Tardieu, Stephen A. Edwards |
| 2005 | CAV | Incremental Algorithms for Inter-procedural Analysis of Safety Properties. | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
| 2005 | DATE | The Challenges of Hardware Synthesis from C-Like Languages. | Stephen A. Edwards |
| 2005 | EMSOFT | SHIM: a deterministic model for heterogeneous embedded systems. | Stephen A. Edwards, Olivier Tardieu |
| 2005 | MEMOCODE | Deterministic receptive processes are Kahn processes. | Stephen A. Edwards, Olivier Tardieu |
| 2005 | SCAM | Pointer Analysis for Source-to-Source Transformations. | Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington |
| 2003 | DAC | Making cyclic circuits acyclic. | Stephen A. Edwards |
| 2003 | DATE | Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development. | Stephen Jan, Paolo de Dios, Stephen A. Edwards |
| 2003 | VLSID | High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. | Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta |
| 2000 | DAC | Compiling Esterel into sequential code. | Stephen A. Edwards |
| 1998 | VLSID | Efficient Verification and Synthesis using Design Commonalities. | Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |