Barton P. Miller

Mengxiao Zhang

Elisa R. Heymann

IEEE Trans. Software Eng., 2022

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2022

Software Security for the People: Free and Open Resources for Software Security Training.

[BibT_eX]

[DOI]

Elisa R. Heymann

IEEE Secur. Priv., 2022

2021

Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

Parallel binary code analysis.

[BibT_eX]

[DOI]

Jonathon M. Anderson

John M. Mellor-Crummey

Mark W. Krentel

Srdan Milakovic

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

Parallelizing Binary Code Analysis.

[BibT_eX]

[DOI]

Jonathon M. Anderson

John M. Mellor-Crummey

Mark W. Krentel

Srdan Milakovic

CoRR, 2020

An In-Depth Security Assessment of Maritime Container Terminal Software Systems.

[BibT_eX]

[DOI]

Joseph O. Eichenhofer

Arnold Kang

IEEE Access, 2020

Identifying and (automatically) remedying performance problems in CPU/GPU applications.

[BibT_eX]

[DOI]

Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Deployment-quality and Accessible Solutions for Cryptography Code Development.

[BibT_eX]

[DOI]

Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020

2019

Trusted CI Experiences in Cybersecurity and Service to Open Science.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2019

Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Adversarial Binaries for Authorship Identification.

[BibT_eX]

[DOI]

CoRR, 2018

Structured random differential testing of instruction decoders.

[BibT_eX]

[DOI]

Nathan Jay

Proceedings of the 25th International Conference on Software Analysis, 2018

Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Exposing Hidden Performance Opportunities in High Performance GPU Applications.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018

2017

Bad and good news about using software assurance tools.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Identifying Multiple Authors in a Binary Program.

[BibT_eX]

[DOI]

Kwang-Sung Jun

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Binary code is not easy.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2014

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

[BibT_eX]

[DOI]

Yoshio Tanaka

NII Shonan Meet. Rep., 2014

The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

LIBI: A framework for bootstrapping extreme scale software systems.

[BibT_eX]

[DOI]

Matthew P. LeGendre

Parallel Comput., 2013

Binary-code obfuscations in prevalent packer tools.

[BibT_eX]

[DOI]

Kevin A. Roundy

ACM Comput. Surv., 2013

Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes.

[BibT_eX]

[DOI]

Evan Samanas

Proceedings of the International Conference for High Performance Computing, 2013

Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2013

Efficient and Scalable Retrieval Techniques for Global File Properties.

[BibT_eX]

[DOI]

Michael J. Brim

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Mining Software Repositories for Accurate Authorship.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2012

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

[BibT_eX]

[DOI]

Yoshio Tanaka

NII Shonan Meet. Rep., 2012

Computer Sciences Department.

[BibT_eX]

[DOI]

Comput. Informatics, 2012

Structured Binary Editing with a CFG Transformation Algebra.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automated tracing and visualization of software security structure and properties.

[BibT_eX]

[DOI]

Wenbin Fang

James A. Kupsch

Proceedings of the 9th International Symposium on Visualization for Cyber Security, 2012

2011

Labeling library functions in stripped binaries.

[BibT_eX]

[DOI]

Emily R. Jacobson

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Anywhere, any-time binary instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Recovering the toolchain provenance of binary code.

[BibT_eX]

[DOI]

Xiaojin Zhu

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Efficient, sensitivity resistant binary instrumentation.

[BibT_eX]

[DOI]

Kevin A. Roundy

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Who Wrote This Code? Identifying the Authors of Program Binaries.

[BibT_eX]

[DOI]

Xiaojin Zhu

Proceedings of the Computer Security - ESORICS 2011, 2011

2010

A framework for scalable, parallel performance monitoring.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2010

Special Issue: Scalable Tools for High-end Computing.

[BibT_eX]

[DOI]

Michael Gerndt

Concurr. Comput. Pract. Exp., 2010

Hybrid Analysis and Control of Malware.

[BibT_eX]

[DOI]

Kevin A. Roundy

Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010

Extracting compiler provenance from program binaries.

[BibT_eX]

[DOI]

Xiaojin Zhu

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

A Lightweight Library for Building Scalable Tools.

[BibT_eX]

