1. Compiling Concurrent Languages for Sequential Processors Edwards, Stephen A. 2001 Reports Computer science
2. CASPER: Compiler-Assisted Securing of Programs at Runtime Kc, Gaurav S.; Edwards, Stephen A.; Kaiser, Gail E. 2002 Reports Computer science
5. Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development Jan, Stephen; de Dios, Paolo; Edwards, Stephen A. 2003 Articles Computer science
6. The Semantics and Execution of a Synchronous Block-Diagram Language Edwards, Stephen A.; Lee, Edward A. 2003 Articles Computer science
7. The Synchronous Languages 12 Years Later Edwards, Stephen A.; Albert, Benveniste; Caspi, Paul; Halbwachs, Nicolas; Le Guernic, Paul; De Simone, Robert 2003 Articles Computer science
8. Tutorial: Compiling Concurrent Languages for Sequential Processors Edwards, Stephen A. 2003 Articles Computer science
9. Compiling Esterel into Static Discrete-Event Code Edwards, Stephen A.; Kapadia, Vimal; Halas, Michael 2004 Articles Computer science