Benjamin G. Zorn

According to our database1, Benjamin G. Zorn
  • authored at least 74 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A National Research Agenda for Intelligent Infrastructure.
CoRR, 2017

Safety and Security for Intelligent Infrastructure.
CoRR, 2017

2016
Smart Communities Internet of Things.
CoRR, 2016

Systems Computing Challenges in the Internet of Things.
CoRR, 2016

Kizzle: A Signature Compiler for Detecting Exploit Kits.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442).
Dagstuhl Reports, 2015

Inductive programming meets the real world.
Commun. ACM, 2015

Teach foundational language principles.
Commun. ACM, 2015

User Interaction Models for Disambiguation in Programming by Example.
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

FlashRelate: extracting relational data from semi-structured spreadsheets using examples.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Modular protections against non-control data attacks.
Journal of Computer Security, 2014

2013
OOPSLA 2002: Reconsidering custom memory allocation.
SIGPLAN Notices, 2013

2012
Efficient Runtime Detection and Toleration of Asymmetric Races.
IEEE Trans. Computers, 2012

Rozzle: De-cloaking Internet Malware.
Proceedings of the IEEE Symposium on Security and Privacy, 2012

Hardware support for enforcing isolation in lock-based parallel programs.
Proceedings of the International Conference on Supercomputing, 2012

2011
ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection.
Proceedings of the 20th USENIX Security Symposium, 2011

JavaScript Errors in the Wild: An Empirical Study.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Modular Protections against Non-control Data Attacks.
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Flikker: saving DRAM refresh-power through critical data partitioning.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications.
Proceedings of the USENIX Conference on Web Application Development, 2010

DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Performance is dead, long live performance!
Proceedings of the CGO 2010, 2010

2009
NOZZLE: A Defense Against Heap-spraying Code Injection Attacks.
Proceedings of the 18th USENIX Security Symposium, 2009

Detecting and tolerating asymmetric races.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Efficiently and precisely locating memory leaks and bloat.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Exterminator: Automatically correcting memory errors with high probability.
Commun. ACM, 2008

Samurai: protecting critical data in unsafe languages.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Archipelago: trading address space for reliability and security.
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007
Exterminator: automatically correcting memory errors with high probability.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006
DieHard: probabilistic memory safety for unsafe languages.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2002
Hybrid Load-Value Predictors.
IEEE Trans. Computers, 2002

Reconsidering custom memory allocation.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

2001
Implementing heap-object behavior prediction efficiently and effectively.
Softw., Pract. Exper., 2001

Composing High-Performance Memory Allocators.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000
An infrastructure for generating and sharing experimental workloads for persistent object systems.
Softw., Pract. Exper., 2000

Designing a Trace Format for Heap Allocation Events.
Proceedings of the ISMM 2000, 2000

Hybridizing and Coalescing Load Value Predictors.
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999
Corporate Support and SIGPLAN.
SIGPLAN Notices, 1999

Prediction Outcome History-Based Confidence Estimation for Load Value Prediction.
J. Instruction-Level Parallelism, 1999

Exploring Last n Value Prediction.
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999

1998
VIPR and the Visual Programming Challenge.
J. Vis. Lang. Comput., 1998

A Highly Effective Partition Selection Policy for Object Database Garbage Collection.
IEEE Trans. Knowl. Data Eng., 1998

An Invitation to OOPSLA '98.
SIGPLAN Notices, 1998

Segregating Heap Objects by Reference Behavior and Lifetime.
Proceedings of the ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, 1998

Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs.
Proceedings of the ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, 1998

Static Methods in Hybrid Branch Prediction.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997
A Graphical Semantics for Graphical Transformation Languages.
J. Vis. Lang. Comput., 1997

Evidence-Based Static Branch Prediction Using Machine Learning.
ACM Trans. Program. Lang. Syst., 1997

BIT: A Tool for Instrumenting Java Bytecodes.
Proceedings of the 1st USENIX Symposium on Internet Technologies and Systems, 1997

1996
A New Language Design for Prototyping Numerical Computation.
Scientific Programming, 1996

Semi-automatic, Self-adaptive Control of Garbage Collection Rates in Object Databases.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Scalable Interfaces to Support Program Comprehension.
Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

1995
Numerical Analysis Using Nonprocedural Paradigms.
ACM Trans. Math. Softw., 1995

Object database behavior, benchmarks, and performance: workshop addendum.
OOPS Messenger, 1995

Programming with Visual Expressions.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Corpus-Based Static Branch Prediction.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Garbage Collection Using a Dynamic Threatening Boundary.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

1994
Evaluating Models of Memory Allocation.
ACM Trans. Model. Comput. Simul., 1994

A Comparison of Object-oriented Programming in Four Modern Languages.
Softw., Pract. Exper., 1994

Memory Allocation Costs in Large C and C++ Programs.
Softw., Pract. Exper., 1994

Using the Programming Walkthrough to Aid in Programming Language Design.
Softw., Pract. Exper., 1994

Formal Semantics of Control in a Completely Visual Programming Language.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Partition Selection Policies in Object Database Garbage Collection.
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

EQ: Overview of a New Language Approach for Prototyping Scientific Computation.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

1993
The Measured Cost of Conservative Garbage Collection.
Softw., Pract. Exper., 1993

CustoMalloc: Efficient Synthesized Memory Allocators.
Softw., Pract. Exper., 1993

Improving the Cache Locality of Memory Allocation.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

Using Lifetime Predictors to Improve Memory Allocation Performance.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

A Testbed for Studying Parallel Programs and Parallel Execution Architectures.
Proceedings of the MASCOTS '93, 1993

1992
Empirical Measurements of Six Allocation-intensive C Programs.
SIGPLAN Notices, 1992

1990
Direct Function Calls in Lisp.
Lisp and Symbolic Computation, 1990

Comparing Mark-and-Sweep and Stop-and-Copy Garbage Collection.
LISP and Functional Programming, 1990

1989
Multiprocessing Extensions in Spur Lisp.
IEEE Software, 1989

1986
Evaluation of the SPUR Lisp Architecture.
Proceedings of the 13th Annual Symposium on Computer Architecture, Tokyo, Japan, June 1986, 1986


  Loading...