[DOI]

Emily R. Jacobson

Michael J. Brim

Proceedings of the Applied Parallel and Scientific Computing, 2010

Scalable failure recovery for high-performance data aggregation.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

10181 Executive Summary - Program Development for Extreme-Scale Computing.

[BibT_eX]

[DOI]

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

10181 Abstracts Collection - Program Development for Extreme-Scale Computing.

[BibT_eX]

[DOI]

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

First principles vulnerability assessment.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010

2009

Scalable temporal order analysis for large scale debugging.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

Group file operations for scalable tools and middleware.

[BibT_eX]

[DOI]

Michael J. Brim

Proceedings of the 16th International Conference on High Performance Computing, 2009

2008

Virtual machine-provided context sensitive page mappings.

[BibT_eX]

[DOI]

Gregory Cooksey

Proceedings of the 4th International Conference on Virtual Execution Environments, 2008

Lessons learned at 208K: towards debugging millions of cores.

[BibT_eX]

[DOI]

Alexander V. Mirgorodskiy

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Diagnosing Distributed Systems with Self-propelled Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2008, 2008

Overcoming Scalability Challenges for Tool Daemon Launching.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Parallel Processing, 2008

In search of sweet-spots in parallel performance monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September, 2008

Learning to Analyze Binary Computer Code.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

How to Open a File and Not Get Hacked.

[BibT_eX]

[DOI]

James A. Kupsch

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.

[BibT_eX]

[DOI]

Lisa A. Torrey

Joyce Coleman

Softw. Pract. Exp., 2007

An empirical study of the robustness of MacOS applications using random testing.

[BibT_eX]

[DOI]

Gregory Cooksey

Fredrick Moore

ACM SIGOPS Oper. Syst. Rev., 2007

Incremental call-path profiling.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

The effects of metadata corruption on nfs.

[BibT_eX]

[DOI]

Swetha Krishnan

Giridhar Ravipati

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

Proceedings of the 2007 ACM Workshop On Storage Security And Survivability, 2007

Benchmarking the Stack Trace Analysis Tool for BlueGene/L.

[BibT_eX]

Proceedings of the Parallel Computing: Architectures, 2007

Stack Trace Analysis for Large Scale Debugging.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

07341 Abstracts Collection - Code Instrumentation and Modeling for Parallel Performance Analysis.

[BibT_eX]

[DOI]

Adolfy Hoisie

Bernd Mohr

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.

[BibT_eX]

[DOI]

Adolfy Hoisie

Bernd Mohr

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.

[BibT_eX]

[DOI]

Sean McIlwain

Alexander V. Mirgorodskiy

Softw. Pract. Exp., 2006

Scalable systems software - Problem diagnosis in large-scale computing environments.

[BibT_eX]

[DOI]

Naoya Maruyama

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Automated Discovery of Mimicry Attacks.

[BibT_eX]

[DOI]

Jonathon T. Giffin

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

On-line automated performance diagnosis on thousands of processes.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Tree-based overlay networks for scalable applications.

[BibT_eX]

[DOI]

Gary D. Pack

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

On the Completeness of Attack Mutation Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Protomatching network traffic for high throughputnetwork intrusion detection.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

Practical analysis of stripped binary code.

[BibT_eX]

[DOI]

Laune C. Harris

SIGARCH Comput. Archit. News, 2005

Language-Based Generation and Evaluation of NIDS Signatures.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Environment-Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005

A Loop-Aware Search Strategy for Automated Performance Analysis.

[BibT_eX]

[DOI]

Eli D. Collins

Proceedings of the High Performance Computing and Communications, 2005

05501 Abstracts Collection - Automatic Performance Analysis.

[BibT_eX]

[DOI]

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

05501 Summary - Automatic Performance Analysis.

[BibT_eX]

[DOI]

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

2004

Formalizing Sensitivity in Static Analysis for Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004

Efficient Context-Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

Jonathon T. Giffin

Proceedings of the Network and Distributed System Security Symposium, 2004

Benchmarking the MRNet Distributed Tool Infrastructure: Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automatic Generation and Analysis of NIDS Attacks.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Deep Start: a hybrid strategy for automated performance problem searches.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2003

