Остановите войну!
for scientists:
default search action
Stephen A. Edwards
- > Home > Persons > Stephen A. Edwards
Publications
- 2023
- [c64]Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman:
Logical Time for Reactive Software. CPS-IoT Week Workshops 2023: 313-318 - [c63]John Hui, Stephen A. Edwards:
Towards Sparse Synchronous Programming in Lua. CPS-IoT Week Workshops 2023: 361-366 - [c62]John Hui, Kyle J. Edwards, Stephen A. Edwards:
Timestamp Peripherals for Precise Real-Time Programming. MEMOCODE 2023: 137-147 - [e3]Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu:
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. ACM / IEEE 2023, ISBN 979-8-4007-0318-8 [contents] - 2022
- [c59]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: 1-20 - 2020
- [c57]Stephen A. Edwards, John Hui:
The Sparse Synchronous Model. FDL 2020: 1-8 - 2014
- [c47]Stephen A. Edwards, Hiren D. Patel:
MEMOCODE 2014 software design contest: Space Invaders emulator. MEMOCODE 2014: 185 - 2013
- [i6]Stephen A. Edwards, Alain Girault, Klaus Schneider:
Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports 3(11): 117-143 (2013) - 2010
- [j13]Nalini Vasudevan, Stephen A. Edwards:
Buffer Sharing in Rendezvous Programs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 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 - [p3]Stephen A. Edwards, Nalini Vasudevan:
Compiling SHIM. Synthesis of Embedded Software 2010: 121-146 - 2009
- [j12]Cristian Soviani, Ilija Hadzic, Stephen A. Edwards:
Synthesis and Optimization of Pipelined Packet Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 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]Nalini Vasudevan, Stephen A. Edwards:
Buffer sharing in CSP-like programs. MEMOCODE 2009: 151-160 - [c38]Nalini Vasudevan, Stephen A. Edwards:
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC 2009: 1626-1631 - [e2]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i5]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 2009 - 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]Stephen A. Edwards, Jia Zeng:
Static elaboration of recursion for concurrent software. PEPM 2008: 71-80 - 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 - [j10]Stephen A. Edwards, Jia Zeng:
Code Generation in the Columbia Esterel Compiler. EURASIP J. Embed. Syst. 2007 (2007) - [j9]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): 456-467 (2007) - [c30]Stephen A. Edwards, Edward A. Lee:
The Case for the Precision Timed (PRET) Machine. DAC 2007: 264-265 - [c29]Olivier Tardieu, Stephen A. Edwards:
Instantaneous Transitions in Esterel. SLA++P@ETAPS 2007: 49-64 - 2006
- [j7]Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 14(8): 854-867 (2006) - [c28]Cristian Soviani, Ilija Hadzic, Stephen A. Edwards:
Synthesis of high-performance packet processing pipelines. DAC 2006: 679-682 - [c27]Cristian Soviani, Olivier Tardieu, Stephen A. Edwards:
Optimizing sequential cycles through Shannon decomposition and retiming. DATE 2006: 1085-1090 - [c26]Olivier Tardieu, Stephen A. Edwards:
Scheduling-independent threads and exceptions in SHIM. EMSOFT 2006: 142-151 - [c23]Stephen A. Edwards, Olivier Tardieu:
Efficient code generation from SHIM models. LCTES 2006: 125-134 - [c22]Olivier Tardieu, Stephen A. Edwards:
R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202 - [c20]Jia Zeng, Chuck Mitchell, Stephen A. Edwards:
A Domain-Specific Language for Generating Dataflow Analyzers. LDTA@ETAPS 2006: 103-119 - 2005
- [c19]Olivier Tardieu, Stephen A. Edwards:
Approximate Reachability for Dead Code Elimination in Esterel. ATVA 2005: 323-337 - [c18]Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards:
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461 - [c16]Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT 2005: 264-272 - [c15]Jia Zeng, Stephen A. Edwards:
Separate Compilation for Synchronous Modules. ICESS 2005: 129-140 - [c14]Stephen A. Edwards, Olivier Tardieu:
Deterministic receptive processes are Kahn processes. MEMOCODE 2005: 37-44 - [e1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [c12]Christopher L. Conway, Stephen A. Edwards:
NDL: a domain-specific language for device drivers. LCTES 2004: 30-36 - [c11]Jia Zeng, Cristian Soviani, Stephen A. Edwards:
Generating fast code from concurrent program dependence graphs. LCTES 2004: 175-181 - [i2]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - [i1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - 2003
- [j5]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): 64-83 (2003) - [j4]Stephen A. Edwards, Edward A. Lee:
The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1): 21-42 (2003) - [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 - 1998
- [c3]Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton:
Efficient Verification and Synthesis using Design Commonalities. VLSI Design 1998: 542-551 - 1997
- [j1]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): 366-390 (1997) - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-12-17 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint