XOS: An Operating System for the X-Tree Architecture. - Barton P. Miller; David L. Presotto (ACM SIGOPS Oper. Syst. Rev., 1981)

Process Migration in DEMOS/MP. - Michael L. Powell; Barton P. Miller (SOSP, 1983)

The Traveling Salesman Problem: The Development of a Distributed Computation. - Nick Lai; Barton P. Miller (ICPP, 1986)

A Distributed Programs Monitor for Berkeley UNIX. - Barton P. Miller; Cathryn Macrander; Stuart Sechrest (Softw. Pract. Exp., 1986)

IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs. - Barton P. Miller; Cui-Qing Yang (ICDCS, 1987)

CLAM - an Open System for Graphical User Interfaces. - Lisa A. Call; David L. Cohrs; Barton P. Miller (OOPSLA, 1987)

A Reliable and Secure UNIX Connection Service. - Dennis Draheim; Barton P. Miller; Steven Snyder (SRDS, 1987)

DEMOS/MP: The Development of a Distributed Operating System. - Barton P. Miller; David L. Presotto; Michael L. Powell (Softw. Pract. Exp., 1987)

Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions. - David L. Cohrs; Barton P. Miller; Lisa A. Call (ICDCS, 1988)

Breakpoints and Halting in Distributed Programs. - Barton P. Miller; Jong-Deok Choi (ICDCS, 1988)

Critical Path Analysis for the Execution of Parallel and Distributed Programs. - Cui-Qing Yang; Barton P. Miller (ICDCS, 1988)

A Mechanism for Efficient Debugging of Parallel Programs. - Barton P. Miller; Jong-Deok Choi (PLDI, 1988)

Summary of ACM Workshop on Parallel and Distributed Debugging. - Thomas J. LeBlanc; Barton P. Miller (ACM SIGOPS Oper. Syst. Rev., 1988)

The frequency of dynamic pointer references in "C" programs. - Barton P. Miller (ACM SIGPLAN Notices, 1988)

A Visual Process Connector for Unix. - Mitali Bhattacharyya; David L. Cohrs; Barton P. Miller (IEEE Softw., 1988)

DPM: A Measurement System for Distributed Programs. - Barton P. Miller (IEEE Trans. Computers, 1988)

Specification and Verification of Network Managers for Large Internets. - David L. Cohrs; Barton P. Miller (SIGCOMM, 1989)

Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach. - Cui-Qing Yang; Barton P. Miller (IEEE Trans. Software Eng., 1989)

On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. - Robert H. B. Netzer; Barton P. Miller (ICPP (2), 1990)

An Empirical Study of the Reliability of UNIX Utilities. - Barton P. Miller; Lars Fredriksen; Bryan So (Commun. ACM, 1990)

IPS-2: The Second Generation of a Parallel Program Measurement System. - Barton P. Miller; Morgan Clark; Jeffrey K. Hollingsworth; Steven Kierstead; Sek-See Lim; Timothy Torzewski (IEEE Trans. Parallel Distributed Syst., 1990)

Detecting Data Races on Weak Memory Systems. - Sarita V. Adve; Mark D. Hill; Barton P. Miller; Robert H. B. Netzer (ISCA, 1991)

The Integration of Application and System Based Metrics in a Parallel Program Performance Tool. - Jeffrey K. Hollingsworth; R. Bruce Irvin; Barton P. Miller (PPoPP, 1991)

Improving the Accuracy of Data Race Detection. - Robert H. B. Netzer; Barton P. Miller (PPoPP, 1991)

Nomenclator Descriptive Query Optimization for Large X.500 Environments. - Joann J. Ordille; Barton P. Miller (SIGCOMM, 1991)

Techniques for Debugging Parallel Programs with Flowback Analysis. - Jong-Deok Choi; Barton P. Miller; Robert H. B. Netzer (ACM Trans. Program. Lang. Syst., 1991)

Experience with Techniques for Refining Data Race Detection. - Robert H. B. Netzer; Barton P. Miller (LCPC, 1992)

Parallel Program Performance Metrics: A Comparison and Validation. - Jeffrey K. Hollingsworth; Barton P. Miller (SC, 1992)

What Are Race Conditions? Some Issues and Formalizations. - Robert H. B. Netzer; Barton P. Miller (LOPLAS, 1992)

