talk-2018-11-uppsala/texlib/report.bib

102 lines
2.9 KiB
BibTeX

@manual{dwarf5std,
title = {DWARF Debugging Information Format version 5},
organization = {DWARF Debugging Information Format Committee},
author = {DWARF5},
url = {http://dwarfstd.org},
year = {2017},
}
@manual{c11std,
title = {ISO/IEC 9899:2011},
organization = {International Organization for Standardization},
author = {C11},
}
@manual{systemVabi,
title = {System V Application Binary Interface, AMD64
architecture},
url = {https://software.intel.com/sites/default/files/article/402129/mpx-linux64-abi.pdf},
}
@online{libunwind,
title = {Libunwind webpage},
url = {http://www.nongnu.org/libunwind/},
}
@inproceedings{oakley2011exploiting,
title={Exploiting the Hard-Working DWARF: Trojan and Exploit Techniques with No Native Executable Code.},
author={Oakley, James and Bratus, Sergey},
booktitle={WOOT},
pages={91--102},
year={2011}
}
@article{dinechin2000exn,
title={C++ exception handling},
author={De Dinechin, Christophe},
journal={IEEE Concurrency},
volume={8},
number={4},
pages={72--79},
year={2000},
publisher={IEEE}
}
@article{koening1990exception,
title={Exception handling for C++},
author={Koening, Andrew and Stroustrup, Bjarne},
journal={Journal of Object-Oriented Programming},
volume={3},
number={2},
pages={16--33},
year={1990},
publisher={SIGS Publications},
url={http://www.stroustrup.com/except89.pdf}
}
@online{niditoexn,
title={Exceptions in C with Longjmp and Setjmp},
author={Nidito, Francesco},
url={https://www.di.unipi.it/~nids/docs/longjump_try_trow_catch.html},
urldate={2018-08-04}
}
@online{hackbenchsrc,
title={Hackbench},
author={Zhang, Yanmin},
url={https://people.redhat.com/mingo/cfs-scheduler/tools/hackbench.c},
year={2008}
}
@inproceedings{csmith,
author = {Xuejun Yang and
Yang Chen and
Eric Eide and
John Regehr},
title = {Finding and understanding bugs in {C} compilers},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {283--294},
year = {2011},
crossref = {DBLP:conf/pldi/2011},
url = {http://doi.acm.org/10.1145/1993498.1993532},
doi = {10.1145/1993498.1993532},
timestamp = {Mon, 05 Jun 2017 12:39:37 +0200},
biburl = {https://dblp.org/rec/bib/conf/pldi/YangCER11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{kell2016libcrunch,
title={Dynamically diagnosing type errors in unsafe code},
author={Kell, Stephen},
journal={ACM SIGPLAN Notices},
volume={51},
number={10},
pages={800--819},
year={2016},
publisher={ACM}
}