Checkpoints of GUI-based Applications.

[BibT_eX]

[DOI]

Victor C. Zandy

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools.

[BibT_eX]

[DOI]

Alexander V. Mirgorodskiy

Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

The Tool Dæmon Protocol (TDP).

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Parallel Computing: Software Technology, 2003

2002

A callgraph-based search strategy for automated performance diagnosis.

[BibT_eX]

[DOI]

Harold W. Cain

Brian J. N. Wylie

Concurr. Comput. Pract. Exp., 2002

Detecting Manipulated Remote Call Streams.

[BibT_eX]

[DOI]

Jonathon T. Giffin

Proceedings of the 11th USENIX Security Symposium, 2002

A Security Attack and Defense in the Grid Environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Victor C. Zandy

Proceedings of the Eighth Annual International Conference on Mobile Computing and Networking, 2002

Performance Evaluation, Analysis and Optimization.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

2001

A Framework for Multi-Execution Performance Tuning.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2001

Monitoring Systems and Tool Interoperability.

[BibT_eX]

[DOI]

Thomas Ludwig

Scalable Comput. Pract. Exp., 2001

Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes.

[BibT_eX]

[DOI]

Alexander Mirgorodskii

Florentina I. Popovici

Parallel Process. Lett., 2001

Typestate Checking of Machine Code.

[BibT_eX]

[DOI]

Thomas W. Reps

Proceedings of the Programming Languages and Systems, 2001

2000

Performance measurement of dynamically compiled Java executions.

[BibT_eX]

[DOI]

Tia Newhall

Concurr. Pract. Exp., 2000

Safety checking of machine code.

[BibT_eX]

[DOI]

Thomas W. Reps

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Support Tools and Environments.

[BibT_eX]

[DOI]

Michael Gerndt

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).

[BibT_eX]

[DOI]

Harold W. Cain

Brian J. N. Wylie

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.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 1999

Using Dynamic Kernel Instrumentation for Kernel and Application Tuning.

[BibT_eX]

[DOI]

Ariel Tamches

Int. J. High Perform. Comput. Appl., 1999

Improving Online Performance Diagnosis by the Use of Historical Performance Data.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Dynamic Instrumentation of Threaded Applications.

[BibT_eX]

[DOI]

Oscar Naim

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.

[BibT_eX]

[DOI]

Ariel Tamches

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

Process Hijacking.

[BibT_eX]

[DOI]

Victor C. Zandy

Miron Livny

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

1998

Using Cost to Control Instrumentation Overhead.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Performance Measurement of Interpreted Programs.

[BibT_eX]

[DOI]

Tia Newhall

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Integrated Visualization of Parallel Program Performance Data.

[BibT_eX]

[DOI]

Parallel Comput., 1997

Experiment Management Support for Performance Tuning.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

Shared Memory Performance Profiling.

[BibT_eX]

[DOI]

James R. Larus

Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

MDL: A Language and Compiler for Dynamic Program Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), 1997

1996

Paging tradeoffs in distributed-shared-memory multiprocessors.

[BibT_eX]

[DOI]

J. Supercomput., 1996

Mapping Performance Data for High-Level and Data Views of Parallel Program Performance.

[BibT_eX]

[DOI]

Proceedings of the 10th international conference on Supercomputing, 1996

Mechanisms for Mapping High-Level Parallel Performance Data.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Parallel Processing Workshop, 1996

An Adaptive Cost System for Parallel Program Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Optimal tracing and replay for debugging message-passing parallel programs.

[BibT_eX]

[DOI]

J. Supercomput., 1995

The Paradyn Parallel Performance Measurement Tool.

[BibT_eX]

[DOI]

Mark D. Callaghan

Jonathan M. Cargille

Krishna Kunchithapadam

Tia Newhall

Computer, 1995

Data Interpretation and Experiment Planning in Performance Tools (Panel).

[BibT_eX]

[DOI]

Allen D. Malony

B. Robert Helm

Karsten Schwan

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.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1994

Optimizing Array Distributions in Data-Parallel Programs.

[BibT_eX]

[DOI]

Krishna Kunchithapadam

Proceedings of the Languages and Compilers for Parallel Computing, 1994

1993

Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993).

