Stephen A. Edwards

Presentations

2013

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