@inproceedings{VechevBCG05,
  title = {Derivation and Evaluation of Concurrent Collectors},
  author = {Martin T. Vechev and David F. Bacon and Perry Cheng and David Grove},
  year = {2005},
  doi = {10.1007/11531142_25},
  url = {http://dx.doi.org/10.1007/11531142_25},
  researchr = {https://researchr.org/publication/VechevBCG05},
  cites = {0},
  citedby = {0},
  pages = {577-601},
  booktitle = {ECOOP},
}

@article{Bacon91:0,
  title = {Transparent Recovery in Distributed Systems},
  author = {David F. Bacon},
  year = {1991},
  researchr = {https://researchr.org/publication/Bacon91%3A0},
  cites = {0},
  citedby = {0},
  journal = {sigops},
  volume = {25},
  number = {2},
  pages = {91-94},
}

@inproceedings{BaconS91,
  title = {Optimistic Parallelization of Communicating Sequential Processes},
  author = {David F. Bacon and Robert E. Strom},
  year = {1991},
  tags = {e-science},
  researchr = {https://researchr.org/publication/BaconS91},
  cites = {0},
  citedby = {0},
  pages = {155-166},
  booktitle = {ppopp},
}

@inproceedings{CorwinBGM03,
  title = {MJ: a rational module system for Java and its applications},
  author = {John Corwin and David F. Bacon and David Grove and Chet Murthy},
  year = {2003},
  doi = {10.1145/949305.949326},
  url = {http://doi.acm.org/10.1145/949305.949326},
  tags = {Java},
  researchr = {https://researchr.org/publication/CorwinBGM03},
  cites = {0},
  citedby = {0},
  pages = {241-254},
  booktitle = {OOPSLA},
}

@inproceedings{VechevYBR07,
  title = {CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors},
  author = {Martin T. Vechev and Eran Yahav and David F. Bacon and Noam Rinetzky},
  year = {2007},
  doi = {10.1145/1250734.1250787},
  url = {http://doi.acm.org/10.1145/1250734.1250787},
  tags = {search},
  researchr = {https://researchr.org/publication/VechevYBR07},
  cites = {0},
  citedby = {0},
  pages = {456-467},
  booktitle = {PLDI},
}

@inproceedings{HuangHBR08,
  title = {Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary},
  author = {Shan Shan Huang and Amir Hormati and David F. Bacon and Rodric M. Rabbah},
  year = {2008},
  doi = {10.1007/978-3-540-70592-5_5},
  url = {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},
}

@inproceedings{BaconCFGHR06,
  title = {Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork},
  author = {David F. Bacon and Perry Cheng and Daniel Frampton and David Grove and Matthias Hauswirth and V. T. Rajan},
  year = {2006},
  doi = {10.1007/11688839_8},
  url = {http://dx.doi.org/10.1007/11688839_8},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BaconCFGHR06},
  cites = {0},
  citedby = {0},
  pages = {96-100},
  booktitle = {CC},
}

@inproceedings{VechevB04,
  title = {Write barrier elision for concurrent garbage collectors},
  author = {Martin T. Vechev and David F. Bacon},
  year = {2004},
  doi = {10.1145/1029873.1029876},
  url = {http://doi.acm.org/10.1145/1029873.1029876},
  researchr = {https://researchr.org/publication/VechevB04},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {iwmm},
}

@inproceedings{BaconCR03:1,
  title = {The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems},
  author = {David F. Bacon and Perry Cheng and V. T. Rajan},
  year = {2003},
  url = {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 = {otm},
}

@inproceedings{DupySYB89,
  title = {NEST: a network simulation & prototyping testbed},
  author = {Alexander Dupuy and Jed Schwartz and Yechiam Yemini and David F. Bacon},
  year = {1989},
  doi = {10.1145/76738.76873},
  url = {http://doi.acm.org/10.1145/76738.76873},
  researchr = {https://researchr.org/publication/DupySYB89},
  cites = {0},
  citedby = {0},
  pages = {1058-1064},
  booktitle = {wsc},
}

@inproceedings{BaconST00,
  title = {Guava: a dialect of Java without data races},
  author = {David F. Bacon and Robert E. Strom and Ashis Tarafdar},
  year = {2000},
  doi = {10.1145/353171.353197},
  url = {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},
}

@inproceedings{BaconALRS01,
  title = {Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector},
  author = {David F. Bacon and C. Richard Attanasio and Han Bok Lee and V. T. Rajan and 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},
}

@inproceedings{BaconR01,
  title = {Concurrent Cycle Collection in Reference Counted Systems},
  author = {David F. Bacon and V. T. Rajan},
  year = {2001},
  url = {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},
}

@inproceedings{BaconS96,
  title = {Fast Static Analysis of C++ Virtual Function Calls},
  author = {David F. Bacon and 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},
}

@article{BaconGS94,
  title = {Compiler Transformations for High-Performance Computing},
  author = {David F. Bacon and Susan L. Graham and Oliver J. Sharp},
  year = {1994},
  tags = {compiler, transformation},
  researchr = {https://researchr.org/publication/BaconGS94},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {26},
  number = {4},
  pages = {345-420},
}

@inproceedings{BaconCR03:0,
  title = {A real-time garbage collector with low overhead and consistent utilization},
  author = {David F. Bacon and Perry Cheng and V. T. Rajan},
  year = {2003},
  doi = {10.1145/640128.604155},
  url = {http://doi.acm.org/10.1145/640128.604155},
  researchr = {https://researchr.org/publication/BaconCR03%3A0},
  cites = {0},
  citedby = {0},
  pages = {285-298},
  booktitle = {POPL},
}

@inproceedings{AuerbachBCGBGMMS08,
  title = {Tax-and-spend: democratic scheduling for real-time garbage collection},
  author = {Joshua S. Auerbach and David F. Bacon and Perry Cheng and David Grove and Ben Biron and Charlie Gracie and Bill McCloskey and Aleksandar Micic and Ryan Sciampacone},
  year = {2008},
  doi = {10.1145/1450058.1450092},
  url = {http://doi.acm.org/10.1145/1450058.1450092},
  researchr = {https://researchr.org/publication/AuerbachBCGBGMMS08},
  cites = {0},
  citedby = {0},
  pages = {245-254},
  booktitle = {emsoft},
}

@inproceedings{BaconL90,
  title = {A Portable Run-time System for the Hermes Distributed Programming Language},
  author = {David F. Bacon and Andy Lowry},
  year = {1990},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/BaconL90},
  cites = {0},
  citedby = {0},
  pages = {39-50},
  booktitle = {usenix},
}

@inproceedings{ZouABL09,
  title = {PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice},
  author = {Jia Zou and Joshua S. Auerbach and David F. Bacon and Edward A. Lee},
  year = {2009},
  doi = {10.1145/1542452.1542457},
  url = {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 = {lctrts},
}

@inproceedings{TitzerABP07,
  title = {The ExoVM system for automatic VM and application reduction},
  author = {Ben Titzer and Joshua S. Auerbach and David F. Bacon and Jens Palsberg},
  year = {2007},
  doi = {10.1145/1250734.1250775},
  url = {http://doi.acm.org/10.1145/1250734.1250775},
  researchr = {https://researchr.org/publication/TitzerABP07},
  cites = {0},
  citedby = {0},
  pages = {352-362},
  booktitle = {PLDI},
}

@inproceedings{AttanasioBCS01,
  title = {A Comparative Evaluation of Parallel Garbage Collector Implementations},
  author = {C. Richard Attanasio and David F. Bacon and Anthony Cocchi and Stephen E. Smith},
  year = {2001},
  url = {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 = {lcpc},
}

@article{Bacon03,
  title = {Kava: a Java dialect with a uniform object model for lightweight classes},
  author = {David F. Bacon},
  year = {2003},
  tags = {Java, object-role modeling},
  researchr = {https://researchr.org/publication/Bacon03},
  cites = {0},
  citedby = {0},
  journal = {concurrency},
  volume = {15},
  number = {3-5},
  pages = {185-206},
}

@inproceedings{SomanKB04,
  title = {Dynamic selection of application-specific garbage collectors},
  author = {Sunil Soman and Chandra Krintz and David F. Bacon},
  year = {2004},
  doi = {10.1145/1029873.1029880},
  url = {http://doi.acm.org/10.1145/1029873.1029880},
  researchr = {https://researchr.org/publication/SomanKB04},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {iwmm},
}

@inproceedings{BaconG91,
  title = {Hardware-Assisted Replay of Multiprocessor Programs},
  author = {David F. Bacon and Seth Copen Goldstein},
  year = {1991},
  researchr = {https://researchr.org/publication/BaconG91},
  cites = {0},
  citedby = {0},
  pages = {194-206},
  booktitle = {pdd},
}

@article{AuerbachBIKRRT09,
  title = {Low-latency time-portable real-time programming with Exotasks},
  author = {Joshua S. Auerbach and David F. Bacon and Daniel T. Iercan and Christoph M. Kirsch and V. T. Rajan and Harald Röck and Rainer Trummer},
  year = {2009},
  doi = {10.1145/1457255.1457262},
  url = {http://doi.acm.org/10.1145/1457255.1457262},
  tags = {programming},
  researchr = {https://researchr.org/publication/AuerbachBIKRRT09},
  cites = {0},
  citedby = {0},
  journal = {tecs},
  volume = {8},
  number = {2},
}

@inproceedings{PazPBKR05,
  title = {An Efficient On-the-Fly Cycle Collection},
  author = {Harel Paz and Erez Petrank and David F. Bacon and Elliot K. Kolodner and V. T. Rajan},
  year = {2005},
  url = {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 = {CC},
}

@inproceedings{AuerbachBGGKLRSSYY91,
  title = {High-level language support for programming distributed systems},
  author = {Joshua S. Auerbach and David F. Bacon and Arthur P. Goldberg and Germán S. Goldszmidt and Mark T. Kennedy and Andy Lowry and James R. Russell and William Silverman and Robert E. Strom and Daniel M. Yellin and Shaula Yemini},
  year = {1991},
  doi = {10.1145/962128},
  url = {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 = {cascon},
}

@article{PazBKPR07,
  title = {An efficient on-the-fly cycle collection},
  author = {Harel Paz and David F. Bacon and Elliot K. Kolodner and Erez Petrank and V. T. Rajan},
  year = {2007},
  doi = {10.1145/1255450.1255453},
  url = {http://doi.acm.org/10.1145/1255450.1255453},
  researchr = {https://researchr.org/publication/PazBKPR07},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {29},
  number = {4},
  pages = {20},
}

@inproceedings{Bacon90,
  title = {Transparent recovery in distributed systems},
  author = {David F. Bacon},
  year = {1990},
  doi = {10.1145/504136.504150},
  url = {http://doi.acm.org/10.1145/504136.504150},
  researchr = {https://researchr.org/publication/Bacon90},
  cites = {0},
  citedby = {0},
  booktitle = {sigopsE},
}

@article{LeaBG08,
  title = {Languages and performance engineering: method, instrumentation, and pedagogy},
  author = {Doug Lea and David F. Bacon and David Grove},
  year = {2008},
  doi = {10.1145/1480828.1480848},
  url = {http://doi.acm.org/10.1145/1480828.1480848},
  tags = {language engineering},
  researchr = {https://researchr.org/publication/LeaBG08},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {43},
  number = {11},
  pages = {87-92},
}

@inproceedings{BaconCG07,
  title = {TuningFork: a platform for visualization and analysis of complex real-time systems},
  author = {David F. Bacon and Perry Cheng and David Grove},
  year = {2007},
  doi = {10.1145/1297846.1297923},
  url = {http://doi.acm.org/10.1145/1297846.1297923},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BaconCG07},
  cites = {0},
  citedby = {0},
  pages = {854-855},
  booktitle = {OOPSLA},
}

@inproceedings{Bacon91,
  title = {File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm},
  author = {David F. Bacon},
  year = {1991},
  tags = {design},
  researchr = {https://researchr.org/publication/Bacon91},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {srds},
}

@inproceedings{FramptonBCG07,
  title = {Generational Real-Time Garbage Collection},
  author = {Daniel Frampton and David F. Bacon and Perry Cheng and David Grove},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_6},
  url = {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},
}

@inproceedings{Bacon01,
  title = {Kava: a Java dialect with a uniform object model for lightweight classes},
  author = {David F. Bacon},
  year = {2001},
  url = {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},
}

@inproceedings{BaconFG02,
  title = {Space- and Time-Efficient Implementation of the Java Object Model},
  author = {David F. Bacon and Stephen J. Fink and David Grove},
  year = {2002},
  url = {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},
}

@inproceedings{BaconCJMS94,
  title = {A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness},
  author = {David F. Bacon and Jyh-Herng Chow and Dz-ching Ju and Kalyan Muthukumar and Vivek Sarkar},
  year = {1994},
  doi = {10.1145/782188},
  url = {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 = {cascon},
}

@inproceedings{BaconKMS98,
  title = {Thin Locks: Featherweight Synchronization for Java},
  author = {David F. Bacon and Ravi B. Konuru and Chet Murthy and Mauricio J. Serrano},
  year = {1998},
  tags = {Java, synchronization},
  researchr = {https://researchr.org/publication/BaconKMS98},
  cites = {0},
  citedby = {0},
  pages = {258-268},
  booktitle = {PLDI},
}

@article{Bacon07,
  title = {Realtime garbage collection},
  author = {David F. Bacon},
  year = {2007},
  doi = {10.1145/1217256.1217268},
  url = {http://doi.acm.org/10.1145/1217256.1217268},
  researchr = {https://researchr.org/publication/Bacon07},
  cites = {0},
  citedby = {0},
  journal = {queue},
  volume = {5},
  number = {1},
  pages = {40-49},
}

@inproceedings{BaconSY88,
  title = {Nest: A Network Simulation and Prototyping Tool},
  author = {David F. Bacon and Jed Schwartz and Yechiam Yemini},
  year = {1988},
  researchr = {https://researchr.org/publication/BaconSY88},
  cites = {0},
  citedby = {0},
  pages = {71-77},
  booktitle = {usenix},
}

@inproceedings{AuerbachBGGGKLRSSYY92,
  title = {High-level language support for programming distributed systems},
  author = {Joshua S. Auerbach and David F. Bacon and Arthur P. Goldberg and Germán S. Goldszmidt and Ajei S. Gopal and Mark T. Kennedy and Andy Lowry and James R. Russell and William Silverman and Robert E. Strom and Daniel M. Yellin and Shaula Yemini},
  year = {1992},
  doi = {10.1109/ICCL.1992.185496},
  url = {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},
}

@inproceedings{BaconCR04,
  title = {A unified theory of garbage collection},
  author = {David F. Bacon and Perry Cheng and V. T. Rajan},
  year = {2004},
  doi = {10.1145/1028976.1028982},
  url = {http://doi.acm.org/10.1145/1028976.1028982},
  researchr = {https://researchr.org/publication/BaconCR04},
  cites = {0},
  citedby = {0},
  pages = {50-68},
  booktitle = {OOPSLA},
}

@article{DupuySYB90,
  title = {NEST: A Network Simulation and Prototyping Testbed},
  author = {Alexander Dupuy and Jed Schwartz and Yechiam Yemini and David F. Bacon},
  year = {1990},
  researchr = {https://researchr.org/publication/DupuySYB90},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {33},
  number = {10},
  pages = {63-74},
}

@article{BaconS06,
  title = {Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies},
  author = {David F. Bacon and Xiaowei Shen},
  year = {2006},
  doi = {10.1147/rd.502.0209},
  url = {http://dx.doi.org/10.1147/rd.502.0209},
  tags = {architecture},
  researchr = {https://researchr.org/publication/BaconS06},
  cites = {0},
  citedby = {0},
  journal = {ibmrd},
  volume = {50},
  number = {2-3},
  pages = {209-222},
}
@proceedings{iwmm:2004,
  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 = {David F. Bacon and Amer Diwan},
  publisher = {ACM},
  isbn = {1-58113-945-4},
}

@proceedings{vee:2009,
  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 = {Antony L. Hosking and David F. Bacon and Orran Krieger},
  publisher = {ACM},
  isbn = {978-1-60558-375-4},
}

@proceedings{oopsla:2007,
  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 = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@proceedings{oopsla:2007c,
  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 = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}