Summary of ACM/ONR Workshop on Parallel and Distributed Debugging. - Barton P. Miller; Charles E. McDowell (ACM SIGOPS Oper. Syst. Rev., 1992)

Binary wrapping: a technique for instrumenting object code. - Jonathan M. Cargille; Barton P. Miller (ACM SIGPLAN Notices, 1992)

Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services. - Joann J. Ordille; Barton P. Miller (ICDCS, 1993)

Dynamic Control of Performance Monitoring on Large Scale Parallel Systems. - Jeffrey K. Hollingsworth; Barton P. Miller (International Conference on Supercomputing, 1993)

Database Challenges in Global Information Systems. - Joann J. Ordille; Barton P. Miller (SIGMOD Conference, 1993)

What to Draw? When to Draw? An Essay on Parallel Program Visualization. - Barton P. Miller (J. Parallel Distributed Comput., 1993)

Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993). - Barton P. Miller; Charles E. McDowell (ACM SIGOPS Oper. Syst. Rev., 1993)

Optimizing Array Distributions in Data-Parallel Programs. - Krishna Kunchithapadam; Barton P. Miller (LCPC, 1994)

Multiapplication support in a parallel-program performance tool. - R. Bruce Irvin; Barton P. Miller (IEEE Parallel Distributed Technol. Syst. Appl., 1994)

Data Interpretation and Experiment Planning in Performance Tools (Panel). - Allen D. Malony; B. Robert Helm; Jeffrey K. Hollingsworth; Barton P. Miller; Karsten Schwan (SIGMETRICS, 1995)

The Paradyn Parallel Performance Measurement Tool. - Barton P. Miller; Mark D. Callaghan; Jonathan M. Cargille; Jeffrey K. Hollingsworth; R. Bruce Irvin; Karen L. Karavanic; Krishna Kunchithapadam; Tia Newhall (Computer, 1995)

Optimal tracing and replay for debugging message-passing parallel programs. - Robert H. B. Netzer; Barton P. Miller (J. Supercomput., 1995)

An Adaptive Cost System for Parallel Program Instrumentation. - Jeffrey K. Hollingsworth; Barton P. Miller (Euro-Par, Vol. I, 1996)

Mechanisms for Mapping High-Level Parallel Performance Data. - R. Bruce Irvin; Barton P. Miller (ICPP Workshop, 1996)

Mapping Performance Data for High-Level and Data Views of Parallel Program Performance. - R. Bruce Irvin; Barton P. Miller (International Conference on Supercomputing, 1996)

Paging tradeoffs in distributed-shared-memory multiprocessors. - Doug Burger; Rahmat S. Hyder; Barton P. Miller; David A. Wood 001 (J. Supercomput., 1996)

MDL: A Language and Compiler for Dynamic Program Instrumentation. - Jeffrey K. Hollingsworth; Barton P. Miller; M. J. R. Goncalves; Oscar Naim; Zhichen Xu; Ling Zheng (IEEE PACT, 1997)

Shared Memory Performance Profiling. - Zhichen Xu; James R. Larus; Barton P. Miller (PPoPP, 1997)

Experiment Management Support for Performance Tuning. - Karen L. Karavanic; Barton P. Miller (SC, 1997)

Integrated Visualization of Parallel Program Performance Data. - Karen L. Karavanic; Jussi Myllymaki; Miron Livny; Barton P. Miller (Parallel Comput., 1997)

Performance Measurement of Interpreted Programs. - Tia Newhall; Barton P. Miller (Euro-Par, 1998)

Using Cost to Control Instrumentation Overhead. - Jeffrey K. Hollingsworth; Barton P. Miller (Theor. Comput. Sci., 1998)

Process Hijacking. - Victor C. Zandy; Barton P. Miller; Miron Livny (HPDC, 1999)

Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels. - Ariel Tamches; Barton P. Miller (OSDI, 1999)

Dynamic Instrumentation of Threaded Applications. - Zhichen Xu; Barton P. Miller; Oscar Naim (PPoPP, 1999)

Improving Online Performance Diagnosis by the Use of Historical Performance Data. - Karen L. Karavanic; Barton P. Miller (SC, 1999)

Using Dynamic Kernel Instrumentation for Kernel and Application Tuning. - Ariel Tamches; Barton P. Miller (Int. J. High Perform. Comput. Appl., 1999)

Summary of the Sigmetrics symposium on parallel and distributed processing. - Jeffrey K. Hollingsworth; Barton P. Miller (SIGMETRICS Perform. Evaluation Rev., 1999)

