Dependent Types for Low-Level Programming.

Matthew Harren Jeremy Condit Matthew Harren Zachary R. Anderson David Gay George C. Necula Dependent Types for Low-Level Programming. 520-535 2007 conf/esop/2007 ESOP https://doi.org/10.1007/978-3-540-71316-6_35 db/conf/esop/esop2007.html#ConditHAGN07 Zachary R. Anderson Eric A. Brewer Jeremy Condit Robert Ennals David Gay Matthew Harren George C. Necula Feng Zhou Beyond Bug-Finding: Sound Program Analysis for Linux. 2007 HotOS http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf conf/hotos/2007 db/conf/hotos/hotos2007.html#AndersonBCEGHNZ07 Feng Zhou Jeremy Condit Zachary R. Anderson Ilya Bagrak Robert Ennals Matthew Harren George C. Necula Eric A. Brewer SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. 45-60 2006 conf/osdi/2006 OSDI http://www.usenix.org/events/osdi06/tech/zhou.html db/conf/osdi/osdi2006.html#ZhouCABEHNB06 Bor-Yuh Evan Chang Matthew Harren George C. Necula Analysis of Low-Level Code Using Cooperating Decompilers. 318-335 2006 conf/sas/2006 SAS https://doi.org/10.1007/11823230_21 db/conf/sas/sas2006.html#ChangHN06

George C. Necula Jeremy Condit Matthew Harren Scott McPeak Westley Weimer CCured: type-safe retrofitting of legacy software. 477-526 2005 27 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/1065887.1065892 db/journals/toplas/toplas27.html#NeculaCHMW05

Matthew Harren George C. Necula Using Dependent Types to Certify the Safety of Assembly Code. 155-170 2005 conf/sas/2005 SAS https://doi.org/10.1007/11547662_12 db/conf/sas/sas2005.html#HarrenN05 Matthew Harren Mukund Raghavachari Oded Shmueli Michael G. Burke Rajesh Bordawekar Igor Pechtchanski Vivek Sarkar XJ: facilitating XML processing in Java. 278-287 2005 conf/www/2005 WWW https://doi.org/10.1145/1060745.1060788 db/conf/www/www2005.html#HarrenRSBBPS05 Matthew Harren Mukund Raghavachari Oded Shmueli Michael G. Burke Vivek Sarkar Rajesh Bordawekar XJ: integration of XML processing into java. 340-341 2004 conf/www/2004at WWW (Alternate Track Papers & Posters) https://doi.org/10.1145/1013367.1013465 db/conf/www/www2004at.html#HarrenRSBSB04 Matthew Harren George C. Necula Lightweight Wrappers for Interfacing with Binary Code in CCured. 209-225 https://doi.org/10.1007/978-3-540-37621-7_11 2003 conf/isss2/2003 ISSS db/conf/isss2/isss2003.html#HarrenN03 Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer CCured in the real world. 232-244 2003 conf/pldi/2003 PLDI https://doi.org/10.1145/781131.781157 https://doi.org/10.1145/780822.781157 db/conf/pldi/pldi2003.html#ConditHMNW03 Peter Broadwell Matthew Harren Naveen Sastry Scrash: A System for Generating Secure Crash Information. 2003 USENIX Security Symposium https://www.usenix.org/conference/12th-usenix-security-symposium/scrash-system-generating-secure-crash-information conf/uss/2003 db/conf/uss/uss2003.html#BroadwellHS03 Matthew Harren Joseph M. Hellerstein Ryan Huebsch Boon Thau Loo Scott Shenker Ion Stoica Complex Queries in DHT-based Peer-to-Peer Networks. 242-259 2002 conf/iptps/2002 IPTPS https://doi.org/10.1007/3-540-45748-8_23 db/conf/iptps/iptps2002.html#HarrenHHLSS02 Zachary R. Anderson Ilya Bagrak Rajesh Bordawekar Eric A. Brewer Peter Broadwell Michael G. Burke Bor-Yuh Evan Chang Jeremy Condit Robert Ennals David Gay Joseph M. Hellerstein Ryan Huebsch Boon Thau Loo Scott McPeak George C. Necula Igor Pechtchanski Mukund Raghavachari Vivek Sarkar Naveen Sastry Scott Shenker Oded Shmueli Ion Stoica Westley Weimer Feng Zhou