| 2025 | SC | Dyninst on the RISC-V: Binary Instrumentation in Support of Performance, Debugging, and Other Tools. | Cheng-Hsun Angus He, Ronak Chauhan, James A. Kupsch, Hsuan-Heng Wu, Barton P. Miller |
| 2023 | ACNS | SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions. | Sazzadur Rahaman, Miles Frantz, Barton P. Miller, Danfeng (Daphne) Yao |
| 2021 | PPoPP | Parallel binary code analysis. | Xiaozhu Meng, Jonathon M. Anderson, John M. Mellor-Crummey, Mark W. Krentel, Barton P. Miller, Srdan Milakovic |
| 2020 | ICS | Identifying and (automatically) remedying performance problems in CPU/GPU applications. | Benjamin Welton, Barton P. Miller |
| 2019 | CCS | Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development. | Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Ke Tian, Miles Frantz, Na Meng, Barton P. Miller, Fahad Shaon, Murat Kantarcioglu, Danfeng (Daphne) Yao |
| 2019 | SC | Diogenes: looking for an honest CPU/GPU performance measurement tool. | Benjamin Welton, Barton P. Miller |
| 2018 | CCGRID | Exposing Hidden Performance Opportunities in High Performance GPU Applications. | Benjamin Welton, Barton P. Miller |
| 2017 | ESORICS | Identifying Multiple Authors in a Binary Program. | Xiaozhu Meng, Barton P. Miller, Kwang-Sung Jun |
| 2016 | ISSTA | Binary code is not easy. | Xiaozhu Meng, Barton P. Miller |
| 2014 | SC | The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm. | Benjamin Welton, Barton P. Miller |
| 2013 | ISPEC | Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware. | Jairo Serrano, Eduardo Csar, Elisa Heymann, Barton P. Miller |
| 2013 | SC | Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes. | Benjamin Welton, Evan Samanas, Barton P. Miller |
| 2012 | VizSec | Automated tracing and visualization of software security structure and properties. | Wenbin Fang, Barton P. Miller, James A. Kupsch |
| 2011 | ESORICS | Who Wrote This Code? Identifying the Authors of Program Binaries. | Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller |
| 2011 | ISSTA | Efficient, sensitivity resistant binary instrumentation. | Andrew R. Bernat, Kevin A. Roundy, Barton P. Miller |
| 2011 | ISSTA | Recovering the toolchain provenance of binary code. | Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu |
| 2010 | CCS | First principles vulnerability assessment. | James A. Kupsch, Barton P. Miller, Elisa Heymann, Eduardo Csar |
| 2010 | RAID | Hybrid Analysis and Control of Malware. | Kevin A. Roundy, Barton P. Miller |
| 2009 | HiPC | Group file operations for scalable tools and middleware. | Michael J. Brim, Barton P. Miller |
| 2009 | SC | 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 |
| 2008 | AAAI | Learning to Analyze Binary Computer Code. | Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller, Karen Hunt |
| 2008 | CLUSTER | In search of sweet-spots in parallel performance monitoring. | Aroon Nataraj, Allen D. Malony, Allen Morris, Dorian C. Arnold, Barton P. Miller |
| 2008 | ICPP | 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 |
| 2008 | Middleware | Diagnosing Distributed Systems with Self-propelled Instrumentation. | Alexander V. Mirgorodskiy, Barton P. Miller |
| 2008 | SC | 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, Ben Liblit |
| 2008 | VEE | Virtual machine-provided context sensitive page mappings. | Nathan E. Rosenblum, Gregory Cooksey, Barton P. Miller |
| 2006 | CCS | Protomatching network traffic for high throughputnetwork intrusion detection. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2006 | ISSTA | An empirical study of the robustness of MacOS applications using random testing. | Barton P. Miller, Gregory Cooksey, Fredrick Moore |
| 2006 | PPoPP | On-line automated performance diagnosis on thousands of processes. | Philip C. Roth, Barton P. Miller |
| 2006 | RAID | Automated Discovery of Mimicry Attacks. | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
| 2006 | SC | Scalable systems software - Problem diagnosis in large-scale computing environments. | Alexander V. Mirgorodskiy, Naoya Maruyama, Barton P. Miller |
| 2005 | HPCC | A Loop-Aware Search Strategy for Automated Performance Analysis. | Eli D. Collins, Barton P. Miller |
| 2005 | RAID | Environment-Sensitive Intrusion Detection. | Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller |
| 2005 | SP | Language-Based Generation and Evaluation of NIDS Signatures. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2004 | ACSAC | Automatic Generation and Analysis of NIDS Attacks. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2004 | NDSS | Efficient Context-Sensitive Intrusion Detection. | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
| 2004 | SP | Formalizing Sensitivity in Static Analysis for Intrusion Detection. | Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller |
| 2003 | SC | The Tool Dmon Protocol (TDP). | Barton P. Miller, Ana Corts, Miquel A. Senar, Miron Livny |
| 2003 | SC | MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools. | Philip C. Roth, Dorian C. Arnold, Barton P. Miller |
| 2003 | USENIX | Checkpoints of GUI-based Applications. | Victor C. Zandy, Barton P. Miller |
| 2002 | EuroPar | Performance Evaluation, Analysis and Optimization. | Barton P. Miller, Jess Labarta, Florian Schintke, Jens Simon |
| 2002 | EuroPar | Deep Start: A Hybrid Strategy for Automated Performance Problem Searches. | Philip C. Roth, Barton P. Miller |
| 2002 | MOBICOM | Reliable network connections. | Victor C. Zandy, Barton P. Miller |
| 2001 | ESOP | Typestate Checking of Machine Code. | Zhichen Xu, Thomas W. Reps, Barton P. Miller |
| 2000 | EuroPar | A Callgraph-Based Search Strategy for Automated Performance Diagnosis (Distinguished Paper). | Harold W. Cain, Barton P. Miller, Brian J. N. Wylie |
| 2000 | EuroPar | Support Tools and Environments. | Barton P. Miller, Michael Gerndt |
| 2000 | PLDI | Safety checking of machine code. | Zhichen Xu, Barton P. Miller, Thomas W. Reps |
| 1999 | HPDC | Process Hijacking. | Victor C. Zandy, Barton P. Miller, Miron Livny |
| 1999 | OSDI | Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels. | Ariel Tamches, Barton P. Miller |
| 1999 | PPoPP | Dynamic Instrumentation of Threaded Applications. | Zhichen Xu, Barton P. Miller, Oscar Naim |
| 1999 | SC | Improving Online Performance Diagnosis by the Use of Historical Performance Data. | Karen L. Karavanic, Barton P. Miller |
| 1998 | EuroPar | Performance Measurement of Interpreted Programs. | Tia Newhall, Barton P. Miller |
| 1997 | PPoPP | Shared Memory Performance Profiling. | Zhichen Xu, James R. Larus, Barton P. Miller |
| 1997 | SC | Experiment Management Support for Performance Tuning. | Karen L. Karavanic, Barton P. Miller |
| 1996 | EuroPar | An Adaptive Cost System for Parallel Program Instrumentation. | Jeffrey K. Hollingsworth, Barton P. Miller |
| 1996 | ICPP | Mechanisms for Mapping High-Level Parallel Performance Data. | R. Bruce Irvin, Barton P. Miller |
| 1996 | ICS | Mapping Performance Data for High-Level and Data Views of Parallel Program Performance. | R. Bruce Irvin, Barton P. Miller |
| 1995 | SIGMETRICS | Data Interpretation and Experiment Planning in Performance Tools (Panel). | Allen D. Malony, B. Robert Helm, Jeffrey K. Hollingsworth, Barton P. Miller, Karsten Schwan |
| 1994 | SC | Paging tradeoffs in distributed-shared-memory multiprocessors. | Doug Burger, Rahmat S. Hyder, Barton P. Miller, David A. Wood |
| 1993 | ICDCS | Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services. | Joann J. Ordille, Barton P. Miller |
| 1993 | ICS | Dynamic Control of Performance Monitoring on Large Scale Parallel Systems. | Jeffrey K. Hollingsworth, Barton P. Miller |
| 1993 | SIGMOD | Database Challenges in Global Information Systems. | Joann J. Ordille, Barton P. Miller |
| 1992 | SC | Parallel Program Performance Metrics: A Comparison and Validation. | Jeffrey K. Hollingsworth, Barton P. Miller |
| 1992 | SC | Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. | Robert H. B. Netzer, Barton P. Miller |
| 1991 | ISCA | Detecting Data Races on Weak Memory Systems. | Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer |
| 1991 | PPoPP | The Integration of Application and System Based Metrics in a Parallel Program Performance Tool. | Jeffrey K. Hollingsworth, R. Bruce Irvin, Barton P. Miller |
| 1991 | PPoPP | Improving the Accuracy of Data Race Detection. | Robert H. B. Netzer, Barton P. Miller |
| 1991 | SIGCOMM | Nomenclator Descriptive Query Optimization for Large X.500 Environments. | Joann J. Ordille, Barton P. Miller |
| 1990 | ICPP | On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. | Robert H. B. Netzer, Barton P. Miller |
| 1989 | SIGCOMM | Specification and Verification of Network Managers for Large Internets. | David L. Cohrs, Barton P. Miller |
| 1988 | ICDCS | Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions. | David L. Cohrs, Barton P. Miller, Lisa A. Call |
| 1988 | ICDCS | Breakpoints and Halting in Distributed Programs. | Barton P. Miller, Jong-Deok Choi |
| 1988 | ICDCS | Critical Path Analysis for the Execution of Parallel and Distributed Programs. | Cui-Qing Yang, Barton P. Miller |
| 1988 | PLDI | A Mechanism for Efficient Debugging of Parallel Programs. | Barton P. Miller, Jong-Deok Choi |
| 1987 | ICDCS | IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs. | Barton P. Miller, Cui-Qing Yang |
| 1987 | OOPSLA | CLAM - an Open System for Graphical User Interfaces. | Lisa A. Call, David L. Cohrs, Barton P. Miller |
| 1987 | SRDS | A Reliable and Secure UNIX Connection Service. | Dennis Draheim, Barton P. Miller, Steven Snyder |
| 1986 | ICPP | The Traveling Salesman Problem: The Development of a Distributed Computation. | Nick Lai, Barton P. Miller |
| 1985 | ICDCS | A Distributed Programs Monitor for Berkeley UNIX. | Barton P. Miller, Cathryn Macrander, Stuart Sechrest |
| 1983 | SOSP | Process Migration in DEMOS/MP. | Michael L. Powell, Barton P. Miller |