Barton P. Miller

According to our database1, Barton P. Miller authored at least 147 papers between 1981 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2001, "For contributions to the fields of parallel and distributed computing, particularly in the areas of debugging and performance measurement.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Parallelizing Binary Code Analysis.
CoRR, 2020

2019
Trusted CI Experiences in Cybersecurity and Service to Open Science.
Proceedings of the Practice and Experience in Advanced Research Computing on Rise of the Machines (learning), 2019

Diogenes: looking for an honest CPU/GPU performance measurement tool.
Proceedings of the International Conference for High Performance Computing, 2019

Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Adversarial Binaries for Authorship Identification.
CoRR, 2018

Structured random differential testing of instruction decoders.
Proceedings of the 25th International Conference on Software Analysis, 2018

Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Exposing Hidden Performance Opportunities in High Performance GPU Applications.
Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018

2017
Bad and good news about using software assurance tools.
Softw., Pract. Exper., 2017

Identifying Multiple Authors in a Binary Program.
Proceedings of the Computer Security - ESORICS 2017, 2017

2016
Binary code is not easy.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2014
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3).
NII Shonan Meet. Rep., 2014

The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm.
Proceedings of the 5th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, 2014

Detecting Code Reuse Attacks with a Model of Conformant Program Execution.
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013
LIBI: A framework for bootstrapping extreme scale software systems.
Parallel Computing, 2013

Binary-code obfuscations in prevalent packer tools.
ACM Comput. Surv., 2013

Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes.
Proceedings of the International Conference for High Performance Computing, 2013

Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware.
Proceedings of the Information Security Practice and Experience, 2013

Efficient and Scalable Retrieval Techniques for Global File Properties.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Mining Software Repositories for Accurate Authorship.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2012
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8).
NII Shonan Meet. Rep., 2012

Computer Sciences Department.
Computing and Informatics, 2012

Structured Binary Editing with a CFG Transformation Algebra.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automated tracing and visualization of software security structure and properties.
Proceedings of the 2012 Symposium on Visualization for Cyber Security, 2012

2011
Labeling library functions in stripped binaries.
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Anywhere, any-time binary instrumentation.
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Recovering the toolchain provenance of binary code.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Efficient, sensitivity resistant binary instrumentation.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Who Wrote This Code? Identifying the Authors of Program Binaries.
Proceedings of the Computer Security - ESORICS 2011, 2011

2010
A framework for scalable, parallel performance monitoring.
Concurrency and Computation: Practice and Experience, 2010

Special Issue: Scalable Tools for High-end Computing.
Concurrency and Computation: Practice and Experience, 2010

Hybrid Analysis and Control of Malware.
Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010

Extracting compiler provenance from program binaries.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

A Lightweight Library for Building Scalable Tools.
Proceedings of the Applied Parallel and Scientific Computing, 2010

Scalable failure recovery for high-performance data aggregation.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

10181 Executive Summary - Program Development for Extreme-Scale Computing.
Proceedings of the Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010, 2010

10181 Abstracts Collection - Program Development for Extreme-Scale Computing.
Proceedings of the Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010, 2010

First principles vulnerability assessment.
Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010

2009
Scalable temporal order analysis for large scale debugging.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

Group file operations for scalable tools and middleware.
Proceedings of the 16th International Conference on High Performance Computing, 2009

2008
Virtual machine-provided context sensitive page mappings.
Proceedings of the 4th International Conference on Virtual Execution Environments, 2008

Lessons learned at 208K: towards debugging millions of cores.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Diagnosing Distributed Systems with Self-propelled Instrumentation.
Proceedings of the Middleware 2008, 2008

Overcoming Scalability Challenges for Tool Daemon Launching.
Proceedings of the 2008 International Conference on Parallel Processing, 2008

In search of sweet-spots in parallel performance monitoring.
Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September, 2008

Learning to Analyze Binary Computer Code.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

How to Open a File and Not Get Hacked.
Proceedings of the The Third International Conference on Availability, 2008

2007
A comparison of interactivity in the Linux 2.6 scheduler and an MLFQ scheduler.
Softw., Pract. Exper., 2007

An empirical study of the robustness of MacOS applications using random testing.
Operating Systems Review, 2007

