Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stephen A. Edwards
2010 – today
- 2012
[j18]Lisa Wu, Martha A. Kim, Stephen A. Edwards: Cache Impacts of Datatype Acceleration. Computer Architecture Letters 11(1): 21-24 (2012)- [c46]Stephen A. Edwards: MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. MEMOCODE 2012: 85-90
- 2011
- [j17]
- 2010
- [j16]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)
- [j15]Nalini Vasudevan, Stephen A. Edwards: Buffer Sharing in Rendezvous Programs. IEEE Trans. on CAD of Integrated Circuits and Systems 29(10): 1471-1480 (2010)
- [c45]Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards: Simple and fast biased locks. PACT 2010: 65-74
- [c44]Nalini Vasudevan, Stephen A. Edwards: Ensuring deterministic concurrency through compilation. IPDPS Workshops 2010: 1-4
- [c43]Martha A. Kim, Stephen A. Edwards: Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks. ISCA Workshops 2010: 86-98
2000 – 2009
- 2009
- [j14]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)
- [c42]Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62
- [c41]Baolin Shao, Nalini Vasudevan, Stephen A. Edwards: Compositional deadlock detection for rendezvous communication. EMSOFT 2009: 59-66
- [c40]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
- [c39]
- [c38]Nalini Vasudevan, Stephen A. Edwards: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC 2009: 1626-1631
- [c37]Stephen A. Edwards: Concurrency and Communication: Lessons from the SHIM Project. SEUS 2009: 276-287
- [p1]Stephen A. Edwards: Languages for Design and Verification. Embedded Systems Design and Verification 2009: 5
- 2008
- [j13]Olivier Tardieu, Stephen A. Edwards: Instantaneous Transitions in Esterel. Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008)
- [j12]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)
- [c36]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
- [c35]Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503
- [c34]Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12
- [c33]Nalini Vasudevan, Stephen A. Edwards: Static Deadlock Detection for the SHIM Concurrent Language. MEMOCODE 2008: 49-58
- [c32]
- [c31]Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards: Flexible pointer analysis using assign-fetch graphs. SAC 2008: 234-239
- 2007
- [b1]Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry: Compiling Esterel. Springer 2007, ISBN 978-0-387-70626-9, pp. I-XXI, 1-335
- [j11]Stephen A. Edwards, Jia Zeng: Code Generation in the Columbia Esterel Compiler. EURASIP J. Emb. Sys. 2007 (2007)
- [j10]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)
- [c30]Stephen A. Edwards, Edward A. Lee: The Case for the Precision Timed (PRET) Machine. DAC 2007: 264-265
- [i1]Stephen A. Edwards: The Challenges of Hardware Synthesis from C-Like Languages. CoRR abs/0710.4683 (2007)
- 2006
- [j9]Stephen A. Edwards: The Challenges of Synthesizing Hardware from C-Like Languages. IEEE Design & Test of Computers 23(5): 375-386 (2006)
- [j8]Stephen A. Edwards, Vimal Kapadia, Michael Halasz: Compiling Esterel into Static Discrete-Event Code. Electr. Notes Theor. Comput. Sci. 153(4): 117-131 (2006)
- [j7]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)
- [j6]Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. VLSI Syst. 14(8): 854-867 (2006)
- [c29]Cristian Soviani, Ilija Hadzic, Stephen A. Edwards: Synthesis of high-performance packet processing pipelines. DAC 2006: 679-682
- [c28]Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing sequential cycles through Shannon decomposition and retiming. DATE 2006: 1085-1090
- [c27]Olivier Tardieu, Stephen A. Edwards: Scheduling-independent threads and exceptions in SHIM. EMSOFT 2006: 142-151
- [c26]Nicholas Jun Hao Ip, Stephen A. Edwards: A Processor Extension for Cycle-Accurate Real-Time Software. EUC 2006: 449-458
- [c25]Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308
- [c24]Stephen A. Edwards, Olivier Tardieu: Efficient code generation from SHIM models. LCTES 2006: 125-134
- [c23]Olivier Tardieu, Stephen A. Edwards: R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202
- [c22]Stephen A. Edwards: Using program specialization to speed SystemC fixed-point simulation. PEPM 2006: 21-28
- 2005
- [j5]Stephen A. Edwards: Experiences teaching an FPGA-based embedded systems class. SIGBED Review 2(4): 56-62 (2005)
- [c21]Olivier Tardieu, Stephen A. Edwards: Approximate Reachability for Dead Code Elimination in Esterel. ATVA 2005: 323-337
- [c20]Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461
- [c19]
- [c18]Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT 2005: 264-272
- [c17]
- [c16]Stephen A. Edwards, Olivier Tardieu: Deterministic receptive processes are Kahn processes. MEMOCODE 2005: 37-44
- [c15]Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington: Pointer Analysis for Source-to-Source Transformations. SCAM 2005: 139-150
- [e1]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
- 2004
- [c14]
- [c13]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c12]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c11]Christopher L. Conway, Stephen A. Edwards: NDL: a domain-specific language for device drivers. LCTES 2004: 30-36
- [c10]Jia Zeng, Cristian Soviani, Stephen A. Edwards: Generating fast code from concurrent program dependence graphs. LCTES 2004: 175-181
- 2003
- [j4]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)
- [j3]Stephen A. Edwards, Edward A. Lee: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1): 21-42 (2003)
- [j2]Stephen A. Edwards: Tutorial: Compiling concurrent languages for sequential processors. ACM Trans. Design Autom. Electr. Syst. 8(2): 141-187 (2003)
- [c9]
- [c8]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
- [c7]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
- 2002
- [j1]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)
- [c6]
- 2000
- [c5]
1990 – 1999
- 1999
- [c4]
- 1998
- [c3]Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton: Efficient Verification and Synthesis using Design Commonalities. VLSI Design 1998: 542-551
- 1996
- [c2]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
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team