BibTeX records: David Tarditi

download as .bib file

@inproceedings{DBLP:conf/post/RuefLSTH19,
  author       = {Andrew Ruef and
                  Leonidas Lampropoulos and
                  Ian Sweet and
                  David Tarditi and
                  Michael Hicks},
  editor       = {Flemming Nielson and
                  David Sands},
  title        = {Achieving Safety Incrementally with Checked {C}},
  booktitle    = {Principles of Security and Trust - 8th International Conference, {POST}
                  2019, Held as Part of the European Joint Conferences on Theory and
                  Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
                  6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11426},
  pages        = {76--98},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17138-4\_4},
  doi          = {10.1007/978-3-030-17138-4\_4},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/post/RuefLSTH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secdev/ElliottR0T18,
  author       = {Archibald Samuel Elliott and
                  Andrew Ruef and
                  Michael Hicks and
                  David Tarditi},
  title        = {Checked {C:} Making {C} Safe by Extension},
  booktitle    = {2018 {IEEE} Cybersecurity Development, SecDev 2018, Cambridge, MA,
                  USA, September 30 - October 2, 2018},
  pages        = {53--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SecDev.2018.00015},
  doi          = {10.1109/SECDEV.2018.00015},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/secdev/ElliottR0T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/IEEEpact/2008,
  editor       = {Andreas Moshovos and
                  David Tarditi and
                  Kunle Olukotun},
  title        = {17th International Conference on Parallel Architectures and Compilation
                  Techniques, {PACT} 2008, Toronto, Ontario, Canada, October 25-29,
                  2008},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1454115},
  doi          = {10.1145/1454115},
  isbn         = {978-1-60558-282-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEpact/HeffnerTS07,
  author       = {Kelly Heffner and
                  David Tarditi and
                  Michael D. Smith},
  title        = {Extending Object-Oriented Optimizations for Concurrent Programs},
  booktitle    = {16th International Conference on Parallel Architectures and Compilation
                  Techniques {(PACT} 2007), Brasov, Romania, September 15-19, 2007},
  pages        = {119--129},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.ieeecomputersociety.org/10.1109/PACT.2007.32},
  doi          = {10.1109/PACT.2007.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/HeffnerTS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosys/HuntAFHHLLSTW07,
  author       = {Galen C. Hunt and
                  Mark Aiken and
                  Manuel F{\"{a}}hndrich and
                  Chris Hawblitzel and
                  Orion Hodson and
                  James R. Larus and
                  Steven Levi and
                  Bjarne Steensgaard and
                  David Tarditi and
                  Ted Wobber},
  editor       = {Paulo Ferreira and
                  Thomas R. Gross and
                  Lu{\'{\i}}s Veiga},
  title        = {Sealing {OS} processes to improve dependability and safety},
  booktitle    = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March
                  21-23, 2007},
  pages        = {341--354},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1272996.1273032},
  doi          = {10.1145/1272996.1273032},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/HuntAFHHLLSTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vee/2007,
  editor       = {Chandra Krintz and
                  Steven Hand and
                  David Tarditi},
  title        = {Proceedings of the 3rd International Conference on Virtual Execution
                  Environments, {VEE} 2007, San Diego, California, USA, June 13-15,
                  2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1254810},
  doi          = {10.1145/1254810},
  isbn         = {978-1-59593-630-1},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vee/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asplos/TarditiPO06,
  author       = {David Tarditi and
                  Sidd Puri and
                  Jose Oglesby},
  editor       = {John Paul Shen and
                  Margaret Martonosi},
  title        = {Accelerator: using data parallelism to program GPUs for general-purpose
                  uses},
  booktitle    = {Proceedings of the 12th International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2006, San Jose, CA, USA, October 21-25, 2006},
  pages        = {325--335},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1168857.1168898},
  doi          = {10.1145/1168857.1168898},
  timestamp    = {Wed, 07 Jul 2021 13:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/TarditiPO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/HarrisPST06,
  author       = {Tim Harris and
                  Mark Plesko and
                  Avraham Shinnar and
                  David Tarditi},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Optimizing memory transactions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133984},
  doi          = {10.1145/1133981.1133984},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HarrisPST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hotos/HuntLTW05,
  author       = {Galen C. Hunt and
                  James R. Larus and
                  David Tarditi and
                  Ted Wobber},
  title        = {Broad New {OS} Research: Challenges and Opportunities},
  booktitle    = {Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating
                  Systems, June 12-15, 2005, Santa Fe, New Mexico, {USA}},
  publisher    = {{USENIX} Association},
  year         = {2005},
  url          = {http://www.usenix.org/events/hotos05/final\_papers/full\_papers/hunt/hunt.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/HuntLTW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ChenT05,
  author       = {Juan Chen and
                  David Tarditi},
  editor       = {Jens Palsberg and
                  Mart{\'{\i}}n Abadi},
  title        = {A simple typed intermediate language for object-oriented languages},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2005, Long Beach, California, USA,
                  January 12-14, 2005},
  pages        = {38--49},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1040305.1040309},
  doi          = {10.1145/1040305.1040309},
  timestamp    = {Sat, 31 Jul 2021 17:22:14 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/ChenT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/FitzgeraldKRST00,
  author       = {Robert P. Fitzgerald and
                  Todd B. Knoblock and
                  Erik Ruf and
                  Bjarne Steensgaard and
                  David Tarditi},
  title        = {Marmot: an optimizing compiler for Java},
  journal      = {Softw. Pract. Exp.},
  volume       = {30},
  number       = {3},
  pages        = {199--232},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(200003)30:3\&\#60;199::AID-SPE296\&\#62;3.0.CO;2-2},
  doi          = {10.1002/(SICI)1097-024X(200003)30:3\&\#60;199::AID-SPE296\&\#62;3.0.CO;2-2},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/FitzgeraldKRST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwmm/Tarditi00,
  author       = {David Tarditi},
  editor       = {Craig Chambers and
                  Antony L. Hosking},
  title        = {Compact Garbage Collection Tables},
  booktitle    = {{ISMM} 2000, International Symposium on Memory Management, Minneapolis,
                  Minnesota, USA, October 15-16, 2000 (in conjunction with {OOPSLA}
                  2000), Conference Proceedings},
  pages        = {50--58},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/362422.362437},
  doi          = {10.1145/362422.362437},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/Tarditi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwmm/FitzgeraldT00,
  author       = {Robert P. Fitzgerald and
                  David Tarditi},
  editor       = {Craig Chambers and
                  Antony L. Hosking},
  title        = {The Case for Profile-Directed Selection of Garbage Collectors},
  booktitle    = {{ISMM} 2000, International Symposium on Memory Management, Minneapolis,
                  Minnesota, USA, October 15-16, 2000 (in conjunction with {OOPSLA}
                  2000), Conference Proceedings},
  pages        = {111--120},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/362422.362472},
  doi          = {10.1145/362422.362472},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/FitzgeraldT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/TarditiD96,
  author       = {David Tarditi and
                  Amer Diwan},
  title        = {Measuring the Cost of Storage Management},
  journal      = {{LISP} Symb. Comput.},
  volume       = {9},
  number       = {4},
  pages        = {323--342},
  year         = {1996},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/TarditiD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/TarditiMCSHL96,
  author       = {David Tarditi and
                  J. Gregory Morrisett and
                  Perry Cheng and
                  Christopher A. Stone and
                  Robert Harper and
                  Peter Lee},
  editor       = {Charles N. Fischer},
  title        = {{TIL:} {A} Type-Directed Optimizing Compiler for {ML}},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
                  Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
                  May 21-24, 1996},
  pages        = {181--192},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/231379.231414},
  doi          = {10.1145/231379.231414},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/TarditiMCSHL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/TarditiMCSHL96a,
  author       = {David Tarditi and
                  J. Gregory Morrisett and
                  Perry Cheng and
                  Christopher A. Stone and
                  Robert Harper and
                  Peter Lee},
  editor       = {Kathryn S. McKinley},
  title        = {{TIL:} a type-directed, optimizing compiler for {ML} (with retrospective)},
  booktitle    = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
                  Design and Implementation 1979-1999, {A} Selection},
  pages        = {554--567},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/989393.989449},
  doi          = {10.1145/989393.989449},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/TarditiMCSHL96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocs/DiwanTM95,
  author       = {Amer Diwan and
                  David Tarditi and
                  J. Eliot B. Moss},
  title        = {Memory System Performance of Programs with Intensive Heap Allocation},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {13},
  number       = {3},
  pages        = {244--273},
  year         = {1995},
  url          = {https://doi.org/10.1145/210126.210129},
  doi          = {10.1145/210126.210129},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/DiwanTM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/OkasakiLT94,
  author       = {Chris Okasaki and
                  Peter Lee and
                  David Tarditi},
  title        = {Call-by-Need and Continuation-Passing Style},
  journal      = {{LISP} Symb. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {57--82},
  year         = {1994},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/OkasakiLT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/DiwanTM94,
  author       = {Amer Diwan and
                  David Tarditi and
                  J. Eliot B. Moss},
  editor       = {Hans{-}Juergen Boehm and
                  Bernard Lang and
                  Daniel M. Yellin},
  title        = {Memory Subsystem Performance of Programs Using Copying Garbage Collection},
  booktitle    = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Portland, Oregon, USA, January
                  17-21, 1994},
  pages        = {1--14},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/174675.174710},
  doi          = {10.1145/174675.174710},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DiwanTM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/loplas/TarditiLA92,
  author       = {David Tarditi and
                  Peter Lee and
                  Anurag Acharya},
  title        = {No Assembly Required: Compiling Standard {ML} to {C}},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {161--177},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151343},
  doi          = {10.1145/151333.151343},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/TarditiLA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.