Stephen A. Edwards

Presentations

2024

The Sparse Synchronous Model. Presented at Technische Universität Dresden. Germany, April 25. Summary of the Sparse Synchronous Model including C runtime, Scoria DSL, Lua library, and Sslang + RP2040 runtime

2023

Timestamp Peripherals for Precise Real-Time Programming. Presented at International Symposium on Formal Methods and Models for System Design (Memocode). Hamburg University of Technology (TUHH), Hamburg, Germany, September 22nd. About our MEMOCODE 2023 paper about using the Raspberry Pi Pico (rp2040) to timestamp input and output events. Written with my son Kyle and PhD student John.

2022

SSlang: A Sparse Synchronous Language for Hard Real-Time Tasks. Presented at IFIP WG2.8 Functional Programming. Cornell Tech, Roosevelt Island, New York, May 10th.

The Commodore VIC I and II chips. Presented at Vintage Computer Festival - East. Infoage Science Center, Wall, New Jersey, April 22nd. A panel with Albert Charpentier, designer of the VIC chips, and Bil Herd, both of Commodore.

Commodore Amiga chips. Presented at Vintage Computer Festival - East. Infoage Science Center, Wall, New Jersey, April 22nd. A panel with Amiga engineers Dave Haynie and Andy Finkel. Also Bill Herd of Commodore.

Advanced Assembly Language Programming on the Apple II. Presented at Vintage Computer Festival - East. Infoage Science Center, Wall, New Jersey, April 22nd. A short course in real Apple //e classroom. Apple II ProDOS disk image

2021

The Genesis and Evolution of the 6502 Family. Presented at Vintage Computer Festival West. Computer History Museum, Mountain View, California, August 8. A conversation with Bill Mensch, a key designer of the 6502 8-bit microprocessor.

The Sparse Synchronous Model. Presented at Chalmers University. Online, February 2. The Sparse Synchronous Model of computation, with a focus on the language and semantics

2020

The Sparse Synchronous Model. Presented at Synchron. Online, November 26. A brief talk about the Sparse Synchronous Model of computation

The Sparse Synchronous Model. Presented at FDL. Kiel, Germany, September 15. I produced a YouTube video for this

2019

Ubiquitous Unix Units. Presented at Unix50. Nokia Bell Labs, Murray Hill, NJ, October 22. Signs for my display of tiny single-board computers running Unix

Language Design is LEGO Design and Library Design. Presented at Forum on Specification and Design Languages. University of Southampton, United Kingdom, September 3. Invited Keynote

Net Booting/Installing Vintage Computers from a Raspberry Pi. Presented at Vintage Computer Festival - East. Infoage Science Center, Wall, New Jersey, May 3.

Programming Tiny, Colorful Computers. Presented at SWE Engineering Exploration Experience. Columbia University, March 30. handout files

Programming Tiny, Colorful Computers. Presented at Science Cafe. The School at Columbia University, January 17. handout files

2018

Haskell-to-Hardware: The FHW Project. Presented at Octopi Workshop. Chalmers, Gothenburg, Sweden, December.

BEADL: A New Real-Time Language for Behavioral Experiments. Presented at Octopi Workshop. Chalmers, Gothenburg, Sweden, December.

Esterel and the Synchronous Approach. Presented at Octopi Workshop. Chalmers, Gothenburg, Sweden, December.

Discrete-Event Esterel Code Generation. Presented at Octopi Workshop. Chalmers, Gothenburg, Sweden, December.

An Esterel Virtual Machine. Presented at Octopi Workshop. Chalmers, Gothenburg, Sweden, December.

BEADL: A New Real-Time Language for Behavioral Experiments. Presented at IBM Programming Languages Day. IBM T.J. Watson, December 10.

Further Experiences Teaching an FPGA-Based Embedded Systems Class. Presented at WESE 2018. Torino, Italy, October 4th.

Assembly Instructions for a Motor Robot Car Kit. August. Download the firmware here: robot-car.zip

Haskell to Hardware and Other Dreams. Presented at Google X. Mountain View, California, June 12. Invited

