Concepedia

Stephen A. Edwards

SA

Statistics

Publications

50

Citations

3.2K

H-Index

25

Active since

1979

Affiliations

Columbia University(Current)

University of California, Berkeley

Synopsys (United States)

Synopsys (Switzerland)

Institut national de recherche en sciences et technologies du numérique

Stephen A. Edwards is an author at Columbia University specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsProgram AnalysisParallel ComputingFormal VerificationSystem SoftwareParallel Programming

Publications per year

1979–2023

50

Publications

50

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 922 citations · Full text

Special Section, Engineering, Embedded Systems +23

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 518 citations

Engineering, Real-time System Design, Computer Architecture +19

The case for the precision timed (PRET) machine

Stephen A. Edwards, Edward A. Lee · Proceedings - ACM IEEE Design Automation Conference · 2007 · 209 citations · Full text

Engineering, Computer Architecture, Processor Architecture +16

Predictable programming on a precision timed architecture

Ben Lickly, Isaac Liu, Sung-Jun Kim et al. · 2008 · 157 citations · Full text

Modern Processors, Engineering, Real-time System Design +22

The Challenges of Synthesizing Hardware from C-Like Languages

Stephen A. Edwards · IEEE Design & Test of Computers · 2006 · 128 citations · Full text

Engineering, Compiler Technology, Computer Architecture +20

1–5 of 50