Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
作者：Microsoft
Ben Zorn
Partner Researcher
论文与出版物
-
-
-
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
Thomas Ball, Ben Zorn
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
作者：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
-
-
-
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
作者：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
Thomas Ball, Ben Zorn
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
作者：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
作者：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
-
-
-
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
作者：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
作者：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
Thomas Ball, Ben Zorn
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
-