default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephen A. Edwards
Person information
- affiliation: Columbia University, New York City, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j18]John Hui
, Stephen A. Edwards:
The Sparse Synchronous Model on Real Hardware. ACM Trans. Embed. Comput. Syst. 23(5): 69:1-69:30 (2024)- 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
- [c61]Martha Barker, Stephen A. Edwards, Martha A. Kim:
Synthesized Garbage Collection for FPGA Accelerators. FPGA 2022: 53 - [c60]Martha Barker, Stephen A. Edwards, Martha A. Kim:
Synthesized In-BramGarbage Collection for Accelerators with Immutable Memory. FPL 2022: 47-53 - [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 - [c58]Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards:
C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. MILCOM 2022: 285-291 - 2020
- [c57]Stephen A. Edwards, John Hui:
The Sparse Synchronous Model. FDL 2020: 1-8
2010 – 2019
- 2019
- [j17]Stephen A. Edwards, Richard Townsend, Martha Barker, Martha A. Kim:
Compositional Dataflow Circuits. ACM Trans. Embed. Comput. Syst. 18(1): 5:1-5:27 (2019) - [c56]Andrea Lottarini, João Pedro Cerqueira, Thomas J. Repetti, Stephen A. Edwards, Kenneth A. Ross, Mingoo Seok, Martha A. Kim:
Master of none acceleration: a comparison of accelerator architectures for analytical query processing. ISCA 2019: 762-773 - 2018
- [c55]Stephen A. Edwards:
On Determinism. Principles of Modeling 2018: 240-253 - [c54]Stephen A. Edwards:
Further Experiences Teaching an FPGA-Based Embedded Systems Class. CyPhy/WESE 2018: 222-230 - 2017
- [c53]Richard Townsend, Martha A. Kim, Stephen A. Edwards:
From functional programs to pipelined dataflow circuits. CC 2017: 76-86 - [c52]Andrea Lottarini, Stephen A. Edwards, Kenneth A. Ross, Martha A. Kim:
Network Synthesis for Database Processing Units. DAC 2017: 90:1-90:6 - [c51]Bingyi Cao, Kenneth A. Ross, Stephen A. Edwards, Martha A. Kim:
Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator. DaMoN 2017: 5:1-5:8 - [c50]Stephen A. Edwards, Richard Townsend, Martha A. Kim:
Compositional dataflow circuits. MEMOCODE 2017: 175-184 - 2015
- [c49]Kuangya Zhai, Richard Townsend, Lianne Lairmore, Martha A. Kim, Stephen A. Edwards:
Hardware synthesis from a recursive functional language. CODES+ISSS 2015: 83-93 - [c48]Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards:
Implementing latency-insensitive dataflow blocks. MEMOCODE 2015: 179-187 - 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) - 2012
- [j16]Lisa Wu, Martha A. Kim, Stephen A. Edwards:
Cache Impacts of Datatype Acceleration. IEEE Comput. Archit. Lett. 11(1): 21-24 (2012) - [c46]Stephen A. Edwards:
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. MEMOCODE 2012: 85-90 - 2011
- [j15]Stephen A. Edwards, Ryszard Janicki, Walter Vogler:
Preface. Fundam. Informaticae 108(1-2) (2011) - 2010
- [j14]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) - [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 - [c43]Martha A. Kim, Stephen A. Edwards:
Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks. ISCA Workshops 2010: 86-98 - [p3]Stephen A. Edwards, Nalini Vasudevan:
Compiling SHIM. Synthesis of Embedded Software 2010: 121-146
2000 – 2009
- 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 - [c37]Stephen A. Edwards:
Concurrency and Communication: Lessons from the SHIM Project. SEUS 2009: 276-287 - [p2]Stephen A. Edwards:
Languages for Design and Verification. Embedded Systems Design and Verification 2009: 5 - [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
- [j11]Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song:
Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 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]Stephen A. Edwards, Jia Zeng:
Static elaboration of recursion for concurrent software. PEPM 2008: 71-80 - [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 - [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 - [i4]Stephen A. Edwards:
The Challenges of Hardware Synthesis from C-Like Languages. CoRR abs/0710.4683 (2007) - 2006
- [j8]Stephen A. Edwards:
The Challenges of Synthesizing Hardware from C-Like Languages. IEEE Des. Test Comput. 23(5): 375-386 (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 - [c25]Nicholas Jun Hao Ip, Stephen A. Edwards:
A Processor Extension for Cycle-Accurate Real-Time Software. EUC 2006: 449-458 - [c24]Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song:
An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308 - [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 - [c21]Stephen A. Edwards:
Using program specialization to speed SystemC fixed-point simulation. PEPM 2006: 21-28 - [c20]Jia Zeng, Chuck Mitchell, Stephen A. Edwards:
A Domain-Specific Language for Generating Dataflow Analyzers. LDTA@ETAPS 2006: 103-119 - 2005
- [j6]Stephen A. Edwards:
Experiences teaching an FPGA-based embedded systems class. SIGBED Rev. 2(4): 56-62 (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 - [c17]Stephen A. Edwards:
The Challenges of Hardware Synthesis from C-Like Languages. DATE 2005: 66-67 - [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 - [c13]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:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - [r1]Stephen A. Edwards:
Languages for Embedded Systems. Embedded Systems Handbook 2005 - 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 - [c10]Stephen A. Edwards, Vimal Kapadia, Michael Halasz:
Compiling Esterel into Static Discrete-Event Code. SLAP@ETAPS 2004: 117-131 - [i3]Stephen A. Edwards:
SHIM: A Language for Hardware/Software Integration. SYNCHRON 2004 - [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) - [j3]Stephen A. Edwards:
Tutorial: Compiling concurrent languages for sequential processors. ACM Trans. Design Autom. Electr. Syst. 8(2): 141-187 (2003) - [c9]Stephen A. Edwards:
Making cyclic circuits acyclic. DAC 2003: 159-162 - [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 - [p1]Stephen Jan, Paolo de Dios, Stephen A. Edwards:
Porting a Network Cryptographic Service to the RMC2000. Embedded Software for SoC 2003: 165-176 - 2002
- [j2]Stephen A. Edwards:
An Esterel compiler for large control-dominated systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(2): 169-183 (2002) - [c6]Stephen A. Edwards:
High-Level Synthesis from the Synchronous Language Esterel. IWLS 2002: 401-406 - 2000
- [c5]Stephen A. Edwards:
Compiling Esterel into sequential code. DAC 2000: 322-327
1990 – 1999
- 1999
- [c4]Stephen A. Edwards:
Compiling Esterel into sequential code. CODES 1999: 147-151 - 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
Coauthor Index
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 2024-10-04 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
