|
|
| |
| Presentations | ||
| Home | Publications | Presentations | Software | Classes | Advising | Personal |
| 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, 2008. |
|
|
|
What Do We Do With 1012 Transistors? The Case for Precision Timing Presented at the DSRC TeraChip Workshop, Stanford, California, February 21, 2008. Also at Google, February 20th, 2008. Watch the YouTube Video |
|
|
|
Precision-Timed (PRET) Machines Presented at Altera, San Jose, California, January 9, 2008. |
|
|
|
Static Elaboration of Recursion for Concurrent Software Presented at PEPM 2008, San Francisco, California, January 7, 2008. |
|
| 2007 | ||
|
|
Precision-Timed (PRET) Machines Presented at National Taiwan University, Taipei, Taiwan, July 6, 2007. |
|
|
|
Precision-Timed (PRET) Machines Presented at the 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, 2007 |
|
|
|
Verification: What Works and What Does Not? Presented at NEVER (again): The Third Northeast Verification Seminar NEC, Princeton, New Jersey, May 18, 2007 |
|
|
|
SHIM: A Deterministic Concurrent Language for Embedded Systems Presented at Princeton University, New Jersey, May 10th, 2007 |
|
|
|
SHIM: A Deterministic Concurrent Language for Embedded Systems Presented at the University of Pennsylvania, Philadelphia, PA, April 27th, 2007 |
|
|
|
SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems Presented at the Massachusetts Institute of Technology, Cambridge, MA, March 16th, 2007 |
|
|
|
Precision-Timed (PRET) Machines Presented at Schoß Dagstuhl, Germany, March, 2007 |
|
| 2006 | ||
|
|
SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems Presented at the University of California, Berkeley, Berkeley, CA, November 8th, 2006 |
|
|
|
The Challenges of Hardware Synthesis from C-like Languages. Presented at the ECSI-UBS Workshop on High Level Synthesis, Darmstadt, Germany, September 18, 2006 |
|
|
|
SHIM: A Deterministic Language for Embedded Systems. Presented at Microsoft Research, Bangalore, India, August 23, 2006, and National Chaio-Tung University (NCTU), Hsinchu, Taiwan, August 28, 2006. and SpringSoft, Hsinchu, Taiwan, August 28, 2006. |
|
|
|
SHIM: A Deterministic Language for Embedded Systems. Presented at Tsinghua University, Hsinchu, Taiwan, August 11, 2006, and National Taiwan University, Taipei, August 10, 2006, and Seoul National University, Korea, August 4, 2006. |
|
|
|
A Processor Extension for Cycle-Accurate Real-Time Software. Presented at the IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Seoul, Korea, August 3, 2006 |
|
|
|
R-SHIM: Deterministic Concurrency with Recursion and Shared Variables. Presented at the 4rd International Conference on Formal Methods and Models for Codesign (MEMOCODE), Napa, California, July 28, 2006. |
|
|
|
SHIM: A Deterministic Language for Embedded Systems. Presented at the University of Kiel, Germany, July 21, 2006. |
|
|
|
Efficient Code Generation from SHIM Models . Presented at Languages, Compilers, and Techniques for Embedded Systems (LCTES), Ottawa, Canada, June 15, 2006. |
|
|
|
An Esterel Virtual Machine for Embedded Systems. Presented by Becky Plummer and Mukul Khajanchi at Synchronous Languages, Applications, and Programming (SLAP), Vienna, Austria, March 25, 2006. |
|
|
|
Optimizing Sequential Cycles through Shannon Decomposition and Retiming. Presented by Cristian Soviani at Design Automation and Test in Europe (DATE), Munich, Germany, March 9, 2006. |
|
|
|
An Efficient Algorithm for the Analysis of Cyclic Circuits. Presented at the International Symposium on VLSI (ISVLSI), Karlsruhe, Germany, March 2006. |
|
|
|
High-level Synthesis from the Synchronous Language Esterel. SRC Annual Review in System Design, Ohio State University, March 1st, 2006. |
|
|
|
Using Program Specialization to Speed SystemC Fixed-Point Simulation Presented at Workshop on Partial Evaluation and Program Manipulation (PEPM), Charleston, SC, January 9, 2006 |
|
| 2005 | ||
|
|
Separate Compilation of Synchronous Modules Presented by Jia Zeng at the 2nd International Conference on Embedded Software and Systems (ICESS), Xian, China, December 2005 |
|
|
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems Presented at the University of California, Berkeley, Berkeley, CA, November 10th, 2005 |
|
|
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems Presented at Xilinx, San Jose, CA, November 9th, 2005 |
|
|
|
Adding a Flow-Oriented Paradigm to Commodity Operating Systems Presented at IOSCA 2005, Austin, TX, October 8th, 2005 |
|
|
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems Presented at National Instruments and the University of Texas at Austin, Austin, TX, October 7th, 2005 |
|
|
|
Experiences Teaching an FPGA-Based Embedded Systems Class Presented at WESE 2005, Jersey City, NJ, September 22nd, 2005 |
|
|
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems Presented at EMSOFT 2005, Jersey City, NJ, September 21st, 2005 |
|
|
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems Presented at Tsinghua University, Hsinchu, Taiwan, August 16th, 2005 |
|
|
|
Deterministic Receptive Processes are Kahn Processes Presented at MEMOCODE 2005, Verona, Italy, July 12th, 2005 |
|
|
|
Using and Compiling Esterel Invited Tutorial at MEMOCODE 2005, Verona, Italy, July 11th, 2005 |
|
|
|
The Future of Embedded Linux A panel at the C3 Expo, June 30, 2005 |
|
|
|
High-Level Optimization by Combining Retiming and Shannon Decomposition Presented by Cristian Soviani at the International Workshop on Logic and Synthesis, June 2005 |
|
|
|
Challenges in Synthesizing Fast Control-Dominated Circuits A poster (17X22) at the International Workshop on Logic and Synthesis, June 2005 |
|
|
|
SHIM: A Language for Hardware/Software Integration Presented at the University of California, Irvine, April 7th, 2005 |
|
 |