A Callgraph-Based Search Strategy for Automated Performance Diagnosis (Distinguished Paper). - Harold W. Cain; Barton P. Miller; Brian J. N. Wylie (Euro-Par, 2000)

Support Tools and Environments. - Barton P. Miller; Michael Gerndt (Euro-Par, 2000)

Safety checking of machine code. - Zhichen Xu; Barton P. Miller; Thomas W. Reps (PLDI, 2000)

Performance measurement of dynamically compiled Java executions. - Tia Newhall; Barton P. Miller (Concurr. Pract. Exp., 2000)

Typestate Checking of Machine Code. - Zhichen Xu; Thomas W. Reps; Barton P. Miller (ESOP, 2001)

Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes. - Barton P. Miller; Mihai Christodorescu; Robert Iverson; Tevfik Kosar; Alexander Mirgorodskii; Florentina I. Popovici (Parallel Process. Lett., 2001)

Monitoring Systems and Tool Interoperability. - Thomas Ludwig 002; Barton P. Miller (Parallel Distributed Comput. Pract., 2001)

A Framework for Multi-Execution Performance Tuning. - Karen L. Karavanic; Barton P. Miller (Parallel Distributed Comput. Pract., 2001)

Performance Evaluation, Analysis and Optimization. - Barton P. Miller; Jesús Labarta; Florian Schintke; Jens Simon (Euro-Par, 2002)

Reliable network connections. - Victor C. Zandy; Barton P. Miller (MobiCom, 2002)

A Security Attack and Defense in the Grid Environment. - Barton P. Miller (PVM/MPI, 2002)

Detecting Manipulated Remote Call Streams. - Jonathon T. Giffin; Somesh Jha; Barton P. Miller (USENIX Security Symposium, 2002)

A callgraph-based search strategy for automated performance diagnosis. - Harold W. Cain; Barton P. Miller; Brian J. N. Wylie (Concurr. Comput. Pract. Exp., 2002)

CrossWalk: A Tool for Performance Profiling Across the User-Kernel Boundary. - Alexander V. Mirgorodskiy; Barton P. Miller (PARCO, 2003)

The Tool Dæmon Protocol (TDP). - Barton P. Miller; Ana Cortés; Miquel A. Senar; Miron Livny (SC, 2003)

MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools. - Philip C. Roth; Dorian C. Arnold; Barton P. Miller (SC, 2003)

Checkpoints of GUI-based Applications. - Victor C. Zandy; Barton P. Miller (USENIX ATC, General Track, 2003)

Deep Start: a hybrid strategy for automated performance problem searches. - Philip C. Roth; Barton P. Miller (Concurr. Comput. Pract. Exp., 2003)

Automatic Generation and Analysis of NIDS Attacks. - Shai Rubin; Somesh Jha; Barton P. Miller (ACSAC, 2004)

Benchmarking the MRNet Distributed Tool Infrastructure: Lessons Learned. - Philip C. Roth; Dorian C. Arnold; Barton P. Miller (IPDPS, 2004)

Efficient Context-Sensitive Intrusion Detection. - Jonathon T. Giffin; Somesh Jha; Barton P. Miller (NDSS, 2004)

Formalizing Sensitivity in Static Analysis for Intrusion Detection. - Henry Hanping Feng; Jonathon T. Giffin; Yong Huang; Somesh Jha; Wenke Lee; Barton P. Miller (S&P, 2004)

05501 Summary - Automatic Performance Analysis. - Michael Gerndt; Allen D. Malony; Barton P. Miller; Wolfgang E. Nagel (Automatic Performance Analysis, 2005)

05501 Abstracts Collection - Automatic Performance Analysis. - Michael Gerndt; Allen D. Malony; Barton P. Miller; Wolfgang E. Nagel (Automatic Performance Analysis, 2005)

A Loop-Aware Search Strategy for Automated Performance Analysis. - Eli D. Collins; Barton P. Miller (HPCC, 2005)

Environment-Sensitive Intrusion Detection. - Jonathon T. Giffin; David Dagon; Somesh Jha; Wenke Lee; Barton P. Miller (RAID, 2005)

Language-Based Generation and Evaluation of NIDS Signatures. - Shai Rubin; Somesh Jha; Barton P. Miller (S&P, 2005)