Incremental call-path profiling.
Concurrency and Computation: Practice and Experience, 2007

The effects of metadata corruption on nfs.
Proceedings of the 2007 ACM Workshop On Storage Security And Survivability, 2007

Benchmarking the Stack Trace Analysis Tool for BlueGene/L.
Proceedings of the Parallel Computing: Architectures, 2007

Stack Trace Analysis for Large Scale Debugging.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

07341 Abstracts Collection - Code Instrumentation and Modeling for Parallel Performance Analysis.
Proceedings of the Code Instrumentation and Modeling for Parallel Performance Analysis, 19.08., 2007

07341 Executive Summary - Code Instrumentation and Modeling for Parallel Performance Analysis.
Proceedings of the Code Instrumentation and Modeling for Parallel Performance Analysis, 19.08., 2007

2006
A tool for converting Linux device drivers into Solaris compatible binaries.
Softw., Pract. Exper., 2006

Scalable systems software - Problem diagnosis in large-scale computing environments.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Automated Discovery of Mimicry Attacks.
Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

On-line automated performance diagnosis on thousands of processes.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Tree-based overlay networks for scalable applications.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

On the Completeness of Attack Mutation Algorithms.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Protomatching network traffic for high throughputnetwork intrusion detection.
Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30, 2006

2005
Practical analysis of stripped binary code.
SIGARCH Computer Architecture News, 2005

Language-Based Generation and Evaluation of NIDS Signatures.
Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Environment-Sensitive Intrusion Detection.
Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005

A Loop-Aware Search Strategy for Automated Performance Analysis.
Proceedings of the High Performance Computing and Communications, 2005

05501 Abstracts Collection - Automatic Performance Analysis.
Proceedings of the Automatic Performance Analysis, 12.-16. December 2005, 2005

05501 Summary - Automatic Performance Analysis.
Proceedings of the Automatic Performance Analysis, 12.-16. December 2005, 2005

2004
Formalizing Sensitivity in Static Analysis for Intrusion Detection.
Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004

Efficient Context-Sensitive Intrusion Detection.
Proceedings of the Network and Distributed System Security Symposium, 2004

Benchmarking the MRNet Distributed Tool Infrastructure: Lessons Learned.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automatic Generation and Analysis of NIDS Attacks.
Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003
Deep Start: a hybrid strategy for automated performance problem searches.
Concurrency and Computation: Practice and Experience, 2003

Checkpoints of GUI-based Applications.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools.
Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

The Tool Dæmon Protocol (TDP).
Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

CrossWalk: A Tool for Performance Profiling Across the User-Kernel Boundary.
Proceedings of the Parallel Computing: Software Technology, 2003

2002
A callgraph-based search strategy for automated performance diagnosis.
Concurrency and Computation: Practice and Experience, 2002

Detecting Manipulated Remote Call Streams.
Proceedings of the 11th USENIX Security Symposium, 2002

A Security Attack and Defense in the Grid Environment.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29, 2002

Reliable network connections.
Proceedings of the Eighth Annual International Conference on Mobile Computing and Networking, 2002

Performance Evaluation, Analysis and Optimization.
Proceedings of the Euro-Par 2002, 2002

2001
A Framework for Multi-Execution Performance Tuning.
Scalable Computing: Practice and Experience, 2001

Monitoring Systems and Tool Interoperability.
Scalable Computing: Practice and Experience, 2001

Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes.
Parallel Processing Letters, 2001

Typestate Checking of Machine Code.
Proceedings of the Programming Languages and Systems, 2001

2000
Performance measurement of dynamically compiled Java executions.
Concurrency - Practice and Experience, 2000

Safety checking of machine code.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Support Tools and Environments.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

A Callgraph-Based Search Strategy for Automated Performance Diagnosis (Distinguished Paper).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Summary of the Sigmetrics symposium on parallel and distributed processing.
SIGMETRICS Performance Evaluation Review, 1999

Using Dynamic Kernel Instrumentation for Kernel and Application Tuning.
IJHPCA, 1999

Improving Online Performance Diagnosis by the Use of Historical Performance Data.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Dynamic Instrumentation of Threaded Applications.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels.
Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