Vintage Computing with FPGAs. Presented at Vintage Computer Festival - East. Infoage Science Center, Wall, New Jersey, May 18. Download the files here: fpgakim.tar.gz

The Altair 8800 Computer: The Start of the Personal Computer Revolution. Presented at CSTA Central NJ Meeting. Princeton University, April 11.

Programming Tiny, Colorful Computers. Presented at SWE Engineering Exploration Experience. Columbia University, March 24.

2017

Compositional Dataflow Circuits. Presented at MEMOCODE. Vienna, Austria, October 1.

2016

Haskell to Hardware and Other Dreams. Presented at Synchron. Bamberg, Germany, December 7. Invited

Translating Haskell to Hardware. Presented at New York Haskell Users Group. New York, NY, February 24. Presented by Lianne Lairmore (YouTube Video)

2015

Understand Video Games; Understand Everything. Presented at Columbia University (Master Class for Columbia Engineering Days on Campus). New York, NY, April 10.

2014

Functioning Hardware from Functional Specifications. Presented at IBM Programming Languages Day. IBM T.J. Watson, November 18.

Understand Video Games; Understand Everything. Presented at Columbia University (Master Class for Prospective Students). New York, NY, August 8.

Functioning Hardware from Functional Specifications. Presented at DIMACS Workshop on Multicore and Cryptography. Hoboken, New Jersey, July 22. Invited Talk

Resource Allocation for Hardware Implementations of Map. Presented at Workshop on Architectures and Systems for Big Data (ASBD). Minneapolis, Minnesota, June 15. Presented by Richard Townsend

Functioning Hardware from Functional Specifications. Presented at ACSD. Tunis, Tunisia, June 26. Invited Keynote

2013

Functioning Hardware from Functional Specifications. Presented at Chalmers University. Gothenburg, Sweden, December 17.

CPUs, GPUs, and the Rise of Software Parallelism. Presented at Chalmers University. Gothenburg, Sweden, December 16. An introduction to Joel Svensson's PhD Defense

Functioning Hardware from Functional Specifications. Presented at SYNCHRON Workshop. Schloss Dagstuhl, Germany, November 18.

Understand Video Games; Understand Everything. Presented at Columbia University (Master Class for Prospective Students). New York, NY, August 9.

Compiling Parallel Algorithms to Memory Systems: Some Preliminary Results. Presented at Columbia University. New York, NY, March 25.

2012

Compiling Parallel Algorithms to Memory Systems. Presented at PARKAS group, DI, École normale supérieure. Paris, France, June 26.

Compiling Parallel Algorithms to Memory Systems. Presented at the 2012 Electronic System Level Synthesis Conference (ESLsyn). San Francisco, California, June 2. Invited keynote

Compiling Parallel Algorithms to Memory Systems. Presented at the Resource-Aware Functional Programming (RAWFP) Workshop. Gothenberg, Sweden, May 29. Greatly expanded version

Compiling Parallel Algorithms to Memory Systems. Presented at Jane Street. New York, NY, April 16.

High-Level Languages for Device Drivers. Presented at Device Driver Reliability, Modeling and Synthesis Research Workshop. Intel, Hillsboro, Oregon, March 16.

From Recursive Functions to Real FPGAs. Presented at Compiling Complete Programs into Circuits (CCPC). London, UK, March 4.

Compiling Parallel Algorithms to Memory Systems. Presented at CSL Group Meeting. Columbia University, New York, NY, February 14. Overview of recent NSF grant with Martha Kim

2010

High-level Synthesis from Functional Languages. Presented at Synchronics Days. Paris, France, October 19.

2009

Concurrency and Communication: Lessons from the SHIM Project. Presented at Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS). Newport Beach, California, November 18.

Reconciling Repeatable Timing with Pipelining and Memory Hierarchy. Presented at Workshop on Reconciling Performance with Predictability. Grenoble, France, October 15.

Esperanto, Polyglot, or Babel: The Future of Design Languages. Presented at Conference on Formal Methods and Models for Codesign (MEMOCODE). Cambridge, Massachusetts, July 13.

50 Years of Computing: Towards Embedded Ubiquitous Computers. Presented at Class of 1959 Panel Discussion: IT: Basic Benginning 59, A Ubiquitous Revolution Today. Friday, June 5.

