default search action
David Tarditi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c13]Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks:
Achieving Safety Incrementally with Checked C. POST 2019: 76-98 - 2018
- [c12]Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi:
Checked C: Making C Safe by Extension. SecDev 2018: 53-60
2000 – 2009
- 2008
- [e2]Andreas Moshovos, David Tarditi, Kunle Olukotun:
17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008. ACM 2008, ISBN 978-1-60558-282-5 [contents] - 2007
- [c11]Kelly Heffner, David Tarditi, Michael D. Smith:
Extending Object-Oriented Optimizations for Concurrent Programs. PACT 2007: 119-129 - [c10]Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber:
Sealing OS processes to improve dependability and safety. EuroSys 2007: 341-354 - [e1]Chandra Krintz, Steven Hand, David Tarditi:
Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007. ACM 2007, ISBN 978-1-59593-630-1 [contents] - 2006
- [c9]David Tarditi, Sidd Puri, Jose Oglesby:
Accelerator: using data parallelism to program GPUs for general-purpose uses. ASPLOS 2006: 325-335 - [c8]Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi:
Optimizing memory transactions. PLDI 2006: 14-25 - 2005
- [c7]Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber:
Broad New OS Research: Challenges and Opportunities. HotOS 2005 - [c6]Juan Chen, David Tarditi:
A simple typed intermediate language for object-oriented languages. POPL 2005: 38-49 - 2000
- [j5]Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi:
Marmot: an optimizing compiler for Java. Softw. Pract. Exp. 30(3): 199-232 (2000) - [c5]David Tarditi:
Compact Garbage Collection Tables. ISMM 2000: 50-58 - [c4]Robert P. Fitzgerald, David Tarditi:
The Case for Profile-Directed Selection of Garbage Collectors. ISMM 2000: 111-120
1990 – 1999
- 1996
- [j4]David Tarditi, Amer Diwan:
Measuring the Cost of Storage Management. LISP Symb. Comput. 9(4): 323-342 (1996) - [c3]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone
, Robert Harper, Peter Lee:
TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192 - [c2]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone
TIL: a type-directed, optimizing compiler for ML (with retrospective). Best of PLDI 1996: 554-567 - 1995
- [j3]Amer Diwan, David Tarditi, J. Eliot B. Moss:
Memory System Performance of Programs with Intensive Heap Allocation. ACM Trans. Comput. Syst. 13(3): 244-273 (1995) - 1994
- [j2]Chris Okasaki, Peter Lee, David Tarditi:
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7(1): 57-82 (1994) - [c1]Amer Diwan, David Tarditi, J. Eliot B. Moss:
Memory Subsystem Performance of Programs Using Copying Garbage Collection. POPL 1994: 1-14 - 1992
- [j1]David Tarditi, Peter Lee, Anurag Acharya:
No Assembly Required: Compiling Standard ML to C. LOPLAS 1(2): 161-177 (1992)
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: