Benjamin G. Zorn

Affiliations:
  • Microsoft Research, USA


According to our database1, Benjamin G. Zorn authored at least 89 papers between 1986 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
TrojanPuzzle: Covertly Poisoning Code-Suggestion Models.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

Solving Data-centric Tasks using Large Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

2023
Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows.
CoRR, 2023

Co-audit: tools to help humans double-check AI-generated content.
CoRR, 2023

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
What is it like to program with artificial intelligence?
Proceedings of the 33rd Annual Workshop of the Psychology of Programming Interest Group, 2022

2020
Safety, Security, and Privacy Threats Posed by Accelerating Trends in the Internet of Things.
CoRR, 2020

Evolving Methods for Evaluating and Disseminating Computing Research.
CoRR, 2020

2019
Evolving Academia/Industry Relations in Computing Research: Interim Report.
CoRR, 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Mimalloc: Free List Sharding in Action.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
ExceLint: automatically finding spreadsheet formula errors.
Proc. ACM Program. Lang., 2018

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.
J. Comput. Secur., 2014

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

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

SIGPLAN professional activities committee report.
ACM SIGPLAN Notices, 2012

CACM research highlights annual report.
ACM SIGPLAN Notices, 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

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

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. Exp., 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. Exp., 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.
ACM SIGPLAN Notices, 1999

Prediction Outcome History-Based Confidence Estimation for Load Value Prediction.
J. Instr. 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.
ACM 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.
Sci. Program., 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.
Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 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

The Relationship Between Language Paradigm and Parallelism: The EQ Prototyping Language.
Proceedings of the Languages, 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. Exp., 1994

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

Using the Programming Walkthrough to Aid in Programming Language Design.
Softw. Pract. Exp., 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. Exp., 1993

CustoMalloc: Efficient Synthesized Memory Allocators.
Softw. Pract. Exp., 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.
ACM SIGPLAN Notices, 1992

Addressing the psychology of programming in programming language design.
Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

1990
Direct Function Calls in Lisp.
LISP Symb. Comput., 1990

Comparing Mark-and-Sweep and Stop-and-Copy Garbage Collection.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989
Multiprocessing Extensions in Spur Lisp.
IEEE Softw., 1989

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


  Loading...