Stephen A. Edwards Columbia University Crown
  Publications
Home Publications Presentations Software Classes Advising Personal
  This material is based upon work supported by the National Science Foundation under Grant No. 0133348. Other support includes the SRC, the New York State NYSTAR program, Intel Corporation, and Altera.
  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
 2008
  20 page PDF File (for Acrobat) Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards and Edward A. Lee.
Predictable Programming on a Precision Timed Architecture.
EECS Department Technical Report No. UCB/EECS-2008-40, University of California, Berkeley.
  9 page PDF File (for Acrobat) Nalini Vasudevan and Stephen A. Edwards.
Static Deadlock Detection for the SHIM Concurrent Language.
In Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Anaheim, California, USA, June 5-7, 2008..
  12 page PDF File (for Acrobat) Nalini Vasudevan, Satnam Singh, and Stephen A. Edwards.
A Deterministic Multi-Way Rendezvous Library for Haskell.
In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS).
Miami, Florida, USA, April 2008..
  6 page PDF File (for Acrobat) Stephen A. Edwards, Nalini Vasudevan, and Olivier Tardieu.
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.
In Proceedings of Design Automation and Test in Europe (DATE).
Munich, Germany, March 2008..
  6 page PDF File (for Acrobat) Marcio Buss, Daniel Brand, Vugranam Sreedhar, and Stephen A. Edwards.
Flexible Pointer Analysis Using Assign-Fetch Graphs.
In Proceedings of the 23rd Annual ACM Symposium on Applied Computing.
Fortaleza, Ceará, Brazil, March 16-20, 2008.
  177 page PDF File (for Acrobat) Marcio O. Buss.
Summary-Based Pointer Analysis Framework for Modular Bug Finding.
PhD Thesis, Columbia University, Feburary, 2008 (CUCS-013-08).
  10 page PDF File (for Acrobat) Stephen A. Edwards and Jia Zeng.
Static Elaboration of Recursion for Concurrent Software.
In Proceedings of the Workshop on Partial Evaluation and Progra Manipulation (PEPM).
San Francisco, California, January 7-8, 2008.
 2007
  133 page PDF File (for Acrobat) Jia Zeng.
Partial Evaluation for Code Generation from Domain-Specific Languages.
PhD Thesis, Columbia University, November, 2007 (CUCS-048-07).
  151 page PDF File (for Acrobat) Cristian Soviani.
High Level Synthesis of Packet Processing Pipelines.
PhD Thesis, Columbia University, October, 2007 (CUCS-041-07).
  27 page PDF File (for Acrobat) Marcio Buss, Daniel Brand, Vugranam Sreedhar, and Stephen A. Edwards.
A new abstraction for summary-based pointer analysis.
Technical Report RC24104, IBM.
  31 page PDF File (for Acrobat) Stephen A. Edwards and Jia Zeng.
Code Generation in the Columbia Esterel Compiler.
EURASIP Journal on Embedded Systems vol. 2007, Article ID 52651, 31 pages, 2007.
  Cover of Compiling Esterel Dumitru Potop-Butucaru, Stephen A. Edwards, and Gérard Berry.
Compiling Esterel.
Springer-Verlag, New York, 2007.
ISBN 9780387706269
It is available from amazon.com and barnesandnoble.com
  2 page PDF File (for Acrobat) Stephen A. Edwards and Edward A. Lee.
The Case for the Precision Timed (PRET) Machine.
In Proceedings of the 44th Design Automation Conference (DAC).
San Diego, California, June 4-8, 2007.
  7 page PDF File (for Acrobat) Cristian Soviani and Stephen A. Edwards.
FIFO Sizing for High-Performance Pipelines.
In Proceedings of the International Workshop on Logic and Synthesis (IWLS).
San Diego, California, June, 2007.
  15 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
Instantaneous Transitions in Esterel.
In Proceedings of the Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P).
Braga, Portugal, March 31, 2007.
  12 page PDF File (for Acrobat) Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards.
Optimizing Sequential Cycles through Shannon Decomposition and Retiming.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 26(3):456--467 March 2007.
  5 page PDF File (for Acrobat) Haim Cohen and Stephen A. Edwards.
{sets} -- A lightweight constraint programming language based on ROBDDs.
In Proceedings of the IADIS International Conference on Applied Computing.
Salamanca, Spain, February 18-20, 2007.
 2006
  27 page PDF File (for Acrobat) Chen-Chun Huang, Javier Coca, Yashket Gupta, and Stephen A. Edwards.
An Implementation of a Renesas H8/300 Microprocessor with a Cycle-Level Timing Extension.
Computer Science Technical Report CUCS-051-06, Columbia University.
  13 page PDF File (for Acrobat) Nalini Vasudevan and Stephen A. Edwards.
