Stephen A. Edwards

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 16

Top Topics

Embedded Systems

Functional Programs

Top Venues

CPS-IoT Week Workshops

ACM Trans. Embed. Comput. Syst.

Publications

Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman
Logical Time for Reactive Software. CPS-IoT Week Workshops (2023)
John Hui, Kyle J. Edwards, Stephen A. Edwards
Timestamp Peripherals for Precise Real-Time Programming. MEMOCODE (2023)
John Hui, Stephen A. Edwards
Towards Sparse Synchronous Programming in Lua. CPS-IoT Week Workshops (2023)
Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen
Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE (2022)
Martha Barker, Stephen A. Edwards, Martha A. Kim
Synthesized Garbage Collection for FPGA Accelerators. FPGA (2022)
Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards
C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. MILCOM (2022)
Martha Barker, Stephen A. Edwards, Martha A. Kim
Synthesized In-BramGarbage Collection for Accelerators with Immutable Memory. FPL (2022)
Stephen A. Edwards, John Hui
The Sparse Synchronous Model. FDL (2020)
Stephen A. Edwards, Richard Townsend, Martha Barker, Martha A. Kim
Compositional Dataflow Circuits. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Andrea Lottarini, João Pedro Cerqueira, Thomas J. Repetti, Stephen A. Edwards, Kenneth A. Ross, Mingoo Seok, Martha A. Kim
Master of none acceleration: a comparison of accelerator architectures for analytical query processing. ISCA (2019)
Stephen A. Edwards
Further Experiences Teaching an FPGA-Based Embedded Systems Class. CyPhy/WESE (2018)
Stephen A. Edwards
On Determinism. Principles of Modeling (2018)
Richard Townsend, Martha A. Kim, Stephen A. Edwards
From functional programs to pipelined dataflow circuits. CC (2017)
Andrea Lottarini, Stephen A. Edwards, Kenneth A. Ross, Martha A. Kim
Network Synthesis for Database Processing Units. DAC (2017)
Bingyi Cao, Kenneth A. Ross, Stephen A. Edwards, Martha A. Kim
Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator. DaMoN (2017)
Stephen A. Edwards, Richard Townsend, Martha A. Kim
Compositional dataflow circuits. MEMOCODE (2017)
Kuangya Zhai, Richard Townsend, Lianne Lairmore, Martha A. Kim, Stephen A. Edwards
Hardware synthesis from a recursive functional language. CODES+ISSS (2015)
Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards
Implementing latency-insensitive dataflow blocks. MEMOCODE (2015)
Stephen A. Edwards, Hiren D. Patel
MEMOCODE 2014 software design contest: Space Invaders emulator. MEMOCODE (2014)
Stephen A. Edwards, Alain Girault, Klaus Schneider
Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports 3 (11) (2013)
Lisa Wu, Martha A. Kim, Stephen A. Edwards
Cache Impacts of Datatype Acceleration. IEEE Comput. Archit. Lett. 11 (1) (2012)
Stephen A. Edwards
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. MEMOCODE (2012)
Stephen A. Edwards, Ryszard Janicki, Walter Vogler
Preface. Fundam. Informaticae 108 (1-2) (2011)
Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards
Simple and fast biased locks. PACT (2010)
Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards
A novel analysis space for pointer analysis and its application for bug finding. Sci. Comput. Program. 75 (11) (2010)
Martha A. Kim, Stephen A. Edwards
Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks. ISCA Workshops (2010)
Nalini Vasudevan, Stephen A. Edwards
Ensuring deterministic concurrency through compilation. IPDPS Workshops (2010)
Nalini Vasudevan, Stephen A. Edwards
Buffer Sharing in Rendezvous Programs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Nalini Vasudevan, Stephen A. Edwards
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC (2009)
Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl
A disruptive computer design idea: Architectures with repeatable timing. ICCD (2009)
Stephen A. Edwards
Concurrency and Communication: Lessons from the SHIM Project. SEUS (2009)
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
Compositional deadlock detection for rendezvous communication. EMSOFT (2009)
Nalini Vasudevan, Stephen A. Edwards
Buffer sharing in CSP-like programs. MEMOCODE (2009)
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC (2009)
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
Synthesis and Optimization of Pipelined Packet Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (2) (2009)
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 (2009)
Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE (2008)
Nalini Vasudevan, Stephen A. Edwards
Static Deadlock Detection for the SHIM Concurrent Language. MEMOCODE (2008)
Stephen A. Edwards, Jia Zeng
Static elaboration of recursion for concurrent software. PEPM (2008)
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards
A deterministic multi-way rendezvous library for haskell. IPDPS (2008)
Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards
Flexible pointer analysis using assign-fetch graphs. SAC (2008)
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee
Predictable programming on a precision timed architecture. CASES (2008)
Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (10) (2008)
Olivier Tardieu, Stephen A. Edwards
Instantaneous Transitions in Esterel. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Stephen A. Edwards, Jia Zeng
Code Generation in the Columbia Esterel Compiler. EURASIP J. Embed. Syst. 2007 (2007)
Cristian Soviani, Olivier Tardieu, Stephen A. Edwards
Optimizing Sequential Cycles Through Shannon Decomposition and Retiming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (3) (2007)
Stephen A. Edwards, Edward A. Lee
The Case for the Precision Timed (PRET) Machine. DAC (2007)
Stephen A. Edwards
The Challenges of Hardware Synthesis from C-Like Languages CoRR (2007)
Stephen A. Edwards
The Challenges of Synthesizing Hardware from C-Like Languages. IEEE Des. Test Comput. 23 (5) (2006)
Olivier Tardieu, Stephen A. Edwards
R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE (2006)
Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI (2006)
Olivier Tardieu, Stephen A. Edwards
Scheduling-independent threads and exceptions in SHIM. EMSOFT (2006)
Nicholas Jun Hao Ip, Stephen A. Edwards
A Processor Extension for Cycle-Accurate Real-Time Software. EUC (2006)
Stephen A. Edwards, Olivier Tardieu
SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 14 (8) (2006)
Stephen A. Edwards
Using program specialization to speed SystemC fixed-point simulation. PEPM (2006)
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
Synthesis of high-performance packet processing pipelines. DAC (2006)
Cristian Soviani, Olivier Tardieu, Stephen A. Edwards
Optimizing sequential cycles through Shannon decomposition and retiming. DATE (2006)
Stephen A. Edwards, Olivier Tardieu
Efficient code generation from SHIM models. LCTES (2006)
Stephen A. Edwards, Vimal Kapadia, Michael Halasz
Compiling Esterel into Static Discrete-Event Code. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Jia Zeng, Chuck Mitchell, Stephen A. Edwards
A Domain-Specific Language for Generating Dataflow Analyzers. Electron. Notes Theor. Comput. Sci. 164 (2) (2006)
Stephen A. Edwards, Olivier Tardieu
SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT (2005)
Jia Zeng, Stephen A. Edwards
Separate Compilation for Synchronous Modules. ICESS (2005)
Stephen A. Edwards
The Challenges of Hardware Synthesis from C-Like Languages. DATE (2005)
Olivier Tardieu, Stephen A. Edwards
Approximate Reachability for Dead Code Elimination in Esterel. ATVA (2005)
Stephen A. Edwards
Experiences teaching an FPGA-based embedded systems class. SIGBED Rev. 2 (4) (2005)
Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington
Pointer Analysis for Source-to-Source Transformations. SCAM (2005)
Stephen A. Edwards, Olivier Tardieu
Deterministic receptive processes are Kahn processes. MEMOCODE (2005)
Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV (2005)
Stephen A. Edwards
SHIM: A Language for Hardware/Software Integration. SYNCHRON (2004)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON (2004)
Christopher L. Conway, Stephen A. Edwards
NDL: a domain-specific language for device drivers. LCTES (2004)
Jia Zeng, Cristian Soviani, Stephen A. Edwards
Generating fast code from concurrent program dependence graphs. LCTES (2004)
Stephen A. Edwards
Making cyclic circuits acyclic. DAC (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. Proc. IEEE 91 (1) (2003)
Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. VLSI Design (2003)
Stephen A. Edwards, Edward A. Lee
The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48 (1) (2003)
Stephen A. Edwards
Tutorial: Compiling concurrent languages for sequential processors. ACM Trans. Design Autom. Electr. Syst. 8 (2) (2003)
Stephen Jan, Paolo de Dios, Stephen A. Edwards
Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development. DATE (2003)
Stephen A. Edwards
An Esterel compiler for large control-dominated systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (2) (2002)
Stephen A. Edwards
High-Level Synthesis from the Synchronous Language Esterel. IWLS (2002)
Stephen A. Edwards
Compiling Esterel into sequential code. DAC (2000)
Stephen A. Edwards
Compiling Esterel into sequential code. CODES (1999)
Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton
Efficient Verification and Synthesis using Design Commonalities. VLSI Design (1998)
Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85 (3) (1997)
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
VIS: A System for Verification and Synthesis. CAV (1996)
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
VIS. FMCAD (1996)