Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Ben Zorn
Partner Researcher
Publications
Publications by Year
-
Evolving Academia/Industry Relations in Computing Research
Shwetak Patel (University of Washington), Jennifer Rexford (Princeton University), Ben Zorn, Greg Morrisett (Cornell University)
June 2019
-
Melford: Using Neural Networks to Find Spreadsheet Errors
Rishabh Singh, Benjamin Livshits, Ben Zorn
MSR-TR-2017-5 | January 2017
-
Kizzle: A Signature Compiler for Detecting Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
International Conference on Dependable Systems and Networks (DSN) | June 2016
-
User Interaction Models for Disambiguation in Programming by Example
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
Inductive Programming Meets the Real World
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Systems Computing Challenges in the Internet of Things
Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford, John A. Stankovic, Ben Zorn
September 2015
Teach Foundational Language Principles
May 2015
Kizzle: A Signature Compiler for Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
MSR-TR-2015-12 | February 2015
Microsoft Research Technical Report
-
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
-
Hardware Support for Enforcing Isolation in Lock-based Parallel Programs
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Ben Zorn
Proceedings of the 26th ACM International Conference on Supercomputing (ICS'12) | May 2012
-
Rozzle: De-Cloaking Internet Malware (TR)
Clemens Kolbitsch, Ben Zorn, Christian Seifert, Ben Livshits
MSR-TR-2011-94 | October 2011
Published by Microsoft
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
IEEE Symposium on Computer Security Foundations | June 2011
“NOFUS: Automatically Detecting” + String.fromCharCode(32) + “ObFuSCateD “.toLowerCase() + “JavaScript Code”
Scott Kaplan, Ben Livshits, Ben Zorn, Christian Siefert, Charlie Cursinger
MSR-TR-2011-57 | May 2011
Flikker: Saving DRAM Refresh-power through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
ASPLOS 2011: 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA | March 2011
-
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
MSR-TR-2010-158 | November 2010
Performance is Dead, Long Live Performance
2010 Conference on Code Generation and Optimization (CGO'10) | April 2010
JSZap: Compressing JavaScript Code
Martin Burtscher, Ben Livshits, Gaurav Sinha, Ben Zorn
MSR-TR-2010-21 | March 2010
JSMeter: Measuring JavaScript Behavior in the Wild
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2010-8 | January 2010
-
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Reliability
Ben Zorn, Karthik Pattabiraman
MSR-TR-2009-176 | December 2009
JSMeter: Characterizing Real-World Behavior of JavaScript Programs
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2009-173 | December 2009
Flicker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
MSR-TR-2009-138 | October 2009
Efficiently and Precisely Locating Memory Leaks and Bloat
Gene Novark, Emery D. Berger, Ben Zorn
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09), Dublin, Ireland | June 2009
Detecting and Tolerating Asymmetric Races
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Rahul Nagpal, Karthik Pattabiraman, Ben Zorn
14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009), Raleigh, NC | February 2009
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
Proceedings of the Usenix Security Symposium | January 2009
-
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
MSR-TR-2008-176 | November 2008
Evidence-Based Access Control for Ubiquitous Web Services
Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida
2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008
Tolerating and Correcting Memory Errors in C and C++
April 2008
Archipelago: Trading Address Space for Reliability and Security
Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Ben Zorn
Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systraceems (ASPLOS '08), Seattle, WA | March 2008
-
Programming Languages for Building Trustworthy Systems
4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community | November 2007
Samurai – Protecting Critical Data in Unsafe Languages
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-127 | October 2007
An Oracle for Tolerating and Detecting Asymmetric Races
Darko Kirovski, Ben Zorn
MSR-TR-2007-122 | September 2007
Embedded Systems Research at DemoFest’07
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
DieHard: Memory Error Fault Tolerance in C and C++
June 2007
Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark, Emery D. Berger, Ben Zorn
Communications of the ACM, pp 87-95, December 2008. A longer version appears in ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI'07), San Diego, CA | June 2007
Medina: Combining Evidence to Build Trust
Johannes Helander, Ben Zorn
Web 2.0 Security and Privacy, in conjunction with IEEE Symposium on Security and Privacy | May 2007
-
Software Fault Tolerance for Unsafe Languages
University of British Columbia | December 2006
Software Critical Memory: All Memory is Not Created Equal
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-128 | September 2006
-
Execution Environments for Building Dependable Systems
3rd Workshop on Managed Runtime Environments (MRE'05) | March 2005
-
Performance in the Age of Trustworthy Computing
University of Colorado | May 2004
Thoughts on the Future of Runtime Systems
IBM Invitational Workshop on the Future of Virtual Execution Environments (VEE'04) | January 2004
-
Reconsidering Custom Memory Allocation
Emery D. Berger, Ben Zorn, Kathryn S McKinley
17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02) | November 2002
Multiprocessing Extensions in SPUR Lisp
Ben Zorn, Jim Larus
August 2002
-
Composing High-Performance Memory Allocators
Emery D. Berger, Ben Zorn, Kathryn McKinley
MSR-TR-2000-113 | April 2001
-
Designing a Trace Format for Heap Allocation Events
Trishul Chilimbi, Richard Jones, Ben Zorn
ISMM2000 International Symposium on Memory Management | October 2000
-
Segregating Heap Objects by Reference Behavior and Lifetime
Ben Zorn, Matthew L. Seidl
November 1998
-
BIT: A Tool for Instrumenting Java Bytecodes
Ben Zorn, Han Bok Lee
December 1997
Publications by Research Area
-
Composing High-Performance Memory Allocators
Emery D. Berger, Ben Zorn, Kathryn McKinley
MSR-TR-2000-113 | April 2001
Segregating Heap Objects by Reference Behavior and Lifetime
Ben Zorn, Matthew L. Seidl
November 1998
BIT: A Tool for Instrumenting Java Bytecodes
Ben Zorn, Han Bok Lee
December 1997
Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Evolving Academia/Industry Relations in Computing Research
Shwetak Patel (University of Washington), Jennifer Rexford (Princeton University), Ben Zorn, Greg Morrisett (Cornell University)
June 2019
Melford: Using Neural Networks to Find Spreadsheet Errors
Rishabh Singh, Benjamin Livshits, Ben Zorn
MSR-TR-2017-5 | January 2017
User Interaction Models for Disambiguation in Programming by Example
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
Inductive Programming Meets the Real World
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Systems Computing Challenges in the Internet of Things
Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford, John A. Stankovic, Ben Zorn
September 2015
Teach Foundational Language Principles
May 2015
Kizzle: A Signature Compiler for Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
MSR-TR-2015-12 | February 2015
Microsoft Research Technical Report
Hardware Support for Enforcing Isolation in Lock-based Parallel Programs
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Ben Zorn
Proceedings of the 26th ACM International Conference on Supercomputing (ICS'12) | May 2012
Rozzle: De-Cloaking Internet Malware (TR)
Clemens Kolbitsch, Ben Zorn, Christian Seifert, Ben Livshits
MSR-TR-2011-94 | October 2011
Published by Microsoft
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
IEEE Symposium on Computer Security Foundations | June 2011
“NOFUS: Automatically Detecting” + String.fromCharCode(32) + “ObFuSCateD “.toLowerCase() + “JavaScript Code”
Scott Kaplan, Ben Livshits, Ben Zorn, Christian Siefert, Charlie Cursinger
MSR-TR-2011-57 | May 2011
Flikker: Saving DRAM Refresh-power through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
ASPLOS 2011: 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA | March 2011
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
MSR-TR-2010-158 | November 2010
JSZap: Compressing JavaScript Code
Martin Burtscher, Ben Livshits, Gaurav Sinha, Ben Zorn
MSR-TR-2010-21 | March 2010
JSMeter: Measuring JavaScript Behavior in the Wild
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2010-8 | January 2010
JSMeter: Characterizing Real-World Behavior of JavaScript Programs
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2009-173 | December 2009
Flicker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
MSR-TR-2009-138 | October 2009
Efficiently and Precisely Locating Memory Leaks and Bloat
Gene Novark, Emery D. Berger, Ben Zorn
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09), Dublin, Ireland | June 2009
Detecting and Tolerating Asymmetric Races
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Rahul Nagpal, Karthik Pattabiraman, Ben Zorn
14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009), Raleigh, NC | February 2009
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
Proceedings of the Usenix Security Symposium | January 2009
Archipelago: Trading Address Space for Reliability and Security
Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Ben Zorn
Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systraceems (ASPLOS '08), Seattle, WA | March 2008
Samurai – Protecting Critical Data in Unsafe Languages
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-127 | October 2007
An Oracle for Tolerating and Detecting Asymmetric Races
Darko Kirovski, Ben Zorn
MSR-TR-2007-122 | September 2007
Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark, Emery D. Berger, Ben Zorn
Communications of the ACM, pp 87-95, December 2008. A longer version appears in ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI'07), San Diego, CA | June 2007
Software Critical Memory: All Memory is Not Created Equal
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-128 | September 2006
Reconsidering Custom Memory Allocation
Emery D. Berger, Ben Zorn, Kathryn S McKinley
17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02) | November 2002
Multiprocessing Extensions in SPUR Lisp
Ben Zorn, Jim Larus
August 2002
-
Melford: Using Neural Networks to Find Spreadsheet Errors
Rishabh Singh, Benjamin Livshits, Ben Zorn
MSR-TR-2017-5 | January 2017
Performance in the Age of Trustworthy Computing
University of Colorado | May 2004
-
Designing a Trace Format for Heap Allocation Events
Trishul Chilimbi, Richard Jones, Ben Zorn
ISMM2000 International Symposium on Memory Management | October 2000
Flikker: Saving DRAM Refresh-power through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
ASPLOS 2011: 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA | March 2011
Performance is Dead, Long Live Performance
2010 Conference on Code Generation and Optimization (CGO'10) | April 2010
Evidence-Based Access Control for Ubiquitous Web Services
Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida
2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008
Tolerating and Correcting Memory Errors in C and C++
April 2008
Programming Languages for Building Trustworthy Systems
4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community | November 2007
Embedded Systems Research at DemoFest’07
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
DieHard: Memory Error Fault Tolerance in C and C++
June 2007
Software Fault Tolerance for Unsafe Languages
University of British Columbia | December 2006
Execution Environments for Building Dependable Systems
3rd Workshop on Managed Runtime Environments (MRE'05) | March 2005
Thoughts on the Future of Runtime Systems
IBM Invitational Workshop on the Future of Virtual Execution Environments (VEE'04) | January 2004
-
Kizzle: A Signature Compiler for Detecting Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
International Conference on Dependable Systems and Networks (DSN) | June 2016
Rozzle: De-Cloaking Internet Malware (TR)
Clemens Kolbitsch, Ben Zorn, Christian Seifert, Ben Livshits
MSR-TR-2011-94 | October 2011
Published by Microsoft
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
Proceedings of the Usenix Security Symposium | January 2009
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
MSR-TR-2008-176 | November 2008
Evidence-Based Access Control for Ubiquitous Web Services
Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida
2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008
Medina: Combining Evidence to Build Trust
Johannes Helander, Ben Zorn
Web 2.0 Security and Privacy, in conjunction with IEEE Symposium on Security and Privacy | May 2007
-
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
-
JSZap: Compressing JavaScript Code
Martin Burtscher, Ben Livshits, Gaurav Sinha, Ben Zorn
MSR-TR-2010-21 | March 2010
-
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Reliability
Ben Zorn, Karthik Pattabiraman
MSR-TR-2009-176 | December 2009
Publications by Type
-
Evolving Academia/Industry Relations in Computing Research
Shwetak Patel (University of Washington), Jennifer Rexford (Princeton University), Ben Zorn, Greg Morrisett (Cornell University)
June 2019
-
Composing High-Performance Memory Allocators
Emery D. Berger, Ben Zorn, Kathryn McKinley
MSR-TR-2000-113 | April 2001
Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
Published by Microsoft
Melford: Using Neural Networks to Find Spreadsheet Errors
Rishabh Singh, Benjamin Livshits, Ben Zorn
MSR-TR-2017-5 | January 2017
Kizzle: A Signature Compiler for Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
MSR-TR-2015-12 | February 2015
Microsoft Research Technical Report
Rozzle: De-Cloaking Internet Malware (TR)
Clemens Kolbitsch, Ben Zorn, Christian Seifert, Ben Livshits
MSR-TR-2011-94 | October 2011
Published by Microsoft
“NOFUS: Automatically Detecting” + String.fromCharCode(32) + “ObFuSCateD “.toLowerCase() + “JavaScript Code”
Scott Kaplan, Ben Livshits, Ben Zorn, Christian Siefert, Charlie Cursinger
MSR-TR-2011-57 | May 2011
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
MSR-TR-2010-158 | November 2010
JSZap: Compressing JavaScript Code
Martin Burtscher, Ben Livshits, Gaurav Sinha, Ben Zorn
MSR-TR-2010-21 | March 2010
JSMeter: Measuring JavaScript Behavior in the Wild
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2010-8 | January 2010
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Reliability
Ben Zorn, Karthik Pattabiraman
MSR-TR-2009-176 | December 2009
JSMeter: Characterizing Real-World Behavior of JavaScript Programs
Paruj Ratanaworabhan, Ben Livshits, David Simmons, Ben Zorn,
MSR-TR-2009-173 | December 2009
Flicker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
MSR-TR-2009-138 | October 2009
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
MSR-TR-2008-176 | November 2008
Samurai – Protecting Critical Data in Unsafe Languages
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-127 | October 2007
An Oracle for Tolerating and Detecting Asymmetric Races
Darko Kirovski, Ben Zorn
MSR-TR-2007-122 | September 2007
Embedded Systems Research at DemoFest’07
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
Software Critical Memory: All Memory is Not Created Equal
Karthik Pattabiraman, Vinod Grover, Ben Zorn
MSR-TR-2006-128 | September 2006
-
Designing a Trace Format for Heap Allocation Events
Trishul Chilimbi, Richard Jones, Ben Zorn
ISMM2000 International Symposium on Memory Management | October 2000
Segregating Heap Objects by Reference Behavior and Lifetime
Ben Zorn, Matthew L. Seidl
November 1998
BIT: A Tool for Instrumenting Java Bytecodes
Ben Zorn, Han Bok Lee
December 1997
Kizzle: A Signature Compiler for Detecting Exploit Kits
Ben Stock, Ben Livshits, Ben Zorn
International Conference on Dependable Systems and Networks (DSN) | June 2016
User Interaction Models for Disambiguation in Programming by Example
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
Inductive Programming Meets the Real World
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Systems Computing Challenges in the Internet of Things
Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford, John A. Stankovic, Ben Zorn
September 2015
Teach Foundational Language Principles
May 2015
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
Hardware Support for Enforcing Isolation in Lock-based Parallel Programs
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Ben Zorn
Proceedings of the 26th ACM International Conference on Supercomputing (ICS'12) | May 2012
Modular Protections against Non-Control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Ben Zorn
IEEE Symposium on Computer Security Foundations | June 2011
Flikker: Saving DRAM Refresh-power through Critical Data Partitioning
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn
ASPLOS 2011: 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA | March 2011
Performance is Dead, Long Live Performance
2010 Conference on Code Generation and Optimization (CGO'10) | April 2010
Efficiently and Precisely Locating Memory Leaks and Bloat
Gene Novark, Emery D. Berger, Ben Zorn
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09), Dublin, Ireland | June 2009
Detecting and Tolerating Asymmetric Races
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Rahul Nagpal, Karthik Pattabiraman, Ben Zorn
14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009), Raleigh, NC | February 2009
Nozzle: A Defense Against Heap-spraying Code Injection Attacks
Paruj Ratanaworabhan, Ben Livshits, Ben Zorn
Proceedings of the Usenix Security Symposium | January 2009
Evidence-Based Access Control for Ubiquitous Web Services
Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida
2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008
Tolerating and Correcting Memory Errors in C and C++
April 2008
Archipelago: Trading Address Space for Reliability and Security
Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Ben Zorn
Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systraceems (ASPLOS '08), Seattle, WA | March 2008
Programming Languages for Building Trustworthy Systems
4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community | November 2007
Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark, Emery D. Berger, Ben Zorn
Communications of the ACM, pp 87-95, December 2008. A longer version appears in ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI'07), San Diego, CA | June 2007
DieHard: Memory Error Fault Tolerance in C and C++
June 2007
Medina: Combining Evidence to Build Trust
Johannes Helander, Ben Zorn
Web 2.0 Security and Privacy, in conjunction with IEEE Symposium on Security and Privacy | May 2007
Software Fault Tolerance for Unsafe Languages
University of British Columbia | December 2006
Execution Environments for Building Dependable Systems
3rd Workshop on Managed Runtime Environments (MRE'05) | March 2005
Performance in the Age of Trustworthy Computing
University of Colorado | May 2004
Thoughts on the Future of Runtime Systems
IBM Invitational Workshop on the Future of Virtual Execution Environments (VEE'04) | January 2004
Reconsidering Custom Memory Allocation
Emery D. Berger, Ben Zorn, Kathryn S McKinley
17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02) | November 2002
Multiprocessing Extensions in SPUR Lisp
Ben Zorn, Jim Larus
August 2002