Stephen A. Edwards

97 papers A* 8A 6B 9C 19Misc 9Journal 20Unranked 19

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