Practical analysis of stripped binary code. - Laune C. Harris; Barton P. Miller (SIGARCH Comput. Archit. News, 2005)

Protomatching network traffic for high throughputnetwork intrusion detection. - Shai Rubin; Somesh Jha; Barton P. Miller (CCS, 2006)

On the Completeness of Attack Mutation Algorithms. - Shai Rubin; Somesh Jha; Barton P. Miller (CSFW, 2006)

Tree-based overlay networks for scalable applications. - Dorian C. Arnold; Gary D. Pack; Barton P. Miller (IPDPS, 2006)

On-line automated performance diagnosis on thousands of processes. - Philip C. Roth; Barton P. Miller (PPoPP, 2006)

Automated Discovery of Mimicry Attacks. - Jonathon T. Giffin; Somesh Jha; Barton P. Miller (RAID, 2006)

Scalable systems software - Problem diagnosis in large-scale computing environments. - Alexander V. Mirgorodskiy; Naoya Maruyama; Barton P. Miller (SC, 2006)

A tool for converting Linux device drivers into Solaris compatible binaries. - Sean McIlwain; Barton P. Miller (Softw. Pract. Exp., 2006)

07341 Executive Summary - Code Instrumentation and Modeling for Parallel Performance Analysis. - Adolfy Hoisie; Barton P. Miller; Bernd Mohr (Code Instrumentation and Modeling for Parallel Performance Analysis, 2007)

07341 Abstracts Collection - Code Instrumentation and Modeling for Parallel Performance Analysis. - Adolfy Hoisie; Barton P. Miller; Bernd Mohr (Code Instrumentation and Modeling for Parallel Performance Analysis, 2007)

Stack Trace Analysis for Large Scale Debugging. - Dorian C. Arnold; Dong H. Ahn; Bronis R. de Supinski; Gregory L. Lee; Barton P. Miller; Martin Schulz 001 (IPDPS, 2007)

Benchmarking the Stack Trace Analysis Tool for BlueGene/L. - Gregory L. Lee; Dong H. Ahn; Dorian C. Arnold; Bronis R. de Supinski; Barton P. Miller; Martin Schulz 001 (PARCO, 2007)

The effects of metadata corruption on nfs. - Swetha Krishnan; Giridhar Ravipati; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Barton P. Miller (StorageSS, 2007)

Incremental call-path profiling. - Andrew R. Bernat; Barton P. Miller (Concurr. Comput. Pract. Exp., 2007)

An empirical study of the robustness of MacOS applications using random testing. - Barton P. Miller; Gregory Cooksey; Fredrick Moore (ACM SIGOPS Oper. Syst. Rev., 2007)

A comparison of interactivity in the Linux 2.6 scheduler and an MLFQ scheduler. - Lisa A. Torrey; Joyce Coleman; Barton P. Miller (Softw. Pract. Exp., 2007)

How to Open a File and Not Get Hacked. - James A. Kupsch; Barton P. Miller (ARES, 2008)

Learning to Analyze Binary Computer Code. - Nathan E. Rosenblum; Xiaojin Zhu 001; Barton P. Miller; Karen Hunt (AAAI, 2008)

In search of sweet-spots in parallel performance monitoring. - Aroon Nataraj; Allen D. Malony; Allen Morris; Dorian C. Arnold; Barton P. Miller (CLUSTER, 2008)

Overcoming Scalability Challenges for Tool Daemon Launching. - Dong H. Ahn; Dorian C. Arnold; Bronis R. de Supinski; Gregory L. Lee; Barton P. Miller; Martin Schulz 001 (ICPP, 2008)

Diagnosing Distributed Systems with Self-propelled Instrumentation. - Alexander V. Mirgorodskiy; Barton P. Miller (Middleware, 2008)

Lessons learned at 208K: towards debugging millions of cores. - Gregory L. Lee; Dong H. Ahn; Dorian C. Arnold; Bronis R. de Supinski; Matthew P. LeGendre; Barton P. Miller; Martin Schulz 001; Ben Liblit (SC, 2008)

Virtual machine-provided context sensitive page mappings. - Nathan E. Rosenblum; Gregory Cooksey; Barton P. Miller (VEE, 2008)

Group file operations for scalable tools and middleware. - Michael J. Brim; Barton P. Miller (HiPC, 2009)