Process Hijacking.
Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999

1998
Using Cost to Control Instrumentation Overhead.
Theor. Comput. Sci., 1998

Performance Measurement of Interpreted Programs.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
Integrated Visualization of Parallel Program Performance Data.
Parallel Computing, 1997

Experiment Management Support for Performance Tuning.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

Shared Memory Performance Profiling.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

MDL: A Language and Compiler for Dynamic Program Instrumentation.
Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), 1997

1996
Paging tradeoffs in distributed-shared-memory multiprocessors.
The Journal of Supercomputing, 1996

Mapping Performance Data for High-Level and Data Views of Parallel Program Performance.
Proceedings of the 10th international conference on Supercomputing, 1996

Mechanisms for Mapping High-Level Parallel Performance Data.
Proceedings of the 1996 International Conference on Parallel Processing Workshop, 1996

An Adaptive Cost System for Parallel Program Instrumentation.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Optimal tracing and replay for debugging message-passing parallel programs.
The Journal of Supercomputing, 1995

The Paradyn Parallel Performance Measurement Tool.
IEEE Computer, 1995

Data Interpretation and Experiment Planning in Performance Tools (Panel).
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

1994
Multiapplication support in a parallel-program performance tool.
IEEE P&DT, 1994

Optimizing Array Distributions in Data-Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

1993
Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993).
Operating Systems Review, 1993

What to Draw? When to Draw? An Essay on Parallel Program Visualization.
J. Parallel Distrib. Comput., 1993

Database Challenges in Global Information Systems.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Dynamic Control of Performance Monitoring on Large Scale Parallel Systems.
Proceedings of the 7th international conference on Supercomputing, 1993

Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992
Binary wrapping: a technique for instrumenting object code.
SIGPLAN Notices, 1992

Summary of ACM/ONR Workshop on Parallel and Distributed Debugging.
Operating Systems Review, 1992

What Are Race Conditions? Some Issues and Formalizations.
LOPLAS, 1992

Parallel Program Performance Metrics: A Comparison and Validation.
Proceedings of the Proceedings Supercomputing '92, 1992

Experience with Techniques for Refining Data Race Detection.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991
Techniques for Debugging Parallel Programs with Flowback Analysis.
ACM Trans. Program. Lang. Syst., 1991

Nomenclator Descriptive Query Optimization for Large X.500 Environments.
Proceedings of the SIGCOMM '91, 1991

Improving the Accuracy of Data Race Detection.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

The Integration of Application and System Based Metrics in a Parallel Program Performance Tool.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Detecting Data Races on Weak Memory Systems.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990
IPS-2: The Second Generation of a Parallel Program Measurement System.
IEEE Trans. Parallel Distrib. Syst., 1990

An Empirical Study of the Reliability of UNIX Utilities.
Commun. ACM, 1990

On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.
IEEE Trans. Software Eng., 1989

Specification and Verification of Network Managers for Large Internets.
Proceedings of the SIGCOMM '89, 1989

1988
DPM: A Measurement System for Distributed Programs.
IEEE Trans. Computers, 1988

A Visual Process Connector for Unix.
IEEE Software, 1988

The frequency of dynamic pointer references in "C" programs.
SIGPLAN Notices, 1988

Summary of ACM Workshop on Parallel and Distributed Debugging.
Operating Systems Review, 1988

A Mechanism for Efficient Debugging of Parallel Programs.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

Critical Path Analysis for the Execution of Parallel and Distributed Programs.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Breakpoints and Halting in Distributed Programs.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987
DEMOS/MP: The Development of a Distributed Operating System.
Softw., Pract. Exper., 1987

A Reliable and Secure UNIX Connection Service.
Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

CLAM - an Open System for Graphical User Interfaces.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986
A Distributed Programs Monitor for Berkeley UNIX.
Softw., Pract. Exper., 1986

The Traveling Salesman Problem: The Development of a Distributed Computation.
Proceedings of the International Conference on Parallel Processing, 1986

1983
Process Migration in DEMOS/MP.
Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

1981
XOS: An Operating System for the X-Tree Architecture.
Operating Systems Review, 1981


  Loading...