default search action
BibTeX records: Stephen A. Edwards
@inproceedings{DBLP:conf/cpsweek/LohstrohLEB23, author = {Marten Lohstroh and Edward A. Lee and Stephen A. Edwards and David Broman}, title = {Logical Time for Reactive Software}, booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023}, pages = {313--318}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576914.3587494}, doi = {10.1145/3576914.3587494}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/LohstrohLEB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/HuiE23, author = {John Hui and Stephen A. Edwards}, title = {Towards Sparse Synchronous Programming in Lua}, booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023}, pages = {361--366}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576914.3587502}, doi = {10.1145/3576914.3587502}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/HuiE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/HuiEE23, author = {John Hui and Kyle J. Edwards and Stephen A. Edwards}, editor = {Reinhard von Hanxleden and Stephen A. Edwards and Jens Brandt and Qi Zhu}, title = {Timestamp Peripherals for Precise Real-Time Programming}, booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22, 2023}, pages = {137--147}, publisher = {{ACM} / {IEEE}}, year = {2023}, url = {https://ieeexplore.ieee.org/document/10316219}, timestamp = {Fri, 15 Dec 2023 12:01:04 +0100}, biburl = {https://dblp.org/rec/conf/memocode/HuiEE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/memocode/2023, editor = {Reinhard von Hanxleden and Stephen A. Edwards and Jens Brandt and Qi Zhu}, title = {21st {ACM-IEEE} International Symposium on Formal Methods and Models for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22, 2023}, publisher = {{ACM} / {IEEE}}, year = {2023}, url = {https://doi.org/10.1145/3610579}, doi = {10.1145/3610579}, isbn = {979-8-4007-0318-8}, timestamp = {Fri, 15 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpga/BarkerEK22, author = {Martha Barker and Stephen A. Edwards and Martha A. Kim}, editor = {Michael Adler and Paolo Ienne}, title = {Synthesized Garbage Collection for {FPGA} Accelerators}, booktitle = {{FPGA} '22: The 2022 {ACM/SIGDA} International Symposium on Field-Programmable Gate Arrays, Virtual Event, USA, 27 February 2022 - 1 March 2022}, pages = {53}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3490422.3502341}, doi = {10.1145/3490422.3502341}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fpga/BarkerEK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/BarkerEK22, author = {Martha Barker and Stephen A. Edwards and Martha A. Kim}, title = {Synthesized In-BramGarbage Collection for Accelerators with Immutable Memory}, booktitle = {32nd International Conference on Field-Programmable Logic and Applications, {FPL} 2022, Belfast, United Kingdom, August 29 - Sept. 2, 2022}, pages = {47--53}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/FPL57034.2022.00019}, doi = {10.1109/FPL57034.2022.00019}, timestamp = {Mon, 20 Feb 2023 17:38:16 +0100}, biburl = {https://dblp.org/rec/conf/fpl/BarkerEK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/KrookHSEC22, author = {Robert Krook and John Hui and Bo Joel Svensson and Stephen A. Edwards and Koen Claessen}, title = {Creating a Language for Writing Real-Time Applications for the Internet of Things}, booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14, 2022}, pages = {1--20}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954383}, doi = {10.1109/MEMOCODE57689.2022.9954383}, timestamp = {Wed, 07 Dec 2022 23:11:51 +0100}, biburl = {https://dblp.org/rec/conf/memocode/KrookHSEC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/milcom/LevatichBFCKE22, author = {Maxwell Levatich and Robert Brotzman and Benjamin Flin and Ta Chen and Rajesh Krishnan and Stephen A. Edwards}, title = {C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification}, booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2022, Rockville, MD, USA, November 28 - December 2, 2022}, pages = {285--291}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/MILCOM55135.2022.10017451}, doi = {10.1109/MILCOM55135.2022.10017451}, timestamp = {Wed, 08 Feb 2023 17:46:14 +0100}, biburl = {https://dblp.org/rec/conf/milcom/LevatichBFCKE22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/EdwardsH20, author = {Stephen A. Edwards and John Hui}, title = {The Sparse Synchronous Model}, booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany, September 15-17, 2020}, pages = {1--8}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/FDL50818.2020.9232938}, doi = {10.1109/FDL50818.2020.9232938}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fdl/EdwardsH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/EdwardsTBK19, author = {Stephen A. Edwards and Richard Townsend and Martha Barker and Martha A. Kim}, title = {Compositional Dataflow Circuits}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {18}, number = {1}, pages = {5:1--5:27}, year = {2019}, url = {https://doi.org/10.1145/3274280}, doi = {10.1145/3274280}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/EdwardsTBK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isca/LottariniCRERSK19, author = {Andrea Lottarini and Jo{\~{a}}o Pedro Cerqueira and Thomas J. Repetti and Stephen A. Edwards and Kenneth A. Ross and Mingoo Seok and Martha A. Kim}, editor = {Srilatha Bobbie Manne and Hillery C. Hunter and Erik R. Altman}, title = {Master of none acceleration: a comparison of accelerator architectures for analytical query processing}, booktitle = {Proceedings of the 46th International Symposium on Computer Architecture, {ISCA} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {762--773}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3307650.3322220}, doi = {10.1145/3307650.3322220}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isca/LottariniCRERSK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Edwards18, author = {Stephen A. Edwards}, editor = {Marten Lohstroh and Patricia Derler and Marjan Sirjani}, title = {On Determinism}, booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10760}, pages = {240--253}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-95246-8\_14}, doi = {10.1007/978-3-319-95246-8\_14}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Edwards18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cyphy/Edwards18, author = {Stephen A. Edwards}, editor = {Roger D. Chamberlain and Walid Taha and Martin T{\"{o}}rngren}, title = {Further Experiences Teaching an FPGA-Based Embedded Systems Class}, booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11615}, pages = {222--230}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-23703-5\_14}, doi = {10.1007/978-3-030-23703-5\_14}, timestamp = {Fri, 05 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cyphy/Edwards18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cc/TownsendKE17, author = {Richard Townsend and Martha A. Kim and Stephen A. Edwards}, editor = {Peng Wu and Sebastian Hack}, title = {From functional programs to pipelined dataflow circuits}, booktitle = {Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017}, pages = {76--86}, publisher = {{ACM}}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3033027}, timestamp = {Tue, 06 Nov 2018 16:57:57 +0100}, biburl = {https://dblp.org/rec/conf/cc/TownsendKE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/LottariniERK17, author = {Andrea Lottarini and Stephen A. Edwards and Kenneth A. Ross and Martha A. Kim}, title = {Network Synthesis for Database Processing Units}, booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC} 2017, Austin, TX, USA, June 18-22, 2017}, pages = {90:1--90:6}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3061639.3062289}, doi = {10.1145/3061639.3062289}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/LottariniERK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/damon/CaoREK17, author = {Bingyi Cao and Kenneth A. Ross and Stephen A. Edwards and Martha A. Kim}, title = {Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator}, booktitle = {Proceedings of the 13th International Workshop on Data Management on New Hardware, DaMoN 2017, Chicago, IL, USA, May 15, 2017}, pages = {5:1--5:8}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3076113.3076118}, doi = {10.1145/3076113.3076118}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/damon/CaoREK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/EdwardsTK17, author = {Stephen A. Edwards and Richard Townsend and Martha A. Kim}, editor = {Jean{-}Pierre Talpin and Patricia Derler and Klaus Schneider}, title = {Compositional dataflow circuits}, booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017}, pages = {175--184}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3127041.3127055}, doi = {10.1145/3127041.3127055}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/EdwardsTK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/ZhaiTLKE15, author = {Kuangya Zhai and Richard Townsend and Lianne Lairmore and Martha A. Kim and Stephen A. Edwards}, editor = {Gabriela Nicolescu and Andreas Gerstlauer}, title = {Hardware synthesis from a recursive functional language}, booktitle = {2015 International Conference on Hardware/Software Codesign and System Synthesis, {CODES+ISSS} 2015, Amsterdam, Netherlands, October 4-9, 2015}, pages = {83--93}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CODESISSS.2015.7331371}, doi = {10.1109/CODESISSS.2015.7331371}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/codes/ZhaiTLKE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/CaoRKE15, author = {Bingyi Cao and Kenneth A. Ross and Martha A. Kim and Stephen A. Edwards}, title = {Implementing latency-insensitive dataflow blocks}, booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015}, pages = {179--187}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/MEMCOD.2015.7340485}, doi = {10.1109/MEMCOD.2015.7340485}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/CaoRKE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/EdwardsP14, author = {Stephen A. Edwards and Hiren D. Patel}, title = {{MEMOCODE} 2014 software design contest: Space Invaders emulator}, booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014}, pages = {185}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/MEMCOD.2014.6961857}, doi = {10.1109/MEMCOD.2014.6961857}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/EdwardsP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/EdwardsGS13, author = {Stephen A. Edwards and Alain Girault and Klaus Schneider}, title = {Synchronous Programming (Dagstuhl Seminar 13471)}, journal = {Dagstuhl Reports}, volume = {3}, number = {11}, pages = {117--143}, year = {2013}, url = {https://doi.org/10.4230/DagRep.3.11.117}, doi = {10.4230/DAGREP.3.11.117}, timestamp = {Wed, 07 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EdwardsGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cal/WuKE12, author = {Lisa Wu and Martha A. Kim and Stephen A. Edwards}, title = {Cache Impacts of Datatype Acceleration}, journal = {{IEEE} Comput. Archit. Lett.}, volume = {11}, number = {1}, pages = {21--24}, year = {2012}, url = {https://doi.org/10.1109/L-CA.2011.25}, doi = {10.1109/L-CA.2011.25}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cal/WuKE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/Edwards12, author = {Stephen A. Edwards}, title = {{MEMOCODE} 2012 hardware/software codesign contest: {DNA} sequence aligner}, booktitle = {Tenth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMCODE} 2012, Arlington, VA, USA, July 16-17, 2012}, pages = {85--90}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/MEMCOD.2012.6292303}, doi = {10.1109/MEMCOD.2012.6292303}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/Edwards12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/EdwardsJV11, author = {Stephen A. Edwards and Ryszard Janicki and Walter Vogler}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {108}, number = {1-2}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-410}, doi = {10.3233/FI-2011-410}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/EdwardsJV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BussBSE10, author = {Marcio Buss and Daniel Brand and Vugranam C. Sreedhar and Stephen A. Edwards}, title = {A novel analysis space for pointer analysis and its application for bug finding}, journal = {Sci. Comput. Program.}, volume = {75}, number = {11}, pages = {921--942}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2009.08.002}, doi = {10.1016/J.SCICO.2009.08.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BussBSE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/VasudevanE10, author = {Nalini Vasudevan and Stephen A. Edwards}, title = {Buffer Sharing in Rendezvous Programs}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {29}, number = {10}, pages = {1471--1480}, year = {2010}, url = {https://doi.org/10.1109/TCAD.2010.2052840}, doi = {10.1109/TCAD.2010.2052840}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/VasudevanE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/VasudevanNE10, author = {Nalini Vasudevan and Kedar S. Namjoshi and Stephen A. Edwards}, editor = {Valentina Salapura and Michael Gschwind and Jens Knoop}, title = {Simple and fast biased locks}, booktitle = {19th International Conference on Parallel Architectures and Compilation Techniques, {PACT} 2010, Vienna, Austria, September 11-15, 2010}, pages = {65--74}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1854273.1854287}, doi = {10.1145/1854273.1854287}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/IEEEpact/VasudevanNE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/VasudevanE10, author = {Nalini Vasudevan and Stephen A. Edwards}, title = {Ensuring deterministic concurrency through compilation}, booktitle = {24th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings}, pages = {1--4}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/IPDPSW.2010.5470803}, doi = {10.1109/IPDPSW.2010.5470803}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/VasudevanE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isca/KimE10, author = {Martha A. Kim and Stephen A. Edwards}, editor = {Ana Lucia Varbanescu and Anca Mariana Molnos and Rob van Nieuwpoort}, title = {Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks}, booktitle = {Computer Architecture - {ISCA} 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6161}, pages = {86--98}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24322-6\_9}, doi = {10.1007/978-3-642-24322-6\_9}, timestamp = {Mon, 26 Jun 2023 20:44:16 +0200}, biburl = {https://dblp.org/rec/conf/isca/KimE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/10/EdwardsV10, author = {Stephen A. Edwards and Nalini Vasudevan}, editor = {Sandeep Kumar Shukla and Jean{-}Pierre Talpin}, title = {Compiling {SHIM}}, booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction}, pages = {121--146}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-1-4419-6400-7\_4}, doi = {10.1007/978-1-4419-6400-7\_4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/10/EdwardsV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SovianiHE09, author = {Cristian Soviani and Ilija Hadzic and Stephen A. Edwards}, title = {Synthesis and Optimization of Pipelined Packet Processors}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {28}, number = {2}, pages = {231--244}, year = {2009}, url = {https://doi.org/10.1109/TCAD.2008.2009168}, doi = {10.1109/TCAD.2008.2009168}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SovianiHE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cc/VasudevanTDE09, author = {Nalini Vasudevan and Olivier Tardieu and Julian Dolby and Stephen A. Edwards}, editor = {Oege de Moor and Michael I. Schwartzbach}, title = {Compile-Time Analysis and Specialization of Clocks in Concurrent Programs}, booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5501}, pages = {48--62}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00722-4\_5}, doi = {10.1007/978-3-642-00722-4\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/cc/VasudevanTDE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/ShaoVE09, author = {Baolin Shao and Nalini Vasudevan and Stephen A. Edwards}, editor = {Samarjit Chakraborty and Nicolas Halbwachs}, title = {Compositional deadlock detection for rendezvous communication}, booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16, 2009}, pages = {59--66}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629335.1629344}, doi = {10.1145/1629335.1629344}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/ShaoVE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/EdwardsKLLPS09, author = {Stephen A. Edwards and Sungjun Kim and Edward A. Lee and Isaac Liu and Hiren D. Patel and Martin Schoeberl}, title = {A disruptive computer design idea: Architectures with repeatable timing}, booktitle = {27th International Conference on Computer Design, {ICCD} 2009, Lake Tahoe, CA, USA, October 4-7, 2009}, pages = {54--59}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ICCD.2009.5413177}, doi = {10.1109/ICCD.2009.5413177}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/EdwardsKLLPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/VasudevanE09, author = {Nalini Vasudevan and Stephen A. Edwards}, title = {Buffer sharing in CSP-like programs}, booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts, {USA}}, pages = {151--160}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/MEMCOD.2009.5185391}, doi = {10.1109/MEMCOD.2009.5185391}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/VasudevanE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/VasudevanE09, author = {Nalini Vasudevan and Stephen A. Edwards}, editor = {Sung Y. Shin and Sascha Ossowski}, title = {Celling {SHIM:} compiling deterministic concurrency to a heterogeneous multicore}, booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009}, pages = {1626--1631}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1529282.1529649}, doi = {10.1145/1529282.1529649}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/VasudevanE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seus/Edwards09, author = {Stephen A. Edwards}, editor = {Sunggu Lee and Priya Narasimhan}, title = {Concurrency and Communication: Lessons from the {SHIM} Project}, booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 7th {IFIP} {WG} 10.2 International Workshop, {SEUS} 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5860}, pages = {276--287}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10265-3\_25}, doi = {10.1007/978-3-642-10265-3\_25}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/seus/Edwards09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/crc/zurawski2009/Edwards09, author = {Stephen A. Edwards}, editor = {Richard Zurawski}, title = {Languages for Design and Verification}, booktitle = {Embedded Systems Design and Verification - Volume 1 of the Embedded Systems Handbook}, pages = {5}, publisher = {{CRC} Press}, year = {2009}, url = {https://doi.org/10.1201/9781439807637.ch5}, doi = {10.1201/9781439807637.CH5}, timestamp = {Tue, 16 May 2017 14:01:47 +0200}, biburl = {https://dblp.org/rec/books/crc/zurawski2009/Edwards09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2009P9481, editor = {Albert Benveniste and Stephen A. Edwards and Edward A. Lee and Klaus Schneider and Reinhard von Hanxleden}, title = {{SYNCHRON} 2009, 22.11. - 27.11.2009}, series = {Dagstuhl Seminar Proceedings}, volume = {09481}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2009}, url = {http://drops.dagstuhl.de/portals/09481/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9481.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BenvenisteEL0H09, author = {Albert Benveniste and Stephen A. Edwards and Edward A. Lee and Klaus Schneider and Reinhard von Hanxleden}, editor = {Albert Benveniste and Stephen A. Edwards and Edward A. Lee and Klaus Schneider and Reinhard von Hanxleden}, title = {09481 Abstracts Collection - {SYNCHRON} 2009}, booktitle = {{SYNCHRON} 2009, 22.11. - 27.11.2009}, series = {Dagstuhl Seminar Proceedings}, volume = {09481}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2434/}, timestamp = {Thu, 10 Jun 2021 13:02:05 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BenvenisteEL0H09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/NeiroukhES08, author = {Osama Neiroukh and Stephen A. Edwards and Xiaoyu Song}, title = {Transforming Cyclic Circuits Into Acyclic Equivalents}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {27}, number = {10}, pages = {1775--1787}, year = {2008}, url = {https://doi.org/10.1109/TCAD.2008.2003305}, doi = {10.1109/TCAD.2008.2003305}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/NeiroukhES08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/LicklyLKPEL08, author = {Ben Lickly and Isaac Liu and Sungjun Kim and Hiren D. Patel and Stephen A. Edwards and Edward A. Lee}, editor = {Erik R. Altman}, title = {Predictable programming on a precision timed architecture}, booktitle = {Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA, October 19-24, 2008}, pages = {137--146}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1450095.1450117}, doi = {10.1145/1450095.1450117}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cases/LicklyLKPEL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/EdwardsVT08, author = {Stephen A. Edwards and Nalini Vasudevan and Olivier Tardieu}, editor = {Donatella Sciuto}, title = {Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling {SHIM} to Pthreads}, booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany, March 10-14, 2008}, pages = {1498--1503}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1109/DATE.2008.4484886}, doi = {10.1109/DATE.2008.4484886}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/EdwardsVT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/VasudevanSE08, author = {Nalini Vasudevan and Satnam Singh and Stephen A. Edwards}, title = {A deterministic multi-way rendezvous library for haskell}, booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2008, Miami, Florida USA, April 14-18, 2008}, pages = {1--12}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/IPDPS.2008.4536312}, doi = {10.1109/IPDPS.2008.4536312}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/VasudevanSE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/VasudevanE08, author = {Nalini Vasudevan and Stephen A. Edwards}, title = {Static Deadlock Detection for the {SHIM} Concurrent Language}, booktitle = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim, CA, {USA}}, pages = {49--58}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/MEMCOD.2008.4547686}, doi = {10.1109/MEMCOD.2008.4547686}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/VasudevanE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/EdwardsZ08, author = {Stephen A. Edwards and Jia Zeng}, editor = {Robert Gl{\"{u}}ck and Oege de Moor}, title = {Static elaboration of recursion for concurrent software}, booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco, California, USA, January 7-8, 2008}, pages = {71--80}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1328408.1328420}, doi = {10.1145/1328408.1328420}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/EdwardsZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BussBSE08, author = {Marcio Buss and Daniel Brand and Vugranam C. Sreedhar and Stephen A. Edwards}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {Flexible pointer analysis using assign-fetch graphs}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {234--239}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1363746}, doi = {10.1145/1363686.1363746}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/BussBSE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0023221, author = {Dumitru Potop{-}Butucaru and Stephen A. Edwards and G{\'{e}}rard Berry}, title = {Compiling Esterel}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-0-387-70628-3}, doi = {10.1007/978-0-387-70628-3}, isbn = {978-0-387-70626-9}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0023221.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/EdwardsZ07, author = {Stephen A. Edwards and Jia Zeng}, title = {Code Generation in the Columbia Esterel Compiler}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2007}, year = {2007}, url = {https://doi.org/10.1155/2007/52651}, doi = {10.1155/2007/52651}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/EdwardsZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SovianiTE07, author = {Cristian Soviani and Olivier Tardieu and Stephen A. Edwards}, title = {Optimizing Sequential Cycles Through Shannon Decomposition and Retiming}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {26}, number = {3}, pages = {456--467}, year = {2007}, url = {https://doi.org/10.1109/TCAD.2006.890583}, doi = {10.1109/TCAD.2006.890583}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SovianiTE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/EdwardsL07, author = {Stephen A. Edwards and Edward A. Lee}, title = {The Case for the Precision Timed {(PRET)} Machine}, booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007, San Diego, CA, USA, June 4-8, 2007}, pages = {264--265}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1145/1278480.1278545}, doi = {10.1145/1278480.1278545}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/EdwardsL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/TardieuE08, author = {Olivier Tardieu and Stephen A. Edwards}, editor = {Joaqu{\'{\i}}n Aguado and Michael Mendler}, title = {Instantaneous Transitions in Esterel}, booktitle = {Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {4}, pages = {49--64}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.05.010}, doi = {10.1016/J.ENTCS.2008.05.010}, timestamp = {Mon, 13 Feb 2023 13:24:45 +0100}, biburl = {https://dblp.org/rec/journals/entcs/TardieuE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0710-4683, author = {Stephen A. Edwards}, title = {The Challenges of Hardware Synthesis from C-Like Languages}, journal = {CoRR}, volume = {abs/0710.4683}, year = {2007}, url = {http://arxiv.org/abs/0710.4683}, eprinttype = {arXiv}, eprint = {0710.4683}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0710-4683.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dt/Edwards06, author = {Stephen A. Edwards}, title = {The Challenges of Synthesizing Hardware from C-Like Languages}, journal = {{IEEE} Des. Test Comput.}, volume = {23}, number = {5}, pages = {375--386}, year = {2006}, url = {https://doi.org/10.1109/MDT.2006.134}, doi = {10.1109/MDT.2006.134}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dt/Edwards06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/EdwardsT06, author = {Stephen A. Edwards and Olivier Tardieu}, title = {{SHIM:} a deterministic model for heterogeneous embedded systems}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {14}, number = {8}, pages = {854--867}, year = {2006}, url = {https://doi.org/10.1109/TVLSI.2006.878473}, doi = {10.1109/TVLSI.2006.878473}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/EdwardsT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SovianiHE06, author = {Cristian Soviani and Ilija Hadzic and Stephen A. Edwards}, editor = {Ellen Sentovich}, title = {Synthesis of high-performance packet processing pipelines}, booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006, San Francisco, CA, USA, July 24-28, 2006}, pages = {679--682}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1146909.1147081}, doi = {10.1145/1146909.1147081}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SovianiHE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/SovianiTE06, author = {Cristian Soviani and Olivier Tardieu and Stephen A. Edwards}, editor = {Georges G. E. Gielen}, title = {Optimizing sequential cycles through Shannon decomposition and retiming}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, {DATE} 2006, Munich, Germany, March 6-10, 2006}, pages = {1085--1090}, publisher = {European Design and Automation Association, Leuven, Belgium}, year = {2006}, url = {https://doi.org/10.1109/DATE.2006.243960}, doi = {10.1109/DATE.2006.243960}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/SovianiTE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/TardieuE06, author = {Olivier Tardieu and Stephen A. Edwards}, editor = {Sang Lyul Min and Wang Yi}, title = {Scheduling-independent threads and exceptions in {SHIM}}, booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea}, pages = {142--151}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1176887.1176908}, doi = {10.1145/1176887.1176908}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/TardieuE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/IpE06, author = {Nicholas Jun Hao Ip and Stephen A. Edwards}, editor = {Edwin Hsing{-}Mean Sha and Sung{-}Kook Han and Cheng{-}Zhong Xu and Moon{-}hae Kim and Laurence Tianruo Yang and Bin Xiao}, title = {A Processor Extension for Cycle-Accurate Real-Time Software}, booktitle = {Embedded and Ubiquitous Computing, International Conference, {EUC} 2006, Seoul, Korea, August 1-4, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4096}, pages = {449--458}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11802167\_46}, doi = {10.1007/11802167\_46}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/euc/IpE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isvlsi/NeiroukhES06, author = {Osama Neiroukh and Stephen A. Edwards and Xiaoyu Song}, title = {An Efficient Algorithm for the Analysis of Cyclic Circuits}, booktitle = {2006 {IEEE} Computer Society Annual Symposium on {VLSI} {(ISVLSI} 2006), 2-3 March 2006, Karlsruhe, Germany}, pages = {303--308}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ISVLSI.2006.18}, doi = {10.1109/ISVLSI.2006.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isvlsi/NeiroukhES06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/EdwardsT06, author = {Stephen A. Edwards and Olivier Tardieu}, editor = {Mary Jane Irwin and Koen De Bosschere}, title = {Efficient code generation from {SHIM} models}, booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006}, pages = {125--134}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134650.1134669}, doi = {10.1145/1134650.1134669}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/EdwardsT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/TardieuE06, author = {Olivier Tardieu and Stephen A. Edwards}, title = {{R-SHIM:} deterministic concurrency with recursion and shared variables}, booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy Suites, Napa, California, {USA}}, pages = {202}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/MEMCOD.2006.1695931}, doi = {10.1109/MEMCOD.2006.1695931}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/TardieuE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Edwards06, author = {Stephen A. Edwards}, editor = {John Hatcliff and Frank Tip}, title = {Using program specialization to speed SystemC fixed-point simulation}, booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006}, pages = {21--28}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1111542.1111547}, doi = {10.1145/1111542.1111547}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/Edwards06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ZengME06, author = {Jia Zeng and Chuck Mitchell and Stephen A. Edwards}, editor = {John Boyland and Anthony Sloane}, title = {A Domain-Specific Language for Generating Dataflow Analyzers}, booktitle = {Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {164}, number = {2}, pages = {103--119}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.10.008}, doi = {10.1016/J.ENTCS.2006.10.008}, timestamp = {Fri, 20 Jan 2023 13:00:45 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ZengME06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigbed/Edwards05, author = {Stephen A. Edwards}, title = {Experiences teaching an FPGA-based embedded systems class}, journal = {{SIGBED} Rev.}, volume = {2}, number = {4}, pages = {56--62}, year = {2005}, url = {https://doi.org/10.1145/1121812.1121823}, doi = {10.1145/1121812.1121823}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigbed/Edwards05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/TardieuE05, author = {Olivier Tardieu and Stephen A. Edwards}, editor = {Doron A. Peled and Yih{-}Kuen Tsay}, title = {Approximate Reachability for Dead Code Elimination in Esterel}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3707}, pages = {323--337}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562948\_25}, doi = {10.1007/11562948\_25}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/TardieuE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ConwayNDE05, author = {Christopher L. Conway and Kedar S. Namjoshi and Dennis Dams and Stephen A. Edwards}, editor = {Kousha Etessami and Sriram K. Rajamani}, title = {Incremental Algorithms for Inter-procedural Analysis of Safety Properties}, booktitle = {Computer Aided Verification, 17th International Conference, {CAV} 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3576}, pages = {449--461}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11513988\_45}, doi = {10.1007/11513988\_45}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/ConwayNDE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/Edwards05, author = {Stephen A. Edwards}, title = {The Challenges of Hardware Synthesis from C-Like Languages}, booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2005), 7-11 March 2005, Munich, Germany}, pages = {66--67}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/DATE.2005.307}, doi = {10.1109/DATE.2005.307}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/Edwards05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/EdwardsT05, author = {Stephen A. Edwards and Olivier Tardieu}, editor = {Wayne H. Wolf}, title = {{SHIM:} a deterministic model for heterogeneous embedded systems}, booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM} International Conference On Embedded Software, Proceedings}, pages = {264--272}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1086228.1086277}, doi = {10.1145/1086228.1086277}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/EdwardsT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icess/ZengE05, author = {Jia Zeng and Stephen A. Edwards}, editor = {Laurence Tianruo Yang and Xingshe Zhou and Wei Zhao and Zhaohui Wu and Yian Zhu and Man Lin}, title = {Separate Compilation for Synchronous Modules}, booktitle = {Embedded Software and Systems, Second International Conference, {ICESS} 2005, Xi'an, China, December 16-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3820}, pages = {129--140}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11599555\_15}, doi = {10.1007/11599555\_15}, timestamp = {Fri, 09 Apr 2021 18:39:46 +0200}, biburl = {https://dblp.org/rec/conf/icess/ZengE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/EdwardsT05, author = {Stephen A. Edwards and Olivier Tardieu}, title = {Deterministic receptive processes are Kahn processes}, booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona, Italy, Proceedings}, pages = {37--44}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/MEMCOD.2005.1487889}, doi = {10.1109/MEMCOD.2005.1487889}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/EdwardsT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scam/BussEYW05, author = {Marcio Buss and Stephen A. Edwards and Bin Yao and Dan G. Waddington}, title = {Pointer Analysis for Source-to-Source Transformations}, booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation {(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary}, pages = {139--150}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SCAM.2005.20}, doi = {10.1109/SCAM.2005.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scam/BussEYW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2004P4491, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, title = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004}, series = {Dagstuhl Seminar Proceedings}, volume = {04491}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/portals/04491/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2004P4491.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/crc/Edwards05, author = {Stephen A. Edwards}, editor = {Richard Zurawski}, title = {Languages for Embedded Systems}, booktitle = {Embedded Systems Handbook}, publisher = {{CRC} Press}, year = {2005}, url = {https://doi.org/10.1201/9781420038163.ch7}, doi = {10.1201/9781420038163.CH7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/crc/Edwards05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/ConwayE04, author = {Christopher L. Conway and Stephen A. Edwards}, editor = {David B. Whalley and Ron Cytron}, title = {{NDL:} a domain-specific language for device drivers}, booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004}, pages = {30--36}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/997163.997169}, doi = {10.1145/997163.997169}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/ConwayE04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/ZengSE04, author = {Jia Zeng and Cristian Soviani and Stephen A. Edwards}, editor = {David B. Whalley and Ron Cytron}, title = {Generating fast code from concurrent program dependence graphs}, booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004}, pages = {175--181}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/997163.997188}, doi = {10.1145/997163.997188}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/ZengSE04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdwardsKH06, author = {Stephen A. Edwards and Vimal Kapadia and Michael Halasz}, editor = {Florence Maraninchi and Alain Girault and Marc Pouzet}, title = {Compiling Esterel into Static Discrete-Event Code}, booktitle = {Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS} 2004, Barcelona, Spain, March 28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {4}, pages = {117--131}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2006.02.027}, doi = {10.1016/J.ENTCS.2006.02.027}, timestamp = {Fri, 20 Jan 2023 11:01:08 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdwardsKH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Edwards04, author = {Stephen A. Edwards}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, title = {{SHIM:} {A} Language for Hardware/Software Integration}, booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004}, series = {Dagstuhl Seminar Proceedings}, volume = {04491}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/158}, timestamp = {Thu, 10 Jun 2021 13:02:11 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/Edwards04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04, author = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, title = {04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04}, booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004}, series = {Dagstuhl Seminar Proceedings}, volume = {04491}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/196}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04a, author = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard von Hanxleden and Thomas Stauner}, title = {04491 Executive Summary - Synchronous Programming - SYNCHRON'04}, booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004}, series = {Dagstuhl Seminar Proceedings}, volume = {04491}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/195}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/BenvenisteCEHGS03, author = {Albert Benveniste and Paul Caspi and Stephen A. Edwards and Nicolas Halbwachs and Paul {Le Guernic} and Robert de Simone}, title = {The synchronous languages 12 years later}, journal = {Proc. {IEEE}}, volume = {91}, number = {1}, pages = {64--83}, year = {2003}, url = {https://doi.org/10.1109/JPROC.2002.805826}, doi = {10.1109/JPROC.2002.805826}, timestamp = {Mon, 04 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/BenvenisteCEHGS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/EdwardsL03, author = {Stephen A. Edwards and Edward A. Lee}, title = {The semantics and execution of a synchronous block-diagram language}, journal = {Sci. Comput. Program.}, volume = {48}, number = {1}, pages = {21--42}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00096-5}, doi = {10.1016/S0167-6423(02)00096-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/EdwardsL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/Edwards03, author = {Stephen A. Edwards}, title = {Tutorial: Compiling concurrent languages for sequential processors}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {8}, number = {2}, pages = {141--187}, year = {2003}, url = {https://doi.org/10.1145/762488.762489}, doi = {10.1145/762488.762489}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/Edwards03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/Edwards03, author = {Stephen A. Edwards}, title = {Making cyclic circuits acyclic}, booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003, Anaheim, CA, USA, June 2-6, 2003}, pages = {159--162}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/775832.775874}, doi = {10.1145/775832.775874}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/Edwards03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/JanDE03, author = {Stephen Jan and Paolo de Dios and Stephen A. Edwards}, title = {Porting a Network Cryptographic Service to the {RMC2000:} {A} Case Study in Embedded Software Development}, booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2003), 3-7 March 2003, Munich, Germany}, pages = {20150--20157}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10219}, doi = {10.1109/DATE.2003.10219}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/JanDE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/ShuklaTEG03, author = {Sandeep K. Shukla and Jean{-}Pierre Talpin and Stephen A. Edwards and Rajesh K. Gupta}, title = {High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap}, booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003), 4-8 January 2003, New Delhi, India}, pages = {9--14}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ICVD.2003.1183104}, doi = {10.1109/ICVD.2003.1183104}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vlsid/ShuklaTEG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/03/JanDE03, author = {Stephen Jan and Paolo de Dios and Stephen A. Edwards}, editor = {Ahmed Amine Jerraya and Sungjoo Yoo and Diederik Verkest and Norbert Wehn}, title = {Porting a Network Cryptographic Service to the {RMC2000}}, booktitle = {Embedded Software for SoC}, pages = {165--176}, publisher = {Kluwer / Springer}, year = {2003}, url = {https://doi.org/10.1007/0-306-48709-8\_13}, doi = {10.1007/0-306-48709-8\_13}, timestamp = {Thu, 04 Jul 2019 16:02:30 +0200}, biburl = {https://dblp.org/rec/books/sp/03/JanDE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/Edwards02, author = {Stephen A. Edwards}, title = {An Esterel compiler for large control-dominated systems}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {21}, number = {2}, pages = {169--183}, year = {2002}, url = {https://doi.org/10.1109/43.980257}, doi = {10.1109/43.980257}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/Edwards02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwls/Edwards02, author = {Stephen A. Edwards}, title = {High-Level Synthesis from the Synchronous Language Esterel}, booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis, {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}}, pages = {401--406}, year = {2002}, timestamp = {Sun, 04 Aug 2019 18:01:44 +0200}, biburl = {https://dblp.org/rec/conf/iwls/Edwards02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/Edwards00, author = {Stephen A. Edwards}, editor = {Giovanni De Micheli}, title = {Compiling Esterel into sequential code}, booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000}, pages = {322--327}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/337292.337429}, doi = {10.1145/337292.337429}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/Edwards00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/Edwards99, author = {Stephen A. Edwards}, editor = {Ahmed Amine Jerraya and Luciano Lavagno and Frank Vahid}, title = {Compiling Esterel into sequential code}, booktitle = {Proceedings of the Seventh International Workshop on Hardware/Software Codesign, {CODES} 1999, Rome, Italy, 1999}, pages = {147--151}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/301177.301514}, doi = {10.1145/301177.301514}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/codes/Edwards99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/SwamyEB98, author = {Gitanjali Swamy and Stephen A. Edwards and Robert K. Brayton}, title = {Efficient Verification and Synthesis using Design Commonalities}, booktitle = {11th International Conference on {VLSI} Design {(VLSI} Design 1991), 4-7 January 1998, Chennai, India}, pages = {542--551}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ICVD.1998.646662}, doi = {10.1109/ICVD.1998.646662}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vlsid/SwamyEB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/EdwardsLLS97, author = {Stephen A. Edwards and Luciano Lavagno and Edward A. Lee and Alberto L. Sangiovanni{-}Vincentelli}, title = {Design of embedded systems: formal models, validation, and synthesis}, journal = {Proc. {IEEE}}, volume = {85}, number = {3}, pages = {366--390}, year = {1997}, url = {https://doi.org/10.1109/5.558710}, doi = {10.1109/5.558710}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/EdwardsLLS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BraytonHSSACEKKPQRSSSV96, author = {Robert K. Brayton and Gary D. Hachtel and Alberto L. Sangiovanni{-}Vincentelli and Fabio Somenzi and Adnan Aziz and Szu{-}Tsung Cheng and Stephen A. Edwards and Sunil P. Khatri and Yuji Kukimoto and Abelardo Pardo and Shaz Qadeer and Rajeev K. Ranjan and Shaker Sarwary and Thomas R. Shiple and Gitanjali Swamy and Tiziano Villa}, editor = {Rajeev Alur and Thomas A. Henzinger}, title = {{VIS:} {A} System for Verification and Synthesis}, booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1102}, pages = {428--432}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61474-5\_95}, doi = {10.1007/3-540-61474-5\_95}, timestamp = {Mon, 27 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BraytonHSSACEKKPQRSSSV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BraytonHSSACEKKPQRSSSV96, author = {Robert K. Brayton and Gary D. Hachtel and Alberto L. Sangiovanni{-}Vincentelli and Fabio Somenzi and Adnan Aziz and Szu{-}Tsung Cheng and Stephen A. Edwards and Sunil P. Khatri and Yuji Kukimoto and Abelardo Pardo and Shaz Qadeer and Rajeev K. Ranjan and Shaker Sarwary and Thomas R. Shiple and Gitanjali Swamy and Tiziano Villa}, editor = {Mandayam K. Srivas and Albert John Camilleri}, title = {{VIS}}, booktitle = {Formal Methods in Computer-Aided Design, First International Conference, {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1166}, pages = {248--256}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0031812}, doi = {10.1007/BFB0031812}, timestamp = {Mon, 27 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BraytonHSSACEKKPQRSSSV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.