SHIM: A Deterministic Concurrent Language. Presented at Design Automation and Test in Europe (DATE). April 20. Also available: Narrated video (Ogg theora format, 40 min., 54 MB)

Esterel and the Synchronous Approach. Presented at Design Automation and Test in Europe (DATE). April 20, 2009. Also available: Narrated video (Ogg theora format, 57 min., 77 MB)

Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore. Presented at Symposium on Applied Computing (SAC). Honolulu, Hawaii, Thursday, March 12.

2008

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. Presented at Design Automation and Test in Europe (DATE). Munich, Germany, March 13.

What Do We Do With 1012 Transistors? The Case for Precision Timing. Presented at DSRC TeraChip Workshop. Stanford, California, February 21. Also at Google, February 20th, 2008. Watch the YouTube Video

Precision-Timed (PRET) Machines. Presented at Altera. San Jose, California, January 9.

Static Elaboration of Recursion for Concurrent Software. Presented at PEPM 2008. San Francisco, California, January 7.

2007

Precision-Timed (PRET) Machines. Presented at National Taiwan University, Taipei, Taiwan. July 6.

Precision-Timed (PRET) Machines. Presented at 44th Design Automation Conference. San Diego, California, June 5, 2007.

Verification Challenges in the SHIM Concurrent Language. Presented at NEVER (again): The Third Northeast Verification Seminar. NEC, Princeton, New Jersey, May 18.

Verification: What Works and What Does Not?. Presented at NEVER (again): The Third Northeast Verification Seminar. NEC, Princeton, New Jersey, May 18.

SHIM: A Deterministic Concurrent Language for Embedded Systems. Presented at Princeton University. New Jersey, May 10th.

SHIM: A Deterministic Concurrent Language for Embedded Systems. Presented at University of Pennsylvania. Philadelphia, PA, April 27th.

SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems. Presented at Massachusetts Institute of Technology. Cambridge, MA, March 16th.

Precision-Timed (PRET) Machines. Presented at Schoß Dagstuhl. Germany, March.

2006

SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems. Presented at University of California, Berkeley. Berkeley, CA, November 8th.

The Challenges of Hardware Synthesis from C-like Languages. Presented at ECSI-UBS Workshop on High Level Synthesis. Darmstadt, Germany, September 18.

SHIM: A Deterministic Language for Embedded Systems. Presented at Microsoft Research. Bangalore, India, August 23.

SHIM: A Deterministic Language for Embedded Systems. Presented at National Chaio-Tung University (NCTU). Hsinchu, Taiwan, August 28.

SHIM: A Deterministic Language for Embedded Systems. Presented at SpringSoft. Hsinchu, Taiwan, August 28.

SHIM: A Deterministic Language for Embedded Systems. Presented at Tsinghua University. Hsinchu, Taiwan, August 11.

SHIM: A Deterministic Language for Embedded Systems. Presented at National Taiwan University, Taipei. August 10.

SHIM: A Deterministic Language for Embedded Systems. Presented at Seoul National University, Korea. August 4.

A Processor Extension for Cycle-Accurate Real-Time Software. Presented at IFIP International Conference on Embedded and Ubiquitous Computing (EUC). Seoul, Korea, August 3.

R-SHIM: Deterministic Concurrency with Recursion and Shared Variables. Presented at 4rd International Conference on Formal Methods and Models for Codesign (MEMOCODE). Napa, California, July 28.

SHIM: A Deterministic Language for Embedded Systems. Presented at University of Kiel. Germany, July 21.

Efficient Code Generation from SHIM Models . Presented at Languages, Compilers, and Techniques for Embedded Systems (LCTES). Ottawa, Canada, June 15.

An Esterel Virtual Machine for Embedded Systems. Presented at Synchronous Languages, Applications, and Programming (SLAP). Vienna, Austria, March 25. Presented by Becky Plummer and Mukul Khajanchi

Optimizing Sequential Cycles through Shannon Decomposition and Retiming. Presented at Design Automation and Test in Europe (DATE). Munich, Germany, March 9. Presented by Cristian Soviani

