| 2009 |
|---|
| 52 | EE | Nalini Vasudevan,
Olivier Tardieu,
Julian Dolby,
Stephen A. Edwards:
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.
CC 2009: 48-62 |
| 51 | EE | Nalini Vasudevan,
Stephen A. Edwards:
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.
SAC 2009: 1626-1631 |
| 50 | EE | 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) |
| 2008 |
|---|
| 49 | EE | 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 |
| 48 | EE | Stephen A. Edwards,
Nalini Vasudevan,
Olivier Tardieu:
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.
DATE 2008: 1498-1503 |
| 47 | EE | Nalini Vasudevan,
Satnam Singh,
Stephen A. Edwards:
A deterministic multi-way rendezvous library for haskell.
IPDPS 2008: 1-12 |
| 46 | EE | Nalini Vasudevan,
Stephen A. Edwards:
Static Deadlock Detection for the SHIM Concurrent Language.
MEMOCODE 2008: 49-58 |
| 45 | EE | Stephen A. Edwards,
Jia Zeng:
Static elaboration of recursion for concurrent software.
PEPM 2008: 71-80 |
| 44 | EE | Marcio Buss,
Daniel Brand,
Vugranam C. Sreedhar,
Stephen A. Edwards:
Flexible pointer analysis using assign-fetch graphs.
SAC 2008: 234-239 |
| 43 | EE | Olivier Tardieu,
Stephen A. Edwards:
Instantaneous Transitions in Esterel.
Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008) |
| 42 | EE | 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) |
| 2007 |
|---|
| 41 | EE | Stephen A. Edwards,
Edward A. Lee:
The Case for the Precision Timed (PRET) Machine.
DAC 2007: 264-265 |
| 40 | EE | Stephen A. Edwards:
The Challenges of Hardware Synthesis from C-Like Languages
CoRR abs/0710.4683: (2007) |
| 39 | EE | 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) |
| 2006 |
|---|
| 38 | EE | Cristian Soviani,
Ilija Hadzic,
Stephen A. Edwards:
Synthesis of high-performance packet processing pipelines.
DAC 2006: 679-682 |
| 37 | EE | Cristian Soviani,
Olivier Tardieu,
Stephen A. Edwards:
Optimizing sequential cycles through Shannon decomposition and retiming.
DATE 2006: 1085-1090 |
| 36 | EE | Olivier Tardieu,
Stephen A. Edwards:
Scheduling-independent threads and exceptions in SHIM.
EMSOFT 2006: 142-151 |
| 35 | EE | Nicholas Jun Hao Ip,
Stephen A. Edwards:
A Processor Extension for Cycle-Accurate Real-Time Software.
EUC 2006: 449-458 |
| 34 | EE | Osama Neiroukh,
Stephen A. Edwards,
Xiaoyu Song:
An Efficient Algorithm for the Analysis of Cyclic Circuits.
ISVLSI 2006: 303-308 |
| 33 | EE | Stephen A. Edwards,
Olivier Tardieu:
Efficient code generation from SHIM models.
LCTES 2006: 125-134 |
| 32 | EE | Olivier Tardieu,
Stephen A. Edwards:
R-SHIM: deterministic concurrency with recursion and shared variables.
MEMOCODE 2006: 202 |
| 31 | EE | Stephen A. Edwards:
Using program specialization to speed SystemC fixed-point simulation.
PEPM 2006: 21-28 |
| 30 | EE | Stephen A. Edwards,
Vimal Kapadia,
Michael Halasz:
Compiling Esterel into Static Discrete-Event Code.
Electr. Notes Theor. Comput. Sci. 153(4): 117-131 (2006) |
| 29 | EE | 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) |
| 28 | EE | Stephen A. Edwards:
The Challenges of Synthesizing Hardware from C-Like Languages.
IEEE Design & Test of Computers 23(5): 375-386 (2006) |
| 27 | EE | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
IEEE Trans. VLSI Syst. 14(8): 854-867 (2006) |
| 2005 |
|---|
| 26 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 25 | EE | Olivier Tardieu,
Stephen A. Edwards:
Approximate Reachability for Dead Code Elimination in Esterel.
ATVA 2005: 323-337 |
| 24 | EE | Christopher L. Conway,
Kedar S. Namjoshi,
Dennis Dams,
Stephen A. Edwards:
Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
CAV 2005: 449-461 |
| 23 | EE | Stephen A. Edwards:
The Challenges of Hardware Synthesis from C-Like Languages.
DATE 2005: 66-67 |
| 22 | EE | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
EMSOFT 2005: 264-272 |
| 21 | EE | Jia Zeng,
Stephen A. Edwards:
Separate Compilation for Synchronous Modules.
ICESS 2005: 129-140 |
| 20 | EE | Stephen A. Edwards,
Olivier Tardieu:
Deterministic receptive processes are Kahn processes.
MEMOCODE 2005: 37-44 |
| 19 | EE | Marcio Buss,
Stephen A. Edwards,
Bin Yao,
Dan G. Waddington:
Pointer Analysis for Source-to-Source Transformations.
SCAM 2005: 139-150 |
| 2004 |
|---|
| 18 | EE | Jia Zeng,
Cristian Soviani,
Stephen A. Edwards:
Generating fast code from concurrent program dependence graphs.
LCTES 2004: 175-181 |
| 17 | EE | Christopher L. Conway,
Stephen A. Edwards:
NDL: a domain-specific language for device drivers.
LCTES 2004: 30-36 |
| 16 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 15 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 14 | EE | Stephen A. Edwards:
SHIM: A Language for Hardware/Software Integration.
SYNCHRON 2004 |
| 2003 |
|---|
| 13 | EE | Stephen A. Edwards:
Making cyclic circuits acyclic.
DAC 2003: 159-162 |
| 12 | EE | 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 |
| 11 | EE | 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 |
| 10 | EE | Stephen A. Edwards:
Tutorial: Compiling concurrent languages for sequential processors.
ACM Trans. Design Autom. Electr. Syst. 8(2): 141-187 (2003) |
| 9 | | 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) |
| 8 | EE | Stephen A. Edwards,
Edward A. Lee:
The semantics and execution of a synchronous block-diagram language.
Sci. Comput. Program. 48(1): 21-42 (2003) |
| 2002 |
|---|
| 7 | | Stephen A. Edwards:
High-Level Synthesis from the Synchronous Language Esterel.
IWLS 2002: 401-406 |
| 6 | EE | 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) |
| 2000 |
|---|
| 5 | EE | Stephen A. Edwards:
Compiling Esterel into sequential code.
DAC 2000: 322-327 |
| 1999 |
|---|
| 4 | EE | Stephen A. Edwards:
Compiling Esterel into sequential code.
CODES 1999: 147-151 |
| 1998 |
|---|
| 3 | EE | Gitanjali Swamy,
Stephen A. Edwards,
Robert K. Brayton:
Efficient Verification and Synthesis using Design Commonalities.
VLSI Design 1998: 542-551 |
| 1996 |
|---|
| 2 | | 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 |
| 1 | | 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 |
