Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
old
README.md
acm-exterminator.pdf
asplos147-lvin.pdf
ccs03e-novark.pdf
pldi028-novark.pdf
pldi2006-diehard.pdf

README.md

This directory contains several technical papers describing DieHard and related projects.

DieHard

  • DieHard: An error-resistant / fault-tolerant memory allocator that TOLERATES errors.

@inproceedings{1134000,
author = {Emery D. Berger and Benjamin G. Zorn},
title = {{DieHard}: Probabilistic Memory Safety for Unsafe Languages},
booktitle = {Proceedings of the 2006 ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI)},
year = {2006},
isbn = {1-59593-320-4},
pages = {158--168},
location = {Ottawa, Ontario, Canada},
doi = {http://doi.acm.org/10.1145/1133981.1134000},
publisher = {ACM Press},
address = {New York, NY, USA},
}

Exterminator

  • Exterminator: a system that AUTOMATICALLY FIXES programs with memory errors.

@inproceedings{1250736,
author = {Gene Novark and Emery D. Berger and Benjamin G. Zorn},
title = {Exterminator: automatically correcting memory errors with high probability},
booktitle = {Proceedings of the 2007 ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI)},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {1--11},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250736},
publisher = {ACM Press},
address = {New York, NY, USA},
}

@article{1409382,
author = {Gene Novark and Emery D. Berger and Benjamin G. Zorn},
title = {Exterminator: Automatically correcting memory errors with high probability},
journal = {Communications of the ACM},
volume = {51},
number = {12},
year = {2008},
issn = {0001-0782},
pages = {87--95},
doi = {http://doi.acm.org/10.1145/1409360.1409382},
publisher = {ACM},
address = {New York, NY, USA},
}

Archipelago

  • Archipelago: an extremely error-tolerant runtime system for 64-bit platforms

@inproceedings{Lvin:2008:ATA:1346281.1346296, author = {Lvin, Vitaliy B. and Novark, Gene and Berger, Emery D. and Zorn, Benjamin G.}, title = {Archipelago: trading address space for reliability and security}, booktitle = {Proceedings of the 13th international conference on Architectural support for programming languages and operating systems}, series = {ASPLOS XIII}, year = {2008}, isbn = {978-1-59593-958-6}, location = {Seattle, WA, USA}, pages = {115--124}, numpages = {10}, url = {http://doi.acm.org/10.1145/1346281.1346296}, doi = {10.1145/1346281.1346296}, acmid = {1346296}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Archipelago, buffer overflow, dynamic memory allocation, memory errors, probabilistic memory safety, randomized algorithms, virtual memory}, }

DieHarder

  • DieHarder: a system that improves SECURITY by protecting programs against security exploits.

@inproceedings{Novark:2010:DSH:1866307.1866371,
author = {Novark, Gene and Berger, Emery D.},
title = {{DieHarder}: securing the heap},
booktitle = {Proceedings of the 17th ACM conference on Computer and communications security},
series = {CCS '10},
year = {2010},
isbn = {978-1-4503-0245-6},
location = {Chicago, Illinois, USA},
pages = {573--584},
numpages = {12},
doi = {http://doi.acm.org/10.1145/1866307.1866371},
acmid = {1866371},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {buffer overflow, dangling pointer, dynamic memory allocation, memory errors},
}

You can’t perform that action at this time.