High-level Synthesis from the Synchronous Language Esterel. SRC Annual Review in System Design, University of California, Irvine, April 6th, 2005. |
|
|
|
SHIM: A Language for Hardware/Software Integration Synchronous Languages, Applications, and Programming (SLAP), Edinburgh, Scotland, April 3rd, 2005 |
|
|
|
The Challenges of Hardware Synthesis from C-like Languages. Presented at DATE 2005, Munich, Germany, March, 2005. |
|
|
|
Prior and Future Research. Presented at BMW, Munich, Germany, March, 2005. |
|
| 2004 | ||
|
|
SHIM: A Language for Hardware/Software Integration Presented at Columbia, October 2004. |
|
|
|
Using and Compiling Esterel Presented at National Chung Cheng University (CCU), Chia-Yi, Taiwan, August 17, 2004 |
|
|
|
The Challenges of Hardware Synthesis from C-like Languages. Presented at IWLS, Temecula, California, June 2004. |
|
|
|
Generating Fast Sequential Code from Concurrent Programs Languages, Compilers, and Tools for Embedded Systems (LCTES), Washington, DC, June 11th, 2004. Presented by Jia Zeng |
|
 |
Compiling Esterel into Static Discrete-Event Code. Synchronous Languages, Applications, and Programming (SLAP), Barcelona, Spain, March 28th, 2004. Presented by Michael Halas |
|
|
|
High-level Synthesis from the Synchronous Language Esterel. SRC Annual Review in System Design, Carnegie Mellon University, Pittsburgh, March 2nd, 2004. |
|
|
|
High-level Synthesis
from the Synchronous Language Esterel. 2004 MDC Conference, Columbia University, January 15th. |
|
| 2003 | ||
|
|
The Columbia Esterel Compiler. Presented at SYNCHRON, December 2003. |
|
|
|
Overview of research for ACM research fair, November 21. | |
|
|
Linux for EDA: Open-source tools Tutorial presented at ICCAD San Jose, California, November 2003. 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 to visitors from Bell Labs, July 18th, 2003. |
|
|
|
Should the space of implementation possibilities... Presented at a panel at MEMOCODE 2003, Mont Saint-Michel, France, June 2003. |
|
|
|
Making Cyclic Circuits Acyclic Presented at the 40th Design Automation Conference, Anaheim, California, June 2003. |
|
|
|
A presentation on the CS department to students deciding their major, April 14, 2003. | |
|
|
Porting a Network Cryptographic Service to the RMC2000:
A Case Study in Embedded Software Development. Presented at DATE 2003, Munich, Germany, March, 2003. 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. With Steve Nowick, Steve Unger, and Charles Zukowski. January 31st, 2003. | |
|
|
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. A tutorial presented at The 16th International Conference on VLSI Design, New Delhi, India, January 4-8, 2003. |
|
| 2002 | ||
|
|
Research Areas Presented as part of the CS Colloquium, Columbia, December 9, 2002. |
|
|
|
Transforming Cyclic Circuits Into Acyclic Ones. Presented at SYNCHRON, November 2002. |
|
|
|
Compiling Esterel into Better Circuits and Faster Simulations. Presented at SYNCHRON, November 2002. |
|
|
|
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 2002. |
|
|
|
Compiling Esterel. A presentation of existing Esterel compilers, with details of my hardware and software compilers. Presented at Berkeley, September 2002. |
|
|
|
An Overview of the Electronic Design Automation (EDA) Field. Presented at Yuan Ze University, Chungli, Taiwan, July 2002. |
|
|
|
Compiling Esterel. A presentation of my first Esterel compiler along with hardware synthesis work. Presented at Taiwan National University (Taida), July 2002. |
|
|
|
Language Issues in Designing Future Systems. Focus group presentation, IWLS, New Orleans, Louisiana, June 2002. |
|
|
|
High-level Synthesis from the Synchronous Langauge Esterel. Presented at IWLS, New Orleans, Louisiana, June 2002. |
|
|
|
ESUIF: An Open Esterel Compiler. Presented at the SLAP workshop, Grenoble, France, April 2002. |
|
|
|
Compiling Esterel A discussion of my first Esterel compiler along with ongoing work on ESUIF. Presented at Princeton, April 2002. |
|
|
|
ESUIF: An Open Esterel Compiler A work-in-progress description of the ESUIF Esterel compiler. Presented at IRISA/INRIA Rennes, France, March 2002. |
|
|
|
Jobs for CS Graduates An introduction for new CS students. Presented at Columbia, February 2002. |
|
| 2001 | ||
|
|
ESUIF: An Open Esterel Compiler A work-in-progress description of the ESUIF Esterel compiler. Presented at the Synchronous Languages Workshop, Schoß Dagstuhl, Germany, December 2001. |
|
|
|
Esterel and Other Projects A summary of existing Esterel work and future plans Presented at Intel, Portland, Oregon, October 2001. |
|
|
|
Finding Industry Jobs A short presentation given at Columbia, October 3, 2001. |
|
|
|
Domain-Specific Langauges for Embedded System Development Presented as part of the CS Colloquium, Columbia, September 17, 2001. |
|
|
|
Scaling the Abstraction Cliff: High-level Languages for System Design Tutorial A2 Presented at Design, Automation and Test in Europe (DATE 2001) Munich, Germany, March 2001 Second half of the presentation was given by Luciano Lavagno |
|
| 2000 | ||
| Windows Media Player file |
Compiling Esterel into Sequential Code Presented at the 37th Design Automation Conference, Los Angeles, California, June, 2000. |
|
| 1997 | ||
|
|
Synchronous Reactive Systems. Presented at the University of Texas, Austin, February, 1997. |
|
| 1996 | ||
|
The SR Domain. Presented at Schoß Dagstuhl, December, 1996. |
|
|
|
Heterogenously-Specified Synchronous Controllers. Presented at the Berkeley Industrial Liason Program, March 14, 1996. |
|
|
|
A Short Introduction to Autoconf. Presented at Berkeley, January, 1996. |
|
| 1995 | ||
|
|
The Specification and Execution of Heterogeneous Synchronous
Reactive Systems. My qualifying examination, December 11th, 1995. |
|
| tcltalk1995.tar.gz |
An Introduction to Tcl/Tk. Presented at Berkeley, 1995. This is a slide projector written in a very old version of Tcl/Tk. It does not work with newer versions. |
|
| 1994 | ||
| HTML |
A trip report on the Second International WWW Conference. Chicago, Illinois, 1994. |
|
| Copyright © 2004 Stephen A. Edwards | Updated Tue Mar 4 17:18:36 EST 2008 | All Rights reserved |