A JPEG Decoder in SHIM.
Computer Science Technical Report CUCS-048-06, Columbia University.
  7 page PDF File (for Acrobat) Smridh Thapar, Olivier Tardieu, and Stephen A. Edwards.
Arrays in SHIM: A Proposal.
Computer Science Technical Report CUCS-047-06, Columbia University.
  7 page PDF File (for Acrobat) Stephen A. Edwards and Edward A. Lee.
The Case for the Precision Timed (PRET) Machine.
EECS Department Technical Report No. UCB/EECS-2006-149, University of California, Berkeley.
  18 page PDF File (for Acrobat) Neesha Subramaniam, Ohan Oda, and Stephen A. Edwards.
MacShim: Compiling MATLAB to a Scheduling-Independent Concurrent Language.
Computer Science Technical Report CUCS-038-06, Columbia University.
  18 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
Specifying Confluent Processes.
Computer Science Technical Report CUCS-037-06, Columbia University.
  18 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
Scheduling-Independent Threads and Exceptions in SHIM.
Computer Science Technical Report CUCS-036-06, Columbia University.
  12 page PDF File (for Acrobat) Stephen A. Edwards.
The Challenges of Synthesizing Hardware from C-Like Languages.
IEEE Design & Test of Computers 23(5):375--386 September/October 2006.
  74 page PDF File (for Acrobat) Stephen A. Edwards.
Method & Apparatus for Converting a Concurrent Control Flow Graph into a Sequential Control Flow Graph.
US Patent 7,100,164.
Issued August 29, 2006; filed January 6, 2000.
Assigned to Synopsys, Inc.
  10 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
Scheduling-Independent Threads and Exceptions in SHIM.
In Proceedings of the Proceedings of the International Conference on Embedded Software (Emsoft).
Seoul, Korea, October 22-25, 2006.
  10 page PDF File (for Acrobat) Nicholas Jun Hao Ip and Stephen A. Edwards.
A Processor Extension for Cycle-Accurate Real-Time Software.
In Proceedings of the IFIP International Conference on Embedded and Ubiquitous Computing (EUC) .
Seoul, Korea, August 1-4, 2006.
  1 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
R-SHIM: Deterministic Concurrency with Recursion and Shared Variables.
In Proceedings of the 4rd International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Napa, California, July 27-29, 2006.
  4 page PDF File (for Acrobat) Cristian Soviani, Ilija Hadzic, and Stephen A. Edwards.
Synthesis of High-Performance Packet Processing Pipelines.
In Proceedings of the 43th Design Automation Conference (DAC).
San Francisco, California, July 24-28, 2006.
  10 page PDF File (for Acrobat) Stephen A. Edwards and Olivier Tardieu.
Efficient Code Generation from SHIM Models.
In Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES).
Ottawa, Canada, June 14-16, 2006.
  15 page PDF File (for Acrobat) Stephen A. Edwards and Olivier Tardieu.
SHIM: A Deterministic Model for Heterogeneous Embedded Systems.
IEEE Transactions on Very Large Scale Integration Systems 14(8):854--867 August 2006.
  14 page PDF File (for Acrobat) Becky Plummer, Mukul Khajanchi, and Stephen A. Edwards.
An Esterel Virtual Machine for Embedded Systems.
In Proceedings of Synchronous Languages, Applications, and Programming (SLAP).
Vienna, Austria, March 25, 2006.
  18 page PDF File (for Acrobat) Jia Zeng, Chuck Mitchell, and Stephen A. Edwards.
A domain-specific language for generating dataflow analyzers.
In Proceedings of the Sixth Workshop on Language Descriptions, Tools and Applications.
Vienna, Austria, April 2006.
  6 page PDF File (for Acrobat) Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards.
Optimizing Sequential Cycles through Shannon Decomposition and Retiming.
In Proceedings of Design Automation and Test in Europe (DATE).
Munich, Germany, March 2006. Best paper award.
  6 page PDF File (for Acrobat) Osama Neiroukh, Stephen A. Edwards, and Xioyu Song.
An efficient algorithm for the analysis of cyclic circuits.
In Proceedings of the Symposium on VLSI (ISVLSI).
Karlsruhe, Germany, March 2006.
  8 page PDF File (for Acrobat) Stephen A. Edwards.
Using program specialization to speed SystemC fixed-point simulation.
In Proceedings of the Workshop on Partial Evaluation and Progra Manipulation (PEPM).
Charleston, South Carolina, January 2006.
 2005
  12 page PDF File (for Acrobat) Jia Zeng and Stephen A. Edwards.
Separate Compilation of Synchronous Modules.
In Proceedings of the 2nd International Conference on Embedded Software and Systems (ICESS).
Xian, China, December 2005.
  6 page PDF File (for Acrobat) Cristian Soviani, Stephen A. Edwards, and Angelos Keromytis.