An Efficient Algorithm for the Analysis of Cyclic Circuits. Presented at International Symposium on VLSI (ISVLSI). Karlsruhe, Germany, March 2006.

High-level Synthesis from the Synchronous Language Esterel. Presented at SRC Annual Review in System Design. Ohio State University, Columbus, March 1st.

Using Program Specialization to Speed SystemC Fixed-Point Simulation . Presented at Workshop on Partial Evaluation and Program Manipulation (PEPM). Charleston, SC, January 9.

2005

Separate Compilation of Synchronous Modules. Presented at 2nd International Conference on Embedded Software and Systems (ICESS). Xian, China, December. Presented by Jia Zeng

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at University of California, Berkeley. Berkeley, CA, November 10th.

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at Xilinx. San Jose, CA, November 9th.

Adding a Flow-Oriented Paradigm to Commodity Operating Systems. Presented at IOSCA 2005. Austin, TX, October 8th.

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at National Instruments. Austin, TX, October 7th.

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at University of Texas at Austin. October 7th.

Experiences Teaching an FPGA-Based Embedded Systems Class. Presented at WESE 2005. Jersey City, NJ, September 22nd.

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at EMSOFT 2005. Jersey City, NJ, September 21st.

SHIM: A Deterministic Model for Heterogeneous Embedded Systems. Presented at Tsinghua University. Hsinchu, Taiwan, August 16th.

Deterministic Receptive Processes are Kahn Processes. Presented at MEMOCODE 2005. Verona, Italy, July 12th.

Using and Compiling Esterel. Presented at MEMOCODE 2005. Verona, Italy, July 11th. Invited Tutorial

The Future of Embedded Linux. Presented at C3 Expo. New York, NY, June 30.

High-Level Optimization by Combining Retiming and Shannon Decomposition. Presented at International Workshop on Logic and Synthesis (IWLS). June. Presented by Cristian Soviani

Challenges in Synthesizing Fast Control-Dominated Circuits. Presented at International Workshop on Logic and Synthesis. June. poster (17X22)

SHIM: A Language for Hardware/Software Integration. Presented at University of California, Irvine. April 7th.

High-level Synthesis from the Synchronous Language Esterel. Presented at SRC Annual Review in System Design. University of California, Irvine, April 6th.

SHIM: A Language for Hardware/Software Integration. Presented at Synchronous Languages, Applications, and Programming (SLAP). Edinburgh, Scotland, April 3rd.

The Challenges of Hardware Synthesis from C-like Languages. Presented at DATE 2005. Munich, Germany, March.

Prior and Future Research. Presented at BMW, Munich. Germany, March.

2004

SHIM: A Language for Hardware/Software Integration. Presented at Columbia. October.

Using and Compiling Esterel. Presented at National Chung Cheng University (CCU). Chia-Yi, Taiwan, August 17.

The Challenges of Hardware Synthesis from C-like Languages. Presented at IWLS. Temecula, California, June.

Generating Fast Sequential Code from Concurrent Programs. Presented at Languages, Compilers, and Tools for Embedded Systems (LCTES). Washington, DC, June 11th. Presented by Jia Zeng

Compiling Esterel into Static Discrete-Event Code. Presented at Synchronous Languages, Applications, and Programming (SLAP). Barcelona, Spain, March 28th. Presented by Michael Halas

High-level Synthesis from the Synchronous Language Esterel. Presented at SRC Annual Review in System Design. Carnegie Mellon University, Pittsburgh, March 2nd.

High-level Synthesis from the Synchronous Language Esterel. Presented at 2004 MDC Conference. Columbia University, January 15th.

2003

The Columbia Esterel Compiler. Presented at SYNCHRON. December.

Overview of research for ACM research fair. November 21.

Linux for EDA: Open-source tools. Presented at ICCAD. San Jose, California, November. Tutorial. Also presenting: Fabio Somenzi, University of Colorado, Debugging and Tuning Tim Marriott and Mel Nicholson, Synopsys, Developing Software on Linux Tom Grotton, Cadence, Grids in EDA Software Development Ken Crandall and Paul Giordano, Red Hat, Enterprise Solutions and the Future of Linux

