Stephen A. Edwards

Lisa Wu, Martha A. Kim, Stephen A. Edwards: Cache Impacts of Datatype Acceleration. Computer Architecture Letters 11(1): 21-24 (2012)

Stephen A. Edwards: MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. MEMOCODE 2012: 85-90

Stephen A. Edwards, Ryszard Janicki, Walter Vogler: Preface. Fundam. Inform. 108(1-2) (2011)

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): 921-942 (2010)

Nalini Vasudevan, Stephen A. Edwards: Buffer Sharing in Rendezvous Programs. IEEE Trans. on CAD of Integrated Circuits and Systems 29(10): 1471-1480 (2010)

Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards: Simple and fast biased locks. PACT 2010: 65-74

Nalini Vasudevan, Stephen A. Edwards: Ensuring deterministic concurrency through compilation. IPDPS Workshops 2010: 1-4

Martha A. Kim, Stephen A. Edwards: Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks. ISCA Workshops 2010: 86-98

Cristian Soviani, Ilija Hadzic, Stephen A. Edwards: Synthesis and Optimization of Pipelined Packet Processors. IEEE Trans. on CAD of Integrated Circuits and Systems 28(2): 231-244 (2009)

Stephen A. Edwards: Languages for Design and Verification. Embedded Systems Design and Verification 2009: 5

Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62

Baolin Shao, Nalini Vasudevan, Stephen A. Edwards: Compositional deadlock detection for rendezvous communication. EMSOFT 2009: 59-66

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: 54-59

Nalini Vasudevan, Stephen A. Edwards: Buffer sharing in CSP-like programs. MEMOCODE 2009: 151-160

Nalini Vasudevan, Stephen A. Edwards: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC 2009: 1626-1631

Stephen A. Edwards: Concurrency and Communication: Lessons from the SHIM Project. SEUS 2009: 276-287

Olivier Tardieu, Stephen A. Edwards: Instantaneous Transitions in Esterel. Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008)

Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1775-1787 (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: 137-146

Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503

Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12

Nalini Vasudevan, Stephen A. Edwards: Static Deadlock Detection for the SHIM Concurrent Language. MEMOCODE 2008: 49-58

Stephen A. Edwards, Jia Zeng: Static elaboration of recursion for concurrent software. PEPM 2008: 71-80

Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards: Flexible pointer analysis using assign-fetch graphs. SAC 2008: 234-239

Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry: Compiling Esterel. Springer 2007, isbn 978-0-387-70626-9, pp. I-XXI, 1-335

Stephen A. Edwards, Jia Zeng: Code Generation in the Columbia Esterel Compiler. EURASIP J. Emb. Sys. 2007 (2007)

Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing Sequential Cycles Through Shannon Decomposition and Retiming. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 456-467 (2007)

Stephen A. Edwards, Edward A. Lee: The Case for the Precision Timed (PRET) Machine. DAC 2007: 264-265

Stephen A. Edwards: The Challenges of Hardware Synthesis from C-Like Languages. CoRR abs/0710.4683 (2007)

Stephen A. Edwards: The Challenges of Synthesizing Hardware from C-Like Languages. IEEE Design & Test of Computers 23(5): 375-386 (2006)

Stephen A. Edwards, Vimal Kapadia, Michael Halasz: Compiling Esterel into Static Discrete-Event Code. Electr. Notes Theor. Comput. Sci. 153(4): 117-131 (2006)

Jia Zeng, Chuck Mitchell, Stephen A. Edwards: A Domain-Specific Language for Generating Dataflow Analyzers. Electr. Notes Theor. Comput. Sci. 164(2): 103-119 (2006)

Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. VLSI Syst. 14(8): 854-867 (2006)

Cristian Soviani, Ilija Hadzic, Stephen A. Edwards: Synthesis of high-performance packet processing pipelines. DAC 2006: 679-682

Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing sequential cycles through Shannon decomposition and retiming. DATE 2006: 1085-1090

Olivier Tardieu, Stephen A. Edwards: Scheduling-independent threads and exceptions in SHIM. EMSOFT 2006: 142-151

Nicholas Jun Hao Ip, Stephen A. Edwards: A Processor Extension for Cycle-Accurate Real-Time Software. EUC 2006: 449-458

Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308

Stephen A. Edwards, Olivier Tardieu: Efficient code generation from SHIM models. LCTES 2006: 125-134

Olivier Tardieu, Stephen A. Edwards: R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202

Stephen A. Edwards: Using program specialization to speed SystemC fixed-point simulation. PEPM 2006: 21-28

Stephen A. Edwards: Experiences teaching an FPGA-based embedded systems class. SIGBED Review 2(4): 56-62 (2005)

Olivier Tardieu, Stephen A. Edwards: Approximate Reachability for Dead Code Elimination in Esterel. ATVA 2005: 323-337

Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461

Stephen A. Edwards: The Challenges of Hardware Synthesis from C-Like Languages. DATE 2005: 66-67

Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT 2005: 264-272

Jia Zeng, Stephen A. Edwards: Separate Compilation for Synchronous Modules. ICESS 2005: 129-140

Stephen A. Edwards, Olivier Tardieu: Deterministic receptive processes are Kahn processes. MEMOCODE 2005: 37-44

Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington: Pointer Analysis for Source-to-Source Transformations. SCAM 2005: 139-150

Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner (Eds.): Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005

Stephen A. Edwards: SHIM: A Language for Hardware/Software Integration. SYNCHRON 2004

Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004

Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004

Christopher L. Conway, Stephen A. Edwards: NDL: a domain-specific language for device drivers. LCTES 2004: 30-36

Jia Zeng, Cristian Soviani, Stephen A. Edwards: Generating fast code from concurrent program dependence graphs. LCTES 2004: 175-181

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone: The synchronous languages 12 years later. Proceedings of the IEEE 91(1): 64-83 (2003)

Stephen A. Edwards, Edward A. Lee: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1): 21-42 (2003)

Stephen A. Edwards: Tutorial: Compiling concurrent languages for sequential processors. ACM Trans. Design Autom. Electr. Syst. 8(2): 141-187 (2003)

Stephen A. Edwards: Making cyclic circuits acyclic. DAC 2003: 159-162

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: 20150-20157

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: 9-14

Stephen A. Edwards: An Esterel compiler for large control-dominated systems. IEEE Trans. on CAD of Integrated Circuits and Systems 21(2): 169-183 (2002)

Stephen A. Edwards: High-Level Synthesis from the Synchronous Language Esterel. IWLS 2002: 401-406

Stephen A. Edwards: Compiling Esterel into sequential code. DAC 2000: 322-327

Stephen A. Edwards: Compiling Esterel into sequential code. CODES 1999: 147-151

Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton: Efficient Verification and Synthesis using Design Commonalities. VLSI Design 1998: 542-551

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: 428-432

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: 248-256