publications: - title: "Derivation and Evaluation of Concurrent Collectors" author: - name: "Martin T. Vechev" link: "https://researchr.org/alias/martin-t.-vechev" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "David Grove" link: "https://researchr.org/alias/david-grove" year: "2005" doi: "http://dx.doi.org/10.1007/11531142_25" links: doi: "http://dx.doi.org/10.1007/11531142_25" researchr: "https://researchr.org/publication/VechevBCG05" cites: 0 citedby: 0 pages: "577-601" booktitle: "ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings" editor: - name: "Andrew P. Black" link: "https://researchr.org/alias/andrew-p.-black" volume: "3586" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27992-X" kind: "inproceedings" key: "VechevBCG05" - title: "Transparent Recovery in Distributed Systems" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "1991" researchr: "https://researchr.org/publication/Bacon91%3A0" cites: 0 citedby: 0 journal: "Operating Systems Review" volume: "25" number: "2" pages: "91-94" kind: "article" key: "Bacon91:0" - title: "Optimistic Parallelization of Communicating Sequential Processes" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Robert E. Strom" link: "https://researchr.org/alias/robert-e.-strom" year: "1991" tags: - "e-science" researchr: "https://researchr.org/publication/BaconS91" cites: 0 citedby: 0 pages: "155-166" booktitle: "PPOPP" kind: "inproceedings" key: "BaconS91" - title: "MJ: a rational module system for Java and its applications" author: - name: "John Corwin" link: "https://researchr.org/alias/john-corwin" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Chet Murthy" link: "https://researchr.org/alias/chet-murthy" year: "2003" doi: "http://doi.acm.org/10.1145/949305.949326" links: doi: "http://doi.acm.org/10.1145/949305.949326" tags: - "Java" researchr: "https://researchr.org/publication/CorwinBGM03" cites: 0 citedby: 0 pages: "241-254" booktitle: "Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA" editor: - name: "Ron Crocker" link: "https://researchr.org/alias/ron-crocker" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "1-58113-712-5" kind: "inproceedings" key: "CorwinBGM03" - title: "CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors" author: - name: "Martin T. Vechev" link: "https://researchr.org/alias/martin-t.-vechev" - name: "Eran Yahav" link: "https://researchr.org/alias/eran-yahav" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Noam Rinetzky" link: "https://researchr.org/alias/noam-rinetzky" year: "2007" doi: "http://doi.acm.org/10.1145/1250734.1250787" links: doi: "http://doi.acm.org/10.1145/1250734.1250787" tags: - "search" researchr: "https://researchr.org/publication/VechevYBR07" cites: 0 citedby: 0 pages: "456-467" booktitle: "Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007" editor: - name: "Jeanne Ferrante" link: "https://researchr.org/alias/jeanne-ferrante" - name: "Kathryn S. McKinley" link: "https://researchr.org/alias/kathryn-s.-mckinley" publisher: "ACM" isbn: "978-1-59593-633-2" kind: "inproceedings" key: "VechevYBR07" - title: "Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary" author: - name: "Shan Shan Huang" link: "http://www.freeflygeek.com/" - name: "Amir Hormati" link: "https://researchr.org/alias/amir-hormati" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Rodric M. Rabbah" link: "https://researchr.org/alias/rodric-m.-rabbah" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-70592-5_5" links: doi: "http://dx.doi.org/10.1007/978-3-540-70592-5_5" tags: - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/HuangHBR08" cites: 0 citedby: 2 pages: "76-103" booktitle: "ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings" editor: - name: "Jan Vitek" link: "http://www.cs.purdue.edu/homes/jv" volume: "5142" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-70591-8" kind: "inproceedings" key: "HuangHBR08" - title: "Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "Daniel Frampton" link: "https://researchr.org/alias/daniel-frampton" - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Matthias Hauswirth" link: "https://researchr.org/alias/matthias-hauswirth" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2006" doi: "http://dx.doi.org/10.1007/11688839_8" links: doi: "http://dx.doi.org/10.1007/11688839_8" tags: - "analysis" researchr: "https://researchr.org/publication/BaconCFGHR06" cites: 0 citedby: 0 pages: "96-100" booktitle: "Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings" editor: - name: "Alan Mycroft" link: "https://researchr.org/alias/alan-mycroft" - name: "Andreas Zeller" link: "https://researchr.org/alias/andreas-zeller" volume: "3923" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-33050-X" kind: "inproceedings" key: "BaconCFGHR06" - title: "Write barrier elision for concurrent garbage collectors" author: - name: "Martin T. Vechev" link: "https://researchr.org/alias/martin-t.-vechev" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "2004" doi: "http://doi.acm.org/10.1145/1029873.1029876" links: doi: "http://doi.acm.org/10.1145/1029873.1029876" researchr: "https://researchr.org/publication/VechevB04" cites: 0 citedby: 0 pages: "13-24" booktitle: "Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004" editor: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Amer Diwan" link: "https://researchr.org/alias/amer-diwan" publisher: "ACM" isbn: "1-58113-945-4" kind: "inproceedings" key: "VechevB04" - title: "The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2889&spage=466" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2889&spage=466" tags: - "systematic-approach" researchr: "https://researchr.org/publication/BaconCR03%3A1" cites: 0 citedby: 0 pages: "466-478" booktitle: "On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings" editor: - name: "Robert Meersman" link: "https://researchr.org/alias/robert-meersman" - name: "Zahir Tari" link: "https://researchr.org/alias/zahir-tari" volume: "2889" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20494-6" kind: "inproceedings" key: "BaconCR03:1" - title: "NEST: a network simulation & prototyping testbed" author: - name: "Alexander Dupuy" link: "https://researchr.org/alias/alexander-dupuy" - name: "Jed Schwartz" link: "https://researchr.org/alias/jed-schwartz" - name: "Yechiam Yemini" link: "https://researchr.org/alias/yechiam-yemini" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "1989" doi: "http://doi.acm.org/10.1145/76738.76873" links: doi: "http://doi.acm.org/10.1145/76738.76873" researchr: "https://researchr.org/publication/DupySYB89" cites: 0 citedby: 0 pages: "1058-1064" booktitle: "Proceedings of the 21st Winter Simulation Conference, Washington, DC, USA, December 4-6, 1989" editor: - name: "Edward A. MacNair" link: "https://researchr.org/alias/edward-a.-macnair" - name: "Kenneth J. Musselman" link: "https://researchr.org/alias/kenneth-j.-musselman" - name: "Philip Heidelberger" link: "https://researchr.org/alias/philip-heidelberger" publisher: "ACM Press" isbn: "0-911801-58-8" kind: "inproceedings" key: "DupySYB89" - title: "Guava: a dialect of Java without data races" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Robert E. Strom" link: "https://researchr.org/alias/robert-e.-strom" - name: "Ashis Tarafdar" link: "https://researchr.org/alias/ashis-tarafdar" year: "2000" doi: "http://doi.acm.org/10.1145/353171.353197" links: doi: "http://doi.acm.org/10.1145/353171.353197" tags: - "Java" - "data-flow" - "e-science" researchr: "https://researchr.org/publication/BaconST00" cites: 0 citedby: 0 pages: "382-400" booktitle: "OOPSLA" kind: "inproceedings" key: "BaconST00" - title: "Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "C. Richard Attanasio" link: "https://researchr.org/alias/c.-richard-attanasio" - name: "Han Bok Lee" link: "https://researchr.org/alias/han-bok-lee" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" - name: "Stephen E. Smith" link: "https://researchr.org/alias/stephen-e.-smith" year: "2001" tags: - "Java" - "C++" - "e-science" researchr: "https://researchr.org/publication/BaconALRS01" cites: 0 citedby: 0 pages: "92-103" booktitle: "PLDI" kind: "inproceedings" key: "BaconALRS01" - title: "Concurrent Cycle Collection in Reference Counted Systems" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2072/20720207.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2072/20720207.htm" researchr: "https://researchr.org/publication/BaconR01" cites: 0 citedby: 0 pages: "207-235" booktitle: "ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings" editor: - name: "Jørgen Lindskov Knudsen" link: "https://researchr.org/alias/j%C3%B8rgen-lindskov-knudsen" volume: "2072" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42206-4" kind: "inproceedings" key: "BaconR01" - title: "Fast Static Analysis of C++ Virtual Function Calls" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Peter F. Sweeney" link: "https://researchr.org/alias/peter-f.-sweeney" year: "1996" tags: - "analysis" - "static analysis" - "C++" researchr: "https://researchr.org/publication/BaconS96" cites: 0 citedby: 0 pages: "324-341" booktitle: "OOPSLA" kind: "inproceedings" key: "BaconS96" - title: "Compiler Transformations for High-Performance Computing" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Susan L. Graham" link: "https://researchr.org/alias/susan-l.-graham" - name: "Oliver J. Sharp" link: "https://researchr.org/alias/oliver-j.-sharp" year: "1994" tags: - "compiler" - "transformation" researchr: "https://researchr.org/publication/BaconGS94" cites: 0 citedby: 0 journal: "ACM Computing Surveys" volume: "26" number: "4" pages: "345-420" kind: "article" key: "BaconGS94" - title: "A real-time garbage collector with low overhead and consistent utilization" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2003" doi: "http://doi.acm.org/10.1145/640128.604155" links: doi: "http://doi.acm.org/10.1145/640128.604155" researchr: "https://researchr.org/publication/BaconCR03%3A0" cites: 0 citedby: 0 pages: "285-298" booktitle: "POPL" kind: "inproceedings" key: "BaconCR03:0" - title: "Tax-and-spend: democratic scheduling for real-time garbage collection" author: - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Ben Biron" link: "https://researchr.org/alias/ben-biron" - name: "Charlie Gracie" link: "https://researchr.org/alias/charlie-gracie" - name: "Bill McCloskey" link: "https://researchr.org/alias/bill-mccloskey" - name: "Aleksandar Micic" link: "https://researchr.org/alias/aleksandar-micic" - name: "Ryan Sciampacone" link: "https://researchr.org/alias/ryan-sciampacone" year: "2008" doi: "http://doi.acm.org/10.1145/1450058.1450092" links: doi: "http://doi.acm.org/10.1145/1450058.1450092" researchr: "https://researchr.org/publication/AuerbachBCGBGMMS08" cites: 0 citedby: 0 pages: "245-254" booktitle: "Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008" editor: - name: "Luca de Alfaro" link: "https://researchr.org/alias/luca-de-alfaro" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" publisher: "ACM" isbn: "978-1-60558-468-3" kind: "inproceedings" key: "AuerbachBCGBGMMS08" - title: "A Portable Run-time System for the Hermes Distributed Programming Language" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Andy Lowry" link: "https://researchr.org/alias/andy-lowry" year: "1990" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/BaconL90" cites: 0 citedby: 0 pages: "39-50" booktitle: "USENIX Summer" kind: "inproceedings" key: "BaconL90" - title: "PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice" author: - name: "Jia Zou" link: "https://researchr.org/alias/jia-zou" - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Edward A. Lee" link: "https://researchr.org/alias/edward-a.-lee" year: "2009" doi: "http://doi.acm.org/10.1145/1542452.1542457" links: doi: "http://doi.acm.org/10.1145/1542452.1542457" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/ZouABL09" cites: 0 citedby: 0 pages: "31-40" booktitle: "Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009" editor: - name: "Christoph M. Kirsch" link: "https://researchr.org/alias/christoph-m.-kirsch" - name: "Mahmut T. Kandemir" link: "https://researchr.org/alias/mahmut-t.-kandemir" publisher: "ACM" isbn: "978-1-60558-356-3" kind: "inproceedings" key: "ZouABL09" - title: "The ExoVM system for automatic VM and application reduction" author: - name: "Ben Titzer" link: "https://researchr.org/alias/ben-titzer" - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" year: "2007" doi: "http://doi.acm.org/10.1145/1250734.1250775" links: doi: "http://doi.acm.org/10.1145/1250734.1250775" researchr: "https://researchr.org/publication/TitzerABP07" cites: 0 citedby: 0 pages: "352-362" booktitle: "Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007" editor: - name: "Jeanne Ferrante" link: "https://researchr.org/alias/jeanne-ferrante" - name: "Kathryn S. McKinley" link: "https://researchr.org/alias/kathryn-s.-mckinley" publisher: "ACM" isbn: "978-1-59593-633-2" kind: "inproceedings" key: "TitzerABP07" - title: "A Comparative Evaluation of Parallel Garbage Collector Implementations" author: - name: "C. Richard Attanasio" link: "https://researchr.org/alias/c.-richard-attanasio" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Anthony Cocchi" link: "https://researchr.org/alias/anthony-cocchi" - name: "Stephen E. Smith" link: "https://researchr.org/alias/stephen-e.-smith" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2624/26240177.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2624/26240177.htm" tags: - "C++" - "e-science" researchr: "https://researchr.org/publication/AttanasioBCS01" cites: 0 citedby: 0 pages: "177-192" booktitle: "Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers" editor: - name: "Henry G. Dietz" link: "https://researchr.org/alias/henry-g.-dietz" volume: "2624" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-04029-3" kind: "inproceedings" key: "AttanasioBCS01" - title: "Kava: a Java dialect with a uniform object model for lightweight classes" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "2003" tags: - "Java" - "object-role modeling" researchr: "https://researchr.org/publication/Bacon03" cites: 0 citedby: 0 journal: "Concurrency - Practice and Experience" volume: "15" number: "3-5" pages: "185-206" kind: "article" key: "Bacon03" - title: "Dynamic selection of application-specific garbage collectors" author: - name: "Sunil Soman" link: "https://researchr.org/alias/sunil-soman" - name: "Chandra Krintz" link: "https://researchr.org/alias/chandra-krintz" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "2004" doi: "http://doi.acm.org/10.1145/1029873.1029880" links: doi: "http://doi.acm.org/10.1145/1029873.1029880" researchr: "https://researchr.org/publication/SomanKB04" cites: 0 citedby: 0 pages: "49-60" booktitle: "Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004" editor: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Amer Diwan" link: "https://researchr.org/alias/amer-diwan" publisher: "ACM" isbn: "1-58113-945-4" kind: "inproceedings" key: "SomanKB04" - title: "Hardware-Assisted Replay of Multiprocessor Programs" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Seth Copen Goldstein" link: "https://researchr.org/alias/seth-copen-goldstein" year: "1991" researchr: "https://researchr.org/publication/BaconG91" cites: 0 citedby: 0 pages: "194-206" booktitle: "Workshop on Parallel and Distributed Debugging" kind: "inproceedings" key: "BaconG91" - title: "Low-latency time-portable real-time programming with Exotasks" author: - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Daniel T. Iercan" link: "https://researchr.org/alias/daniel-t.-iercan" - name: "Christoph M. Kirsch" link: "https://researchr.org/alias/christoph-m.-kirsch" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" - name: "Harald Röck" link: "https://researchr.org/alias/harald-r%C3%B6ck" - name: "Rainer Trummer" link: "https://researchr.org/alias/rainer-trummer" year: "2009" doi: "http://doi.acm.org/10.1145/1457255.1457262" links: doi: "http://doi.acm.org/10.1145/1457255.1457262" tags: - "programming" researchr: "https://researchr.org/publication/AuerbachBIKRRT09" cites: 0 citedby: 0 journal: "ACM Trans. Embedded Comput. Syst." volume: "8" number: "2" kind: "article" key: "AuerbachBIKRRT09" - title: "An Efficient On-the-Fly Cycle Collection" author: - name: "Harel Paz" link: "https://researchr.org/alias/harel-paz" - name: "Erez Petrank" link: "https://researchr.org/alias/erez-petrank" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Elliot K. Kolodner" link: "https://researchr.org/alias/elliot-k.-kolodner" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=156" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=156" researchr: "https://researchr.org/publication/PazPBKR05" cites: 0 citedby: 0 pages: "156-171" booktitle: "Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings" editor: - name: "Rastislav Bodík" link: "https://researchr.org/alias/rastislav-bod%C3%ADk" volume: "3443" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25411-0" kind: "inproceedings" key: "PazPBKR05" - title: "High-level language support for programming distributed systems" author: - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Arthur P. Goldberg" link: "https://researchr.org/alias/arthur-p.-goldberg" - name: "Germán S. Goldszmidt" link: "https://researchr.org/alias/germ%C3%A1n-s.-goldszmidt" - name: "Mark T. Kennedy" link: "https://researchr.org/alias/mark-t.-kennedy" - name: "Andy Lowry" link: "https://researchr.org/alias/andy-lowry" - name: "James R. Russell" link: "https://researchr.org/alias/james-r.-russell" - name: "William Silverman" link: "https://researchr.org/alias/william-silverman" - name: "Robert E. Strom" link: "https://researchr.org/alias/robert-e.-strom" - name: "Daniel M. Yellin" link: "https://researchr.org/alias/daniel-m.-yellin" - name: "Shaula Yemini" link: "https://researchr.org/alias/shaula-yemini" year: "1991" doi: "http://doi.acm.org/10.1145/962128" links: doi: "http://doi.acm.org/10.1145/962128" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/AuerbachBGGKLRSSYY91" cites: 0 citedby: 0 pages: "173-196" booktitle: "Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, October 28-30, 1991, Toronto, Ontario, Canada" editor: - name: "Ann Gawman" link: "https://researchr.org/alias/ann-gawman" - name: "Jan K. Pachl" link: "https://researchr.org/alias/jan-k.-pachl" - name: "Jacob Slonim" link: "https://researchr.org/alias/jacob-slonim" - name: "Anne Stilman" link: "https://researchr.org/alias/anne-stilman" publisher: "IBM" kind: "inproceedings" key: "AuerbachBGGKLRSSYY91" - title: "An efficient on-the-fly cycle collection" author: - name: "Harel Paz" link: "https://researchr.org/alias/harel-paz" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Elliot K. Kolodner" link: "https://researchr.org/alias/elliot-k.-kolodner" - name: "Erez Petrank" link: "https://researchr.org/alias/erez-petrank" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2007" doi: "http://doi.acm.org/10.1145/1255450.1255453" links: doi: "http://doi.acm.org/10.1145/1255450.1255453" researchr: "https://researchr.org/publication/PazBKPR07" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "29" number: "4" pages: "20" kind: "article" key: "PazBKPR07" - title: "Transparent recovery in distributed systems" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "1990" doi: "http://doi.acm.org/10.1145/504136.504150" links: doi: "http://doi.acm.org/10.1145/504136.504150" researchr: "https://researchr.org/publication/Bacon90" cites: 0 citedby: 0 booktitle: "Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990" publisher: "ACM" kind: "inproceedings" key: "Bacon90" - title: "Languages and performance engineering: method, instrumentation, and pedagogy" author: - name: "Doug Lea" link: "https://researchr.org/alias/doug-lea" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "David Grove" link: "https://researchr.org/alias/david-grove" year: "2008" doi: "http://doi.acm.org/10.1145/1480828.1480848" links: doi: "http://doi.acm.org/10.1145/1480828.1480848" tags: - "language engineering" researchr: "https://researchr.org/publication/LeaBG08" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "43" number: "11" pages: "87-92" kind: "article" key: "LeaBG08" - title: "TuningFork: a platform for visualization and analysis of complex real-time systems" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "David Grove" link: "https://researchr.org/alias/david-grove" year: "2007" doi: "http://doi.acm.org/10.1145/1297846.1297923" links: doi: "http://doi.acm.org/10.1145/1297846.1297923" tags: - "analysis" researchr: "https://researchr.org/publication/BaconCG07" cites: 0 citedby: 0 pages: "854-855" booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-865-7" kind: "inproceedings" key: "BaconCG07" - title: "File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "1991" tags: - "design" researchr: "https://researchr.org/publication/Bacon91" cites: 0 citedby: 0 pages: "21-30" booktitle: "SRDS" kind: "inproceedings" key: "Bacon91" - title: "Generational Real-Time Garbage Collection" author: - name: "Daniel Frampton" link: "https://researchr.org/alias/daniel-frampton" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "David Grove" link: "https://researchr.org/alias/david-grove" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_6" links: doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_6" researchr: "https://researchr.org/publication/FramptonBCG07" cites: 0 citedby: 0 pages: "101-125" booktitle: "ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings" editor: - name: "Erik Ernst" link: "http://person.au.dk/eernst@cs" volume: "4609" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73588-5" kind: "inproceedings" key: "FramptonBCG07" - title: "Kava: a Java dialect with a uniform object model for lightweight classes" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "2001" doi: "http://portal.acm.org/citation.cfm?id=376656.376812" links: doi: "http://portal.acm.org/citation.cfm?id=376656.376812" tags: - "Java" - "object-role modeling" researchr: "https://researchr.org/publication/Bacon01" cites: 0 citedby: 0 pages: "68-77" booktitle: "Java Grande" kind: "inproceedings" key: "Bacon01" - title: "Space- and Time-Efficient Implementation of the Java Object Model" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Stephen J. Fink" link: "https://researchr.org/alias/stephen-j.-fink" - name: "David Grove" link: "https://researchr.org/alias/david-grove" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2374/23740111.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2374/23740111.htm" tags: - "Java" - "meta-model" - "object-role modeling" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BaconFG02" cites: 0 citedby: 0 pages: "111-132" booktitle: "ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings" editor: - name: "Boris Magnusson" link: "https://researchr.org/alias/boris-magnusson" volume: "2374" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43759-2" kind: "inproceedings" key: "BaconFG02" - title: "A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Jyh-Herng Chow" link: "https://researchr.org/alias/jyh-herng-chow" - name: "Dz-ching Ju" link: "https://researchr.org/alias/dz-ching-ju" - name: "Kalyan Muthukumar" link: "https://researchr.org/alias/kalyan-muthukumar" - name: "Vivek Sarkar" link: "https://researchr.org/alias/vivek-sarkar" year: "1994" doi: "http://doi.acm.org/10.1145/782188" links: doi: "http://doi.acm.org/10.1145/782188" tags: - "caching" - "data-flow" - "compiler" researchr: "https://researchr.org/publication/BaconCJMS94" cites: 0 citedby: 0 pages: "3" booktitle: "Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada" editor: - name: "John E. Botsford" link: "https://researchr.org/alias/john-e.-botsford" - name: "Ann Gawman" link: "https://researchr.org/alias/ann-gawman" - name: "W. Morven Gentleman" link: "https://researchr.org/alias/w.-morven-gentleman" - name: "Evelyn Kidd" link: "https://researchr.org/alias/evelyn-kidd" - name: "Kelly A. Lyons" link: "https://researchr.org/alias/kelly-a.-lyons" - name: "Jacob Slonim" link: "https://researchr.org/alias/jacob-slonim" - name: "J. Howard Johnson" link: "https://researchr.org/alias/j.-howard-johnson" publisher: "IBM" kind: "inproceedings" key: "BaconCJMS94" - title: "Thin Locks: Featherweight Synchronization for Java" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Ravi B. Konuru" link: "https://researchr.org/alias/ravi-b.-konuru" - name: "Chet Murthy" link: "https://researchr.org/alias/chet-murthy" - name: "Mauricio J. Serrano" link: "https://researchr.org/alias/mauricio-j.-serrano" year: "1998" tags: - "Java" - "synchronization" researchr: "https://researchr.org/publication/BaconKMS98" cites: 0 citedby: 0 pages: "258-268" booktitle: "PLDI" kind: "inproceedings" key: "BaconKMS98" - title: "Realtime garbage collection" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "2007" doi: "http://doi.acm.org/10.1145/1217256.1217268" links: doi: "http://doi.acm.org/10.1145/1217256.1217268" researchr: "https://researchr.org/publication/Bacon07" cites: 0 citedby: 0 journal: "ACM Queue" volume: "5" number: "1" pages: "40-49" kind: "article" key: "Bacon07" - title: "Nest: A Network Simulation and Prototyping Tool" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Jed Schwartz" link: "https://researchr.org/alias/jed-schwartz" - name: "Yechiam Yemini" link: "https://researchr.org/alias/yechiam-yemini" year: "1988" researchr: "https://researchr.org/publication/BaconSY88" cites: 0 citedby: 0 pages: "71-77" booktitle: "USENIX Winter" kind: "inproceedings" key: "BaconSY88" - title: "High-level language support for programming distributed systems" author: - name: "Joshua S. Auerbach" link: "https://researchr.org/alias/joshua-s.-auerbach" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Arthur P. Goldberg" link: "https://researchr.org/alias/arthur-p.-goldberg" - name: "Germán S. Goldszmidt" link: "https://researchr.org/alias/germ%C3%A1n-s.-goldszmidt" - name: "Ajei S. Gopal" link: "https://researchr.org/alias/ajei-s.-gopal" - name: "Mark T. Kennedy" link: "https://researchr.org/alias/mark-t.-kennedy" - name: "Andy Lowry" link: "https://researchr.org/alias/andy-lowry" - name: "James R. Russell" link: "https://researchr.org/alias/james-r.-russell" - name: "William Silverman" link: "https://researchr.org/alias/william-silverman" - name: "Robert E. Strom" link: "https://researchr.org/alias/robert-e.-strom" - name: "Daniel M. Yellin" link: "https://researchr.org/alias/daniel-m.-yellin" - name: "Shaula Yemini" link: "https://researchr.org/alias/shaula-yemini" year: "1992" doi: "http://dx.doi.org/10.1109/ICCL.1992.185496" links: doi: "http://dx.doi.org/10.1109/ICCL.1992.185496" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/AuerbachBGGGKLRSSYY92" cites: 0 citedby: 0 pages: "320-330" booktitle: "ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992" editor: - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Mario Barbacci" link: "https://researchr.org/alias/mario-barbacci" publisher: "IEEE" isbn: "0-8186-2585-6" kind: "inproceedings" key: "AuerbachBGGGKLRSSYY92" - title: "A unified theory of garbage collection" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Perry Cheng" link: "https://researchr.org/alias/perry-cheng" - name: "V. T. Rajan" link: "https://researchr.org/alias/v.-t.-rajan" year: "2004" doi: "http://doi.acm.org/10.1145/1028976.1028982" links: doi: "http://doi.acm.org/10.1145/1028976.1028982" researchr: "https://researchr.org/publication/BaconCR04" cites: 0 citedby: 0 pages: "50-68" booktitle: "Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004" editor: - name: "John M. Vlissides" link: "https://researchr.org/alias/john-m.-vlissides" - name: "Douglas C. Schmidt" link: "https://researchr.org/alias/douglas-c.-schmidt" address: "Vancouver, BC, Canada" publisher: "ACM" isbn: "1-58113-831-8" kind: "inproceedings" key: "BaconCR04" - title: "NEST: A Network Simulation and Prototyping Testbed" author: - name: "Alexander Dupuy" link: "https://researchr.org/alias/alexander-dupuy" - name: "Jed Schwartz" link: "https://researchr.org/alias/jed-schwartz" - name: "Yechiam Yemini" link: "https://researchr.org/alias/yechiam-yemini" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" year: "1990" researchr: "https://researchr.org/publication/DupuySYB90" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "33" number: "10" pages: "63-74" kind: "article" key: "DupuySYB90" - title: "Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies" author: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Xiaowei Shen" link: "https://researchr.org/alias/xiaowei-shen" year: "2006" doi: "http://dx.doi.org/10.1147/rd.502.0209" links: doi: "http://dx.doi.org/10.1147/rd.502.0209" tags: - "architecture" researchr: "https://researchr.org/publication/BaconS06" cites: 0 citedby: 0 journal: "IBM Journal of Research and Development" volume: "50" number: "2-3" pages: "209-222" kind: "article" key: "BaconS06" - title: "Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004" year: "2004" tags: - "memory management" researchr: "https://researchr.org/publication/iwmm%3A2004" cites: 0 citedby: 0 booktitle: "Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004" conference: "iwmm" editor: - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Amer Diwan" link: "https://researchr.org/alias/amer-diwan" publisher: "ACM" isbn: "1-58113-945-4" kind: "proceedings" key: "iwmm:2004" - title: "Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009" year: "2009" tags: - "Meta-Environment" researchr: "https://researchr.org/publication/vee%3A2009" cites: 0 citedby: 0 booktitle: "Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009" conference: "vee" editor: - name: "Antony L. Hosking" link: "https://researchr.org/alias/antony-l.-hosking" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Orran Krieger" link: "https://researchr.org/alias/orran-krieger" publisher: "ACM" isbn: "978-1-60558-375-4" kind: "proceedings" key: "vee:2009" - title: "Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" year: "2007" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla%3A2007" cites: 0 citedby: 0 booktitle: "Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" conference: "OOPSLA" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-786-5" kind: "proceedings" key: "oopsla:2007" - title: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" year: "2007" tags: - "programming languages" - "object-oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/oopsla%3A2007c" cites: 0 citedby: 0 booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" conference: "OOPSLA" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-865-7" kind: "proceedings" key: "oopsla:2007c"