Adding a flow-oriented paradigm to commodity operating systems.
In Proceedings of the Workshop on Interaction between Operating System and Computer Architecture (IOSCA).
Austin, Texas, October 2005.
  15 page PDF File (for Acrobat) Olivier Tardieu and Stephen A. Edwards.
Approximate Reachability for Dead Code Elimination in Esterel*.
In Proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA).
Taipei, Taiwan, October 2005.
  10 page PDF File (for Acrobat) Marcio Buss, Stephen A. Edwards, Bin Yao, and Daniel Waddington.
Pointer Analysis for Source-to-Source Transformations.
In Proceedings of the Fifth International Workshop on Source Code Analysis and Manipulation (SCAM).
Budapest, Hungary, September 2005.
  7 page PDF File (for Acrobat) Stephen A. Edwards.
Experiences Teaching an FPGA-based Embedded Systems Class.
In Proceedings of the workshop on embedded systems education (WESE).
Jersey City, NJ, September 2005.
  7 page PDF File (for Acrobat) Stephen A. Edwards and Olivier Tardieu.
SHIM: A Deterministic Model for Heterogeneous Embedded Systems.
In Proceedings of the ACM Conference on Embedded Software (Emsoft).
Jersey City, NJ, September 2005.
  14 page PDF File (for Acrobat) Marcio Buss, Stephen A. Edwards, Bin Yao, and Daniel Waddington.
Pointer Analysis for C Programs Through AST Traversal.
Computer Science Technical Report CUCS-028-05, Columbia University.
  18 page PDF File (for Acrobat) Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, and Stephen A. Edwards.
Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
Computer Science Technical Report CUCS-018-05, Columbia University.
  8 page PDF File (for Acrobat) Stephen A. Edwards and Olivier Tardieu.
Deterministic Receptive Processes are Kahn Processes.
In Proceedings of the 3rd International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Verona, Italy, July 2005.
  13 page PDF File (for Acrobat) Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, and Stephen A. Edwards.
Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
In Proceedings of the 17th International Conference on Computer-Aided Verification (CAV).
Edinburgh, Scotland, July 2005.
  8 page PDF File (for Acrobat) Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards.
High-Level Optimization by Combining Retiming and Shannon Decomposition.
In Proceedings of the International Workshop on Logic and Synthesis (IWLS).
Lake Arrowhead, California, June, 2005.
  7 page PDF File (for Acrobat) Cristian Soviani and Stephen A. Edwards.
Challenges in Synthesizing Fast Control-Dominated Circuits.
In Proceedings of the International Workshop on Logic and Synthesis (IWLS).
Lake Arrowhead, California, June, 2005.
  15 page PDF File (for Acrobat) Stephen A. Edwards.
SHIM: A Language for Hardware/Software Integration.
In Proceedings of Synchronous Languages, Applications, and Programming (SLAP).
Edinburgh, Scotland, April 3, 2005.
  2 page PDF File (for Acrobat) Stephen A. Edwards.
The Challenge of Hardware Synthesis from C-like Languages.
In Proceedings of Design Automation and Test in Europe (DATE).
Munich, Germany, March 2005.
 2004
  11 page PDF File (for Acrobat) Stephen A. Edwards and Chun Li.
Determining Interfaces using Type Inference.
Computer Science Technical Report CUCS-052-04, Columbia University.
  13 page PDF File (for Acrobat) Cristian Soviani, Jia Zeng, and Stephen A. Edwards.
Sequential Challenges in Synthesizing Esterel.
Computer Science Technical Report CUCS-051-04, Columbia University.
  6 page PDF File (for Acrobat) Stephen A. Edwards.
SHIM: A Language for Hardware/Software Integration.
In Proceedings of SYNCHRON.
Schloss Dagstuhl, Germany, December 2004.
  Stephen A. Edwards.
Languages for Embedded Systems.
In Richard Zurawski, ed. The Industrial Information Technology Handbook.
CRC Press, Boca Raton, Florida, 2004.
  18 page PDF File (for Acrobat) Stephen A. Edwards.
Design and Verification Languages.
Computer Science Technical Report CUCS-046-04, Columbia University.
  12 page PDF File (for Acrobat) Hanoril Estevez and Stephen A. Edwards.
Live CD Cluster Performance.
Computer Science Technical Report CUCS-037-04, Columbia University.
  8 page PDF File (for Acrobat) Stephen A. Edwards.
The Challenges of Hardware Synthesis from C-like Languages.
In Proceedings of the International Workshop on Logic and Synthesis (IWLS).
Temecula, California, June, 2004.
  7 page PDF File (for Acrobat) Jia Zeng, Cristian Soviani, and Stephen A. Edwards.
