Index of /~sedwards/papers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]8bit.pdf2003-10-20 23:28 11K 
[ ]BYTE Vol 00-06 1976-02 Color Graphics.pdf2012-04-12 14:36 52M 
[ ]Minnesota-Monthly-September-1981.pdf2007-01-03 23:08 3.0M 
[ ]TMS9918.pdf2008-12-27 20:23 5.6M 
[ ]Understanding the Apple IIe.pdf2008-11-14 13:46 130M 
[ ]aho2003compiling.pdf2003-11-17 13:27 218K 
[ ]barker2022synthesized.pdf2022-07-29 00:22 230K 
[ ]benveniste2003synchronous.pdf2003-02-07 15:19 552K 
[ ]brayton1996vis.pdf2012-07-26 10:46 39K 
[ ]brayton1996vis.ps2001-07-23 12:49 34K 
[ ]buss2005pointer.pdf2005-09-06 22:55 3.6M 
[ ]buss2005pointer2.pdf2005-07-16 10:30 8.0M 
[ ]buss2007new.pdf2007-09-25 16:27 231K 
[ ]buss2008flexible.pdf2007-10-30 16:11 180K 
[ ]buss2008summary.pdf2008-03-05 16:18 1.7M 
[ ]buss2010novel.pdf2009-10-21 16:49 2.8M 
[ ]cao2015implementing.pdf2015-08-20 22:55 160K 
[ ]cao2017deadlock-free.pdf2017-04-07 15:02 887K 
[ ]cman.pdf2003-01-18 14:31 72K 
[ ]cohen2007sets.pdf2007-01-14 18:46 208K 
[ ]conway2004ndl.pdf2004-04-11 17:38 115K 
[ ]conway2005incremental.pdf2005-04-29 16:08 183K 
[ ]conway2005incremental2.pdf2005-07-16 10:25 233K 
[ ]dedhia2009example.pdf2009-02-11 21:16 175K 
[ ]deshpande2012statically.pdf2012-07-26 11:38 246K 
[ ]edwards1994esterel.pdf2012-07-26 10:46 389K 
[ ]edwards1994esterel.ps2001-07-23 12:49 441K 
[ ]edwards1995interactive.ps1995-06-27 01:08 316K 
[ ]edwards1997design.pdf2001-07-23 12:53 281K 
[ ]edwards1997design.ps2001-07-23 12:48 343K 
[ ]edwards1997specification.pdf2001-07-23 12:46 568K 
[ ]edwards1997specification.ps2001-07-23 12:46 954K 
[ ]edwards1999compiling.pdf2001-07-23 12:45 108K 
[ ]edwards1999compiling.ps2001-07-23 12:45 247K 
[ ]edwards2000compiling.pdf2001-07-23 12:45 144K 
[ ]edwards2001compiling.pdf2001-10-29 14:20 288K 
[ ]edwards2001design.pdf2001-07-23 12:44 40K 
[ ]edwards2001using.pdf2001-07-23 12:44 56K 
[ ]edwards2002esterel.pdf2002-02-18 10:42 267K 
[ ]edwards2002esuif.pdf2002-02-09 18:53 203K 
[ ]edwards2002high-level.pdf2002-10-02 09:11 73K 
[ ]edwards2002semantics.pdf2002-04-25 12:46 173K 
[ ]edwards2003compiling.pdf2003-06-07 15:37 754K 
[ ]edwards2003design.pdf2003-05-11 00:11 56K 
[ ]edwards2003making.pdf2003-06-07 20:50 192K 
[ ]edwards2003semantics.pdf2003-06-07 15:24 332K 
[ ]edwards2004challenges.pdf2004-05-03 13:19 75K 
[ ]edwards2004compiling.pdf2004-02-26 16:10 190K 
[ ]edwards2004design.pdf2004-11-18 15:52 133K 
[ ]edwards2004determining.pdf2004-12-21 00:07 113K 
[ ]edwards2004shim.pdf2004-12-04 17:30 61K 
[ ]edwards2005challenges.pdf2004-12-04 17:16 33K 
[ ]edwards2005deterministic.pdf2005-05-23 10:45 131K 
[ ]edwards2005experiences.pdf2005-09-06 22:39 177K 
[ ]edwards2005shim.pdf2005-06-22 09:20 154K 
[ ]edwards2005shim2.pdf2005-06-28 12:02 108K 
[ ]edwards2006case.pdf2006-11-17 22:16 98K 
[ ]edwards2006challenges.pdf2006-09-27 12:09 128K 
[ ]edwards2006efficient.pdf2006-04-07 18:07 201K 
[ ]edwards2006shim.pdf2006-02-21 17:25 255K 
[ ]edwards2006using.pdf2005-12-15 12:26 157K 
[ ]edwards2007case.pdf2007-03-28 21:20 49K 
[ ]edwards2007code.pdf2007-05-19 19:21 1.4M 
[ ]edwards2008programming.pdf2007-12-04 16:40 116K 
[ ]edwards2008static.pdf2007-11-21 17:00 189K 
[ ]edwards2009concurrency.pdf2009-11-05 12:34 171K 
[ ]edwards2009disruptive.pdf2009-09-21 11:16 144K 
[ ]edwards2009reconciling.pdf2009-09-21 10:26 84K 
[ ]edwards2009retrocomputing.pdf2009-01-12 11:25 243K 
[ ]edwards2010compiling.pdf2010-11-19 09:30 285K 
[ ]edwards2012functional.pdf2012-06-20 08:16 132K 
[ ]edwards2012memocode.pdf2012-11-27 08:50 195K 
[ ]edwards2012reconstructing.pdf2013-01-04 22:51 598K 
[ ]edwards2013finer.pdf2013-02-20 14:53 361K 
[ ]edwards2013functioning.pdf2013-10-09 15:25 332K 
[ ]edwards2014memocode.pdf2015-01-21 20:03 98K 
[ ]edwards2014synchronous.pdf2014-03-18 19:18 870K 
[ ]edwards2017compositional.pdf2017-07-27 21:49 751K 
[ ]edwards2017determinism.pdf2017-10-13 16:02 265K 
[ ]edwards2018further.pdf2018-10-02 21:51 4.4M 
[ ]edwards2019compositional.pdf2019-02-09 12:29 2.5M 
[ ]edwards2019fhw.pdf2019-08-05 21:45 299K 
[ ]edwards2019further.pdf2019-08-02 13:35 1.8M 
[ ]edwards2020sparse.pdf2020-07-29 22:48 156K 
[ ]estevez2004live.pdf2004-10-04 10:27 616K 
[ ]ganapathi2008shim.pdf2009-01-03 13:41 67K 
[ ]gosling2000java.pdf2002-12-21 15:22 4.2M 
[ ]huang2006implementation.pdf2006-12-31 23:59 5.3M 
[ ]hui2022sparse.pdf2022-12-16 13:38 357K 
[ ]hui2023timestamp.pdf2023-08-31 13:11 663K 
[ ]hui2023towards.pdf2023-05-09 14:39 591K 
[ ]ip2006processor.pdf2006-04-21 16:45 110K 
[ ]jan2003porting.pdf2002-12-06 16:28 62K 
[ ]joshi2008mpeg.pdf2009-01-03 13:41 85K 
[ ]kahn1974semantics.pdf2002-11-07 15:31 704K 
[ ]kim2009using.pdf2009-09-23 18:39 154K 
[ ]kim2010computation.pdf2010-11-19 09:53 1.6M 
[ ]krook2022creating.pdf2022-09-27 14:28 352K 
[ ]lariviere2008uclinux.pdf2009-01-03 13:41 277K 
[ ]levatich2022c.pdf2023-01-31 18:51 344K 
[ ]lickly2008predictable-tr.pdf2008-04-18 21:14 4.1M 
[ ]lickly2008predictable.pdf2008-08-02 09:16 906K 
[ ]lohstroh2023logical.pdf2023-05-09 14:39 525K 
[ ]lottarini2017network.pdf2017-04-23 14:19 184K 
[ ]lottarini2019master.pdf2019-08-23 22:33 712K 
[ ]microsoft2001csharp.pdf2002-12-21 15:25 3.9M 
[ ]neiroukh2006efficient.pdf2005-12-12 20:42 102K 
[ ]neiroukh2008transforming.pdf2008-09-29 09:43 387K 
[ ]oliveira1996limits.pdf2012-07-26 10:46 157K 
[ ]oliveira1996limits.ps2001-07-23 12:49 132K 
[ ]patent7100164.pdf2006-09-14 13:45 2.5M 
[ ]plummer2006esterel.pdf2006-02-11 18:44 182K 
[ ]robby.pdf2005-01-12 13:13 42K 
[ ]sgi1999c.pdf2002-12-21 15:32 720K 
[ ]shah2008memory.pdf2009-01-03 13:41 2.2M 
[ ]shao2009compositional.pdf2009-10-21 17:23 714K 
[ ]shukla2003high.pdf2012-07-26 11:24 259K 
[ ]smith2008static.pdf2009-01-03 13:41 81K 
[ ]soviani2004improved.pdf2004-03-22 10:57 75K 
[ ]soviani2004improving.pdf2003-09-05 21:21 75K 
[ ]soviani2004sequential.pdf2004-12-21 00:07 112K 
[ ]soviani2005adding.pdf2005-09-27 19:26 68K 
[ ]soviani2005challenges.pdf2005-04-27 18:14 78K 
[ ]soviani2005high-level.pdf2005-04-29 13:37 118K 
[ ]soviani2006optimizing.pdf2005-12-05 23:55 150K 
[ ]soviani2006synthesis.pdf2006-05-08 12:13 237K 
[ ]soviani2007fifo.pdf2007-04-22 23:07 161K 
[ ]soviani2007high.pdf2007-10-30 10:43 1.1M 
[ ]soviani2007optimizing.pdf2007-02-23 13:00 512K 
[ ]soviani2009synthesis.pdf2009-01-27 20:27 606K 
[ ]subramaniam2006macshim.pdf2006-09-22 18:24 115K 
[ ]sun1995java.pdf2002-12-21 14:49 157K 
[ ]swamy1998efficient.pdf2012-07-26 10:44 187K 
[ ]swamy1998efficient.ps2001-07-23 12:46 182K 
[ ]tardieu2005approximate.pdf2005-08-02 05:37 222K 
[ ]tardieu2006rshim.pdf2006-07-28 18:56 74K 
[ ]tardieu2006scheduling-independent.pdf2006-08-09 22:01 126K 
[ ]tardieu2006scheduling-independent1.pdf2006-09-22 10:32 185K 
[ ]tardieu2006specifying.pdf2006-09-22 18:19 170K 
[ ]tardieu2007instantaneous.pdf2007-02-26 15:24 196K 
[ ]thapar2006arrays.pdf2006-12-24 14:49 93K 
[ ]townsend2014resource.pdf2014-07-19 15:56 302K 
[ ]townsend2015hardware.pdf2015-09-21 15:59 187K 
[ ]townsend2017functional.pdf2017-01-27 16:03 254K 
[ ]townsend2019compiling.pdf2019-06-10 15:08 1.0M 
[ ]ueda1989tv.pdf2005-08-15 03:06 1.0M 
[ ]vasudevan2006jpeg.pdf2006-12-25 12:25 248K 
[ ]vasudevan2008analysis.pdf2009-01-03 13:41 184K 
[ ]vasudevan2008deterministic.pdf2008-01-21 14:33 122K 
[ ]vasudevan2008static.pdf2008-04-10 14:14 102K 
[ ]vasudevan2009buffer.pdf2009-07-05 17:47 102K 
[ ]vasudevan2009celling.pdf2008-10-22 10:05 122K 
[ ]vasudevan2009compile-time.pdf2009-03-26 16:17 169K 
[ ]vasudevan2009determinizing.pdf2009-07-05 17:53 22K 
[ ]vasudevan2010buffer.pdf2010-11-19 09:38 173K 
[ ]vasudevan2010determinism.pdf2010-04-27 15:45 56K 
[ ]vasudevan2010ensuring.pdf2010-04-27 15:45 46K 
[ ]vasudevan2010simple.pdf2010-11-19 09:49 188K 
[ ]vasudevan2011efficient.pdf2011-04-04 10:39 1.3M 
[ ]vendenbout2012whats.pdf2013-03-13 14:03 322K 
[ ]wu2012cache.pdf2011-10-24 14:06 231K 
[ ]zeng2004generating.pdf2004-04-20 13:16 92K 
[ ]zeng2005separate.pdf2005-10-11 15:30 101K 
[ ]zeng2006domain-specific.pdf2006-02-04 10:53 180K 
[ ]zeng2007partial.pdf2008-03-04 17:17 550K 
[ ]zhai2015hardware-tr.pdf2015-08-20 22:37 218K 
[ ]zhai2015hardware.pdf2015-08-20 22:37 231K