Scalable temporal order analysis for large scale debugging. - Dong H. Ahn; Bronis R. de Supinski; Ignacio Laguna; Gregory L. Lee; Ben Liblit; Barton P. Miller; Martin Schulz 001 (SC, 2009)

First principles vulnerability assessment. - James A. Kupsch; Barton P. Miller; Elisa Heymann; Eduardo César (CCSW, 2010)

10181 Abstracts Collection - Program Development for Extreme-Scale Computing. - Jesús Labarta; Barton P. Miller; Bernd Mohr; Martin Schulz 001 (Program Development for Extreme-Scale Computing, 2010)

10181 Executive Summary - Program Development for Extreme-Scale Computing. - Jesús Labarta; Barton P. Miller; Bernd Mohr; Martin Schulz 001 (Program Development for Extreme-Scale Computing, 2010)

Scalable failure recovery for high-performance data aggregation. - Dorian C. Arnold; Barton P. Miller (IPDPS, 2010)

A Lightweight Library for Building Scalable Tools. - Emily R. Jacobson; Michael J. Brim; Barton P. Miller (PARA (2), 2010)

Extracting compiler provenance from program binaries. - Nathan E. Rosenblum; Barton P. Miller; Xiaojin Zhu 001 (PASTE, 2010)

Hybrid Analysis and Control of Malware. - Kevin A. Roundy; Barton P. Miller (RAID, 2010)

Special Issue: Scalable Tools for High-end Computing. - Michael Gerndt; Barton P. Miller (Concurr. Comput. Pract. Exp., 2010)

A framework for scalable, parallel performance monitoring. - Aroon Nataraj; Allen D. Malony; Alan Morris; Dorian C. Arnold; Barton P. Miller (Concurr. Comput. Pract. Exp., 2010)

Who Wrote This Code? Identifying the Authors of Program Binaries. - Nathan E. Rosenblum; Xiaojin Zhu 001; Barton P. Miller (ESORICS, 2011)

Efficient, sensitivity resistant binary instrumentation. - Andrew R. Bernat; Kevin A. Roundy; Barton P. Miller (ISSTA, 2011)

Recovering the toolchain provenance of binary code. - Nathan E. Rosenblum; Barton P. Miller; Xiaojin Zhu 001 (ISSTA, 2011)

Anywhere, any-time binary instrumentation. - Andrew R. Bernat; Barton P. Miller (PASTE, 2011)

Labeling library functions in stripped binaries. - Emily R. Jacobson; Nathan E. Rosenblum; Barton P. Miller (PASTE, 2011)

Automated tracing and visualization of software security structure and properties. - Wenbin Fang; Barton P. Miller; James A. Kupsch (VizSEC, 2012)

Structured Binary Editing with a CFG Transformation Algebra. - Andrew R. Bernat; Barton P. Miller (WCRE, 2012)

Computer Sciences Department. - Jairo Serrano; Elisa Heymann; Eduardo César; Barton P. Miller (Comput. Informatics, 2012)

Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8). - Barton P. Miller; Yoshio Tanaka; Elisa Heymann (NII Shonan Meet. Rep., 2012)

Mining Software Repositories for Accurate Authorship. - Xiaozhu Meng; Barton P. Miller; William R. Williams; Andrew R. Bernat (ICSM, 2013)

Efficient and Scalable Retrieval Techniques for Global File Properties. - Dong H. Ahn; Michael J. Brim; Bronis R. de Supinski; Todd Gamblin; Gregory L. Lee; Matthew P. LeGendre; Barton P. Miller; Adam Moody; Martin Schulz 001 (IPDPS, 2013)

Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware. - Jairo Serrano; Eduardo César; Elisa Heymann; Barton P. Miller (ISPEC, 2013)

Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes. - Benjamin Welton; Evan Samanas; Barton P. Miller (SC, 2013)

Binary-code obfuscations in prevalent packer tools. - Kevin A. Roundy; Barton P. Miller (ACM Comput. Surv., 2013)

LIBI: A framework for bootstrapping extreme scale software systems. - Joshua D. Goehner; Dorian C. Arnold; Dong H. Ahn; Gregory L. Lee; Bronis R. de Supinski; Matthew P. LeGendre; Barton P. Miller; Martin Schulz 001 (Parallel Comput., 2013)

Detecting Code Reuse Attacks with a Model of Conformant Program Execution. - Emily R. Jacobson; Andrew R. Bernat; William R. Williams; Barton P. Miller (ESSoS, 2014)