[BibT_eX]

[DOI]

Charles E. McDowell

ACM SIGOPS Oper. Syst. Rev., 1993

What to Draw? When to Draw? An Essay on Parallel Program Visualization.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1993

Database Challenges in Global Information Systems.

[BibT_eX]

[DOI]

Joann J. Ordille

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Dynamic Control of Performance Monitoring on Large Scale Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th international conference on Supercomputing, 1993

Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services.

[BibT_eX]

[DOI]

Joann J. Ordille

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

Binary wrapping: a technique for instrumenting object code.

[BibT_eX]

[DOI]

Jonathan M. Cargille

ACM SIGPLAN Notices, 1992

Summary of ACM/ONR Workshop on Parallel and Distributed Debugging.

[BibT_eX]

[DOI]

Charles E. McDowell

ACM SIGOPS Oper. Syst. Rev., 1992

What Are Race Conditions? Some Issues and Formalizations.

[BibT_eX]

[DOI]

LOPLAS, 1992

Parallel Program Performance Metrics: A Comparison and Validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '92, 1992

Experience with Techniques for Refining Data Race Detection.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991

Techniques for Debugging Parallel Programs with Flowback Analysis.

[BibT_eX]

[DOI]

Jong-Deok Choi

ACM Trans. Program. Lang. Syst., 1991

Nomenclator Descriptive Query Optimization for Large X.500 Environments.

[BibT_eX]

[DOI]

Joann J. Ordille

Proceedings of the Conference on Communications Architecture & Protocols, 1991

Improving the Accuracy of Data Race Detection.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Detecting Data Races on Weak Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990

IPS-2: The Second Generation of a Parallel Program Measurement System.

[BibT_eX]

[DOI]

Morgan Clark

Steven Kierstead

Sek-See Lim

Timothy Torzewski

IEEE Trans. Parallel Distributed Syst., 1990

An Empirical Study of the Reliability of UNIX Utilities.

[BibT_eX]

[DOI]

Lars Fredriksen

Bryan So

Commun. ACM, 1990

On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.

[BibT_eX]

[DOI]

Cui-Qing Yang

IEEE Trans. Software Eng., 1989

Specification and Verification of Network Managers for Large Internets.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1988

DPM: A Measurement System for Distributed Programs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

A Visual Process Connector for Unix.

[BibT_eX]

[DOI]

Mitali Bhattacharyya

IEEE Softw., 1988

The frequency of dynamic pointer references in "C" programs.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1988

Summary of ACM Workshop on Parallel and Distributed Debugging.

[BibT_eX]

Thomas J. LeBlanc

ACM SIGOPS Oper. Syst. Rev., 1988

A Mechanism for Efficient Debugging of Parallel Programs.

[BibT_eX]

[DOI]

Jong-Deok Choi

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.

[BibT_eX]

[DOI]

Cui-Qing Yang

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Breakpoints and Halting in Distributed Programs.

[BibT_eX]

[DOI]

Jong-Deok Choi

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions.

[BibT_eX]

[DOI]

Lisa A. Call

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987

DEMOS/MP: The Development of a Distributed Operating System.

[BibT_eX]

[DOI]

David L. Presotto

Michael L. Powell

Softw. Pract. Exp., 1987

A Reliable and Secure UNIX Connection Service.

[BibT_eX]

Dennis Draheim

Steven Snyder

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

CLAM - an Open System for Graphical User Interfaces.

[BibT_eX]

[DOI]

Lisa A. Call

Proceedings of the Conference on Object-Oriented Programming Systems, 1987

IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs.

[BibT_eX]

Cui-Qing Yang

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

A Distributed Programs Monitor for Berkeley UNIX.

[BibT_eX]

[DOI]

Cathryn Macrander

Stuart Sechrest

Softw. Pract. Exp., 1986

The Traveling Salesman Problem: The Development of a Distributed Computation.

[BibT_eX]

Nick Lai

Proceedings of the International Conference on Parallel Processing, 1986

1983

Process Migration in DEMOS/MP.

[BibT_eX]

[DOI]

Michael L. Powell

Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

1981

XOS: An Operating System for the X-Tree Architecture.

[BibT_eX]

[DOI]