Generating Fast Code from Concurrent Program Dependence Graphs.
In Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES).
Washington, DC, June 11-13, 2004.
  7 page PDF File (for Acrobat) Christopher L. Conway and Stephen A. Edwards.
NDL: A Domain-Specific Language for Device Drivers.
In Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES).
Washington, DC, June 11-13, 2004.
  6 page PDF File (for Acrobat) Cristian Soviani, Jia Zeng, and Stephen A. Edwards.
Improved Controller Synthesis from Esterel.
Computer Science Technical Report CUCS-015-04, Columbia University.
  15 page 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).
Barcelona, Spain, March 28, 2004.
 2003
  22 page 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.
  47 page 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.
  6 page PDF File (for Acrobat) Stephen A. Edwards.
Design Languages for Embedded Systems.
Computer Science Technical Report CUCS-009-03, Columbia University.
  4 page 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.
  6 page 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.
  20 page 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
  5 page PDF File (for Acrobat) Stephen A. Edwards.
High-level Synthesis from the Synchronous Language Esterel.
In Proceedings of the International Workshop on Logic and Synthesis (IWLS).
New Orleans, Louisiana, June, 2002.
  15 page 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.
  16 page 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
  43 page PDF File (for Acrobat) Stephen A. Edwards.
Compiling Concurrent Languages for Sequential Processors.
Computer Science Technical Report CUCS-013-01, Columbia University.
  6 page PDF File (for Acrobat) Stephen A. Edwards, Tony Ma, and Robert Damiano.
Using a Hardware Model Checker to Verify Software.
In Proceedings of the 4th International Conference on ASIC (ASICON).
Shanghai, China, October 22-25, 2001.
  10 page PDF File (for Acrobat) Stephen A. Edwards.
Design Languages for Embedded Systems.
In Proceedings of the Second Online Symposium for Electrical Engineers (OSEE2).
March 2001.
 2000
  Cover of Languages for Digital Embedded Systems Stephen A. Edwards.
Languages for Digital Embedded Systems.
Kluwer, Boston, Massachusetts, 2000.
ISBN 079237925X
It is available from amazon.com and barnesandnoble.com
  6 page PDF File (for Acrobat) Stephen A. Edwards.
Compiling Esterel into Sequential Code.
In Proceedings of the 37th Design Automation Conference (DAC 2000).
Los Angeles, California, June 5-9, 2000. pp. 322-327..
 1999
  5 page PDF File (for Acrobat) 5 page PostScript File Stephen A. Edwards.
Compiling Esterel into Sequential Code.
In Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES 99).
Rome, Italy, May 3-5, 1999. pp. 147-151.
 1998
  10 page PostScript File Gitanjali Swamy, Stephen A. Edwards, and Robert Brayton.
Efficient Verification and Synthesis using Design Commonalities.
In Proceedings of the Eleventh International Conference on VLSI Design (VLSI 98).
Chennai, India, January 4-7, 1998.
 1997
  172 page PDF File (for Acrobat) 172 page PostScript File Stephen A. Edwards.
The Specification and Execution of Heterogeneous Synchronous Reactive Systems.
PhD Thesis, University of California, Berkeley, March, 1997. .
  22 page PDF File (for Acrobat) 22 page PostScript File Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, and Alberto Sangiovanni-Vincentelli.
Design of embedded systems: Formal models, validation, and synthesis.
Proceedings of the IEEE 85(3):366-390, March, 1997
  Gitanjali Swamy, Stephen A. Edwards, and Robert Brayton.
Efficient Verification and Synthesis using Design Commonalities.
In Proceedings of the International Workshop on Logic Synthesis (IWLS 97).
Tahoe City, Nevada, May 19-21 1997.
 1996
  4 page PostScript File Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu Tsung Cheng, Stephen A. Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, and Tiziano Villa.
VIS: A system for verification and synthesis.
In Proceedings of the Eighth International Conference on Computer-Aided Verification (CAV 96).
New Brunswick, NJ, July 1996.
  8 page PostScript File Arlindo L. Oliveira and Stephen A. Edwards.
Limits of exact algorithms for inference of minimum size finite state machines.
In Proceedings of the Seventh Annual Workshop on Algorithmic Learning Theory (ALT 96).
number 1160 in Lecture Notes in Artifical Intelligence pages 59-66, Sydney, Australia, October 1996. Springer-Verlag.
 1994
  84 page PostScript File Stephen A. Edwards.
An Esterel Compiler for a Synchronous/Reactive Development System.
Masters thesis, University of California, Berkeley, June 1994.
Copyright © 2004 Stephen A. Edwards Updated Fri Apr 18 21:09:58 EDT 2008 All Rights reserved