Very short summary of ongoing work.

Research Areas. Presented at visitors from Bell Labs. July 18th.

Should the space of implementation possibilities.... Presented at MEMOCODE 2003. Mont Saint-Michel, France, June.

Making Cyclic Circuits Acyclic. Presented at 40th Design Automation Conference. Anaheim, California, June.

A presentation on the CS department to students deciding their major. April 14.

Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development. Presented at DATE 2003. Munich, Germany, March. With Stephen Jan and Paolo de Dios

A presentation to the external visiting committee on the computer engineering and some of the research going on within. January 31. With Steve Nowick, Steve Unger, and Charles Zukowski

Compiling Esterel. Presented at University of Pennsylvania. January 2003.

High-level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. Part 1: Languages and Models of Computation. Presented at The 16th International Conference on VLSI Design. New Delhi, India, January 4-8.

2002

Research Areas. Presented at part of the CS Colloquium. Columbia, December 9.

Transforming Cyclic Circuits Into Acyclic Ones. Presented at SYNCHRON. November 2002.

Compiling Esterel into Better Circuits and Faster Simulations. Presented at SYNCHRON. November.

System-on-a-chip and the Coming Design Revolution. An argument for why computing has to evolve to meet the demands of embedded systems. Presented at The Second Annual Emerging Information Technology Conference (EITC). Princeton, New Jersey, November 2002.

Compiling Esterel into Better Circuits and Faster Simulations. Presented at Intel. November.

Compiling Esterel: A presentation of existing Esterel compilers, with details of my hardware and software compilers. Presented at Berkeley. September.

An Overview of the Electronic Design Automation (EDA) Field. Presented at Yuan Ze University. Chungli, Taiwan, July.

Compiling Esterel: A presentation of my first Esterel compiler along with hardware synthesis work. Presented at Taiwan National University (Taida). July.

Language Issues in Designing Future Systems. Presented at IWLS. New Orleans, Louisiana, June. Focus group presentation

High-level Synthesis from the Synchronous Language Esterel. Presented at IWLS. New Orleans, Louisiana, June. poster

ESUIF: An Open Esterel Compiler. Presented at SLAP workshop. Grenoble, France, April.

Compiling Esterel: A discussion of my first Esterel compiler along with ongoing work on ESUIF. Presented at Princeton. April.

ESUIF: An Open Esterel Compiler: A work-in-progress description of the ESUIF Esterel compiler. Presented at IRISA/INRIA. Rennes, France, March.

Jobs for CS Graduates: An introduction for new CS students. Presented at Columbia. February.

2001

ESUIF: An Open Esterel Compiler: A work-in-progress description of the ESUIF Esterel compiler. Presented at Synchronous Languages Workshop. Schoß Dagstuhl, Germany, December.

Esterel and Other Projects: A summary of existing Esterel work and future plans. Presented at Intel. Portland, Oregon, October.

Finding Industry Jobs. Presented at Columbia. October 3.

Domain-Specific Languages for Embedded System Development. Presented at CS Colloquium. Columbia, September 17.

Scaling the Abstraction Cliff: High-level Languages for System Design. Presented at Design, Automation and Test in Europe (DATE 2001). Munich, Germany, March. Tutorial A2. Second half of the presentation was given by Luciano Lavagno

1997

Synchronous Reactive Systems. Presented at University of Texas, Austin. February.

1996

The SR Domain. Presented at Schoß Dagstuhl. Germany, December.

Heterogenously-Specified Synchronous Controllers. Presented at Berkeley Industrial Liason Program. March 14.

A Short Introduction to Autoconf. Presented at Berkeley. January.

1995

The Specification and Execution of Heterogeneous Synchronous Reactive Systems. Presented at qualifying examination. University of California, Berkeley, December 11. proposal

An Introduction to Tcl/Tk. Presented at Berkeley. tcltalk1995.tar.gz This is a slide projector written in a very old version of Tcl/Tk. It does not work with newer versions.

1994

A trip report on the Second International WWW Conference, Chicago, Illinois. Berkeley, HTML