The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm. - Benjamin Welton; Barton P. Miller (ScalA@SC, 2014)

Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3). - Barton P. Miller; Yoshio Tanaka; Elisa Heymann (NII Shonan Meet. Rep., 2014)

Binary code is not easy. - Xiaozhu Meng; Barton P. Miller (ISSTA, 2016)

Identifying Multiple Authors in a Binary Program. - Xiaozhu Meng; Barton P. Miller; Kwang-Sung Jun (ESORICS (2), 2017)

Bad and good news about using software assurance tools. - James A. Kupsch; Elisa Heymann; Barton P. Miller; Vamshi Basupalli (Softw. Pract. Exp., 2017)

Exposing Hidden Performance Opportunities in High Performance GPU Applications. - Benjamin Welton; Barton P. Miller (CCGrid, 2018)

Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP. - Elisa Heymann; Barton P. Miller (SecDev, 2018)

Structured random differential testing of instruction decoders. - Nathan Jay; Barton P. Miller (SANER, 2018)

Adversarial Binaries for Authorship Identification. - Xiaozhu Meng; Barton P. Miller; Somesh Jha (CoRR, 2018)

Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development. - Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Ke Tian; Miles Frantz; Na Meng 001; Barton P. Miller; Fahad Shaon; Murat Kantarcioglu; Danfeng (Daphne) Yao (CCS, 2019)

Diogenes: looking for an honest CPU/GPU performance measurement tool. - Benjamin Welton; Barton P. Miller (SC, 2019)

Trusted CI Experiences in Cybersecurity and Service to Open Science. - Andrew K. Adams; Kay Avila; Jim Basney; Dana Brunson; Robert Cowles; Jeannette Dopheide; Terry Fleury; Elisa Heymann; Florence D. Hudson; Craig Jackson; Ryan Kiser; Mark Krenz; et al. (PEARC, 2019)

Deployment-quality and Accessible Solutions for Cryptography Code Development. - Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Ke Tian; Miles Frantz; Na Meng 001; Barton P. Miller; Fahad Shaon; Murat Kantarcioglu; Danfeng (Daphne) Yao (CODASPY, 2020)

Identifying and (automatically) remedying performance problems in CPU/GPU applications. - Benjamin Welton; Barton P. Miller (ICS, 2020)

An In-Depth Security Assessment of Maritime Container Terminal Software Systems. - Joseph O. Eichenhofer; Elisa Heymann; Barton P. Miller; Arnold Kang (IEEE Access, 2020)

Parallelizing Binary Code Analysis. - Xiaozhu Meng; Jonathon M. Anderson; John M. Mellor-Crummey; Mark W. Krentel; Barton P. Miller; Srdan Milakovic (CoRR, 2020)

Parallel binary code analysis. - Xiaozhu Meng; Jonathon M. Anderson; John M. Mellor-Crummey; Mark W. Krentel; Barton P. Miller; Srdan Milakovic (PPoPP, 2021)

Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441). - Michael Gerndt; Masaaki Kondo; Barton P. Miller; Tapasya Patki (Dagstuhl Reports, 2021)

Software Security for the People: Free and Open Resources for Software Security Training. - Elisa R. Heymann; Barton P. Miller (IEEE Secur. Priv., 2022)

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. - Danfeng Daphne Yao; Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Miles Frantz; Ke Tian; Na Meng 001; Cristina Cifuentes; Yang Zhao; Nicholas Allen; Nathan Keynes; Barton P. Miller; et al. (IEEE Secur. Priv., 2022)

The Relevance of Classic Fuzz Testing: Have We Solved This One? - Barton P. Miller; Mengxiao Zhang; Elisa R. Heymann (IEEE Trans. Software Eng., 2022)

SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions. - Sazzadur Rahaman; Miles Frantz; Barton P. Miller; Danfeng (Daphne) Yao (ACNS Workshops, 2023)

Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks. - Sharmin Afrose; Ya Xiao 002; Sazzadur Rahaman; Barton P. Miller; Danfeng Yao (IEEE Trans. Software Eng., 2023)

Empirical Analysis and Practical Assessment of Ransomware Attacks to Data in Motion. - Raúl Reinosa Simón; Clara I. Valero; José A. Martínez Cadenas; Elisa R. Heymann; Ignacio Lacalle; Barton P. Miller; Carlos Enrique Palau (CSR, 2024)