The Languages and Compilers Group Columbia University Crown
  Publications
Home Projects Publications Seminars
 2004
  PDF File (for Acrobat) Stephen A. Edwards and Vimal Kapadia and Michael Halas.
Compiling Esterel into Static Discrete-Event Code.
In Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2004).
Barcelona, Spain, March 28, 2004.
 2003
  PDF File (for Acrobat) Alfred V. Aho and Krysta M. Svore.
Compiling Quantum Circuits using the Palindrome Transform.
In Proceedings of the ERATO conference on Quantum Information Science (EQIS 2003).
Kyoto, Japan, September 4-6, 2003.
  PDF File (for Acrobat) Stephen A. Edwards, Edward A. Lee.
The Semantics and Execution of a Synchronous Block-Diagram Language.
Science of Computer Programming 48(1):21-42, July 2003.
  PDF File (for Acrobat) Stephen A. Edwards.
Tutorial: Compiling Concurrent Languages for Sequential Processors.
ACM Transactions on Design Automation of Electronic Systems (TODAES) 8(2):141-187, April 2003.
  PDF File (for Acrobat) Stephen A. Edwards.
Design Languages for Embedded Systems.
Computer Science Technical Report CUCS-009-03, Columbia University.
  PDF File (for Acrobat) Stephen A. Edwards.
Making Cyclic Circuits Acyclic.
In Proceedings of the 40th Design Automation Conference (DAC 2003).
Anaheim, California, June 2-6, 2003. pp. 159-162.
  PDF File (for Acrobat) Stephen Jan, Paolo de Dios, and Stephen A. Edwards.
Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development.
In Proceedings of Design Automation and Test in Europe (DATE).
Munich, Germany, March 2003.
  PDF File (for Acrobat) Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone.
The Synchronous Languages 12 Years Later.
Proceedings of the IEEE 91(1):64-83, January 2003
 2002
  PDF File (for Acrobat) Stephen A. Edwards.
High-level Synthesis from the Synchronous Language Esterel.
In Proceedings of the International Workshop of Logic and Synthesis (IWLS).
New Orleans, Louisiana, June, 2002.
  PDF File (for Acrobat) Stephen A. Edwards.
ESUIF: An Open Esterel Compiler.
In Proceedings of Synchronous Languages, Applications, and Programming (SLAP).
Grenoble, France, April 13, 2002. Published in Electronic Notes in Theoretical Computer Science (ENTCS) 65(5), 2002.
  PDF File (for Acrobat) Stephen A. Edwards.
An Esterel compiler for large control-dominated systems.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21(2), February 2002
 2001
  PDF File (for Acrobat) Stephen A. Edwards.
Design Languges for Embedded Systems.
In Proceedings of the Second Online Symposium for Electrical Engineers (OSEE2).
March 2001.
Copyright © 2007 Stephen A. Edwards Updated Fri Sep 7 10:55:58 EDT 2007 All Rights reserved