Stephen A. Edwards Columbia University Crown
  Software
Home Publications Presentations Software Classes Personal
 Projects
  CEC logo CEC: The Columbia Esterel Compiler.
  Download The Estbench Esterel Benchmark Suite, a collection of Esterel programs intended for comparing Esterel compilers.
  Download TAXI: Software for portable device drivers. A very preliminary release that only implements the null driver.
  Homepage ESUIF: An Esterel compiler infrastructure based on the SUIF 2 system. Development on this has ceased and moved to cec because SUIF now refuses to compile.
  Download ic2dot: A simple translator that generates a graphical representation of an Esterel IC file. Requires java, the ANTLR parser generator, and the dot graph visualization program.
 Old Projects
  Homepage Download cce 0.2: a system for automatically generating HTML documentation from C++ source code. ca. 1997
  Homepage Download ext 1.3: a system for automatically generating HTML documentation from C source code. ca. 1996
  Homepage Download 7 page PostScript File sc 1.0: A graphical hierarchical state machine editor written using a very old version of [incr Tcl]. ca. 1995.
  Download states 1.1: a graphical state machine editor written with Tcl 7.5/Tk 4.1. ca. 1994
  Download est 01: An experimental, buggy compiler for the Esterel synchronous language written for my Masters project. C++ source that ran under SunOS 4.1. Probably will not compile now. 1994.
The wristwatch example
  Download Homepage A digital video processor: my senior project at Caltech, Pasadena, 1992. Software is 56001 assembly code guaranteed not to work on your hardware.
 Digital Incunabula
  Download An ASCII graphic of the USS Enterprise. Probably already fairly old when I first saw it on the CDC 6400-based (?) MERITSS timesharing system ca. 1981. Best printed on a model ASR33 Teletype.
  Download An ASCII graphic of Snoopy punting a football. I first saw this in 1981.
  Download An ASCII graphic of Snoopy dancing and smiling. I first saw this in 1981.
 Ports
  Download RPM for the xstools, ported to Unix, supports the XSB-300E board (binary i386).
  Download source RPM for the xstools, ported to Unix, supports the XSB-300E board. Originally from the XESS corporation

Copyright © 2004 Stephen A. Edwards Updated Tue Nov 27 09:05:25 EST 2012 All Rights reserved