Below are selected papers from Miller's research, including work from the Paradyn and WiSA projects.

2008

Alexandre V. Mirgorodskiy and Barton P. Miller, "Diagnosing Distributed Systems with Self-Propelled Instrumentation", ACM/IFIP/USENIX 9th International Middleware, Leuven, Belgium, December 2008. [ pdf ]

Greg L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Barton P. Miller, Martin Schulz, and Benjamin Liblit, "Lessons learned at 208K: Towards Debugging Millions of Cores", Supercomputing 2008 (SC2008), Austin, TX, November 2008. [ pdf ]

Aroon Nataraj, Allen D. Malony, Alan Morris Dorian C. Arnold, and Barton P. Miller, "In Search of Sweet-Spots in Parallel Performance Monitoring", 2008 IEEE International Conf. on Cluster Computing (Cluster 2008), Tsukuba, Japan, September 2008. [ pdf ]

Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Greg L. Lee, Barton P. Miller, and Martin Schulz, "Overcoming Scalability Challenges for Tool Daemon Launching", 37th International Conference on Parallel Processing (ICPP-08), Portland, OR, September 2008. [ pdf ]

Nathan E. Rosenblum, X. (Jerry) Zhu, Barton P. Miller and Karen Hunt, "Learning to Analyze Binary Computer Code", 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), Chicago, July 2008. [ pdf ]

Nathan Rosenblum, Gregory Cooksey, and Barton P. Miller, "Virtual Machine-Based Circumvention of Self-Checksumming Code", International Conference on Virtual Execution Environments (VEE 2008), March 2008, Seattle. [ pdf | ps ]

James A. Kupsch and Barton P. Miller, "How to Open a File and Not Get Hacked", Second International Workshop on Secure Software Engineering (SecSE), Barcelona, Spain, March 2008. [ pdf ]

2007

Barton P. Miller, Forward to book in Open Source Fuzzing Tools by Noam Rathaus and Gadi Evron, Syngress Press, Elsevier Science and Technology Books, August 2007, ISBN 15-97491950.

Nathan Rosenblum, X. (Jery) Zhu, Barton P. Miller and Karen Hunt, "Machine Learning-Assisted Binary Code Analysis", NIPS 2007 Workshop on Machine Learning in Adversarial Environments for Computer Security, Whistler, BC, December 2007. [ pdf ]

John Mellor-Crummey, Peter Beckman, Jack Dongarra, Barton P. Miller, and Kathy Yelick, "Software Technology for Leadership-Class Computing", SciDAC Review 5, Fall 2007, Department of Energy, pp. 36-45.

Swetha Krishnan, Giridhar Ravipati, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Barton P. Miller, "Fingerprinting NFS Failure Policy", 3rd International Workshop on Storage Security and Survivability (StorageSS 2007), Alexandria, VA, October 2007.

Greg L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Barton P. Miller, and Martin Schulz, "Benchmarking the Stack Trace Analysis Tool for BlueGene/L", Parallel Computing 2007 (ParCo), Minisymposium on Scalability and Usability of HPC Programming Tools, Aachen/Jülich, Germany, September 2007. [ pdf ]

Gogul Balakrishnan, Mihai Christodorescu, Vinod Ganapathy, Jonathan T. Giffin, Shai Rubin, Hao Wang, Somesh Jha, Barton P. Miller, Thomas Reps, "Analysis of COTS for Security Vulnerability Remediation", in Information Security Research: New Methods for Protecting against Cyber Threats, Wiley Publishing, Inc., Wang, King, Wachter, Herklotz, Arney, Toth, Hislop, Heise, and Combs, eds., 2007.

Andrew R. Bernat and Barton P. Miller, "Incremental Call-Path Profiling", Concurrency: Practice and Experience 19, 11, August 2007, pp. 1533-1547. [ pdf | ps ]

Lisa A. Torrey, Joyce Coleman, and Barton P. Miller, "A Comparison of Interactivity in the Linux 2.6 Scheduler and an MLFQ Scheduler", Software: Practice and Experience 37, 4, April 2007, pp. 347-364.

Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Greg Lee, Barton P. Miller, and Martin Schulz, "Stack Trace Analysis for Large Scale Debugging", 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS), Long Beach, California, March 2007. [ pdf | ps ]

2006

Alexander V. Mirgorodskiy, Naoya Maruyama, and Barton P. Miller, "Problem Diagnosis in Large-Scale Computing Environments", SC|06, Tampa, Florida, November 2006. [ pdf | ps ]

Jonathon T. Giffin, Somesh Jha, and Barton P. Miller, "Automated discovery of mimicry attacks", 9th International Symposium on Recent Advances in Intrusion Detection (RAID), Hamburg, Germany, September 2006. [pdf | ps]

Shai Rubin, Somesh Jha, and Barton P. Miller, "On the Completeness of Attack Mutation Algorithms", 19th Computer Security Foundations Workshop (CSFW), Venice, Italy, July 2006. [pdf]

B.P. Miller, G. Cooksey and F. Moore, "An Empirical Study of the Robustness of MacOS Applications Using Random Testing", First International Workshop on Random Testing, Portland, Maine, July 2006. [pdf | ps]

S. McIlwain and B.P. Miller, "A Tool for Converting Linux Device Drivers into Solaris Compatible Binaries", Software: Practice & Experience 36, 7, June 2006, pp. 689-710.

Dorian C. Arnold, Gary D. Pack and Barton P. Miller, "Tree-based Overlay Networks for Scalable Applications", 11th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2006), Rhodes, Greece, April 2006. [ pdf | ps ]

Philip C. Roth and Barton P. Miller, "On-line Automated Performance Diagnosis on Thousands of Processes", ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), New York City, March 2006. [ pdf | ps ]

2005

Jonathon T. Giffin, Somesh Jha, and Barton P. Miller, "On Effective Model-Based Intrusion Detection", Technical report #1543, Computer Sciences Department, University of Wisconsin, Madison, Wisconsin, November 2005. [pdf] [ps]

Laune C. Harris and Barton P. Miller, "Practical Analysis of Stripped Binary Code", Workshop on Binary Instrumentation and Applications (WBIA-05), St. Louis, Missouri, September 2005. [ pdf | ps ]

Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, and Barton P. Miller, "Environment-sensitive intrusion detection", 8th International Symposium on Recent Advances in Intrusion Detection (RAID), Seattle, Washington, September 2005. [pdf | ps]

Eli D. Collins and Barton P. Miller, "A Loop-aware Search Strategy for Automated Performance Analysis", High Performance Computing and Communications (HPCC-05), Sorrento, Italy, September 2005. Appears in Spring-Verlag LNCS #3726. [ pdf | ps ]

Shai Rubin, Somesh Jha, and Barton P. Miller, "Language-based generation and evaluation of NIDS signatures", IEEE Symposium on Security and Privacy, Oakland, California, May 2005. [pdf | ps]

Shai Rubin, Somesh Jha, and Barton P. Miller, "Using attack mutation to test a high-end NIDS", Information Security Bulletin 10, April 2005. [Not currently available online.]

Alexander V. Mirgorodskiy and Barton P. Miller, "Autonomous Analysis of Interactive Systems with Self-Propelled Instrumentation", MMCN 2005: 12th Multimedia Computing and Networking, San Jose, California, January 2005. [ pdf | ps ]

2004

Shai Rubin, Somesh Jha, and Barton P. Miller, "Automatic generation and analysis of NIDS attacks", 20th Annual Computer Security Applications Conference (ACSAC), Tuscon, Arizona, December 2004. Awarded best paper and best student paper. [pdf | ps]

Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, and Barton P. Miller, "Formalizing sensitivity in static analysis for intrusion detection", IEEE Symposium on Security and Privacy, Oakland, California, May 2004. [pdf | ps]

Philip C. Roth, Dorian C. Arnold, and Barton P. Miller, "Benchmarking the MRNet Distributed Tool Infrastructure: Lessons Learned", 2004 High-Performance Grid Computing Workshop, held in conjunction with the 2004 International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico, April 2004. [ pdf | ps ]

Jonathon T. Giffin, Somesh Jha, and Barton P. Miller, "Efficient context-sensitive intrusion detection", 11th Network and Distributed System Security Symposium (NDSS), San Diego, California, February 2004. [pdf | ps]

2003

Philip C. Roth, Dorian C. Arnold, and Barton P. Miller, "MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools", SC2003, Phoenix, Arizona, November 2003. [ pdf | ps ]

Barton P. Miller, Ana Cortés, Miquel A. Senar, and Miron Livny, "The Tool Daemon Protocol (TDP)", SC2003 (Phoenix, Arizona, November 2003). [ pdf | ps ]

Alexander V. Mirgorodskiy and Barton P. Miller, "CrossWalk: A Tool for Performance Profiling Across the User-Kernel Boundary", International Conference on Parallel Computing (ParCo, Dresden, Germany, September 2003). [ pdf | ps ]

Victor C. Zandy and Barton P. Miller, "Checkpoints of GUI-based Applications", 2003 USENIX Annual Technical Conference (San Antonio, TX, June 2003). [ pdf | ps ]

2002

Victor C. Zandy and Barton P. Miller, "Reliable Network Connections", ACM MobiCom, Atlanta, September 2002. [ pdf | ps ]

Jonathon T. Giffin, Somesh Jha, and Barton P. Miller, "Detecting Manipulated Remote Call Streams", 11th USENIX Security Symposium, San Francisco, California, August 2002. [pdf | ps | html]

Philip C. Roth and Barton P. Miller, "Deep Start: A Hybrid Strategy for Automated Performance Problem Searches", Euro-Par 2002 (Paderborn, Germany, August 2002). [ pdf | ps ]

Harold W. Cain, Barton P. Miller, and Brian J.N. Wylie, "A Callgraph-Based Search Strategy for Automated Performance Diagnosis", Concurrency and Computation: Practice & Experience 14, 3, March 2002, pp. 203-217. Also appears as Euro-Par 2000, Munich, Germany, August 2000.

K.L. Karavanic and B.P. Miller, "Experiment Management Support for Parallel Performance Tuning", Journal of Parallel and Distributed Computing Practices 4, 3, 2002. Special issue on monitoring systems and tool interoperability.

2001

Ariel Tamches, "Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels", (Ph.D. diss., University of Wisconsin-Madison, 2001). [ pdf | ps ]

Barton P. Miller, Mihai Christodorescu, Robert Iverson, Tevfik Kosar, Alexander Mirgorodskii, and Florentina Popovici, "Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes", Parallel Processing Letters 11, 2/3 (June/September 2001). Also appears in the Second Los Alamos Computer Science Institute Symposium, Sante Fe, NM (October 2001). [ pdf | ps ]

Ariel Tamches and Barton P. Miller, "Dynamic Kernel I-Cache Optimization", Workshop on Binary Translation (Barcelona, September 2001). [ pdf | ps ]

Zhichen Xu, Thomas Reps, and Barton P. Miller, "Typestate Checking of Machine Code", European Symposium On Programming (ESOP, Genova, Italy, April 2001). [ pdf | ps ]

2000

Zhichen Xu. "Safety Checking of Machine Code", (Ph.D. diss., University of Wisconsin-Madison, December 2000). [ pdf | ps ]

Harold W. Cain, Barton P. Miller, and Brian J.N. Wylie, "A Callgraph-Based Search Strategy for Automated Performance Diagnosis", Euro-Par 2000 (Munich, Germany, August 2000). [ pdf | ps ]

J.E. Forrester and B.P. Miller, "An Empirical Study of the Robustness of Windows NT Applications Using Random Testing", 4th USENIX Windows Systems Symposium, Seattle, August 2000. Appears (in German translation) as "Empirische Studie zur Stabilität von NT-Anwendungen", iX, September 2000. [pdf | ps | html]

Zhichen Xu, Barton P. Miller, and Thomas Reps, "Safety Checking of Machine Code", SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2000, Vancouver, B.C., June 2000). [ pdf | ps ]

1999

Karen Karavanic "Experiment Management Support for Parallel Performance Tuning", (Ph.D. diss., University of Wisconsin-Madison, December 1999). [ pdf | ps ]

Karen L. Karavanic and Barton P. Miller, "Improving Online Performance Diagnosis by the Use of Historical Performance Data", SC99 (Portland, Oregon, November 1999). [ pdf | ps ]

Ariel Tamches and Barton P. Miller, "Using Dynamic Kernel Instrumentation for Kernel and Application Tuning", International Journal of High-Performance and Applications 13, 3 (Fall 1999). [ pdf | ps ]

Tia Newhall "Performance Measurement of Interpreted, Just-in-Time compiled, and Dynamically Compiled Executions", (Ph.D. diss., University of Wisconsin-Madison, August 1999). [ pdf | ps ]

Victor C. Zandy, Barton P. Miller, and Miron Livny, "Process Hijacking", 8th International Symposium on High Performance Distributed Computing (HPDC '99), Redondo Beach, California, August 1999): 177-184. [ pdf | ps ]

Tia Newhall and Barton P. Miller, "Performance Measurement of Dynamically Compiled Java Executions", 1999 ACM Java Grande (Palo Alto, June 1999). [ pdf | ps ]

Zhichen Xu, Barton P. Miller and Oscar Naim, "Dynamic Instrumentation of Threaded Applications", 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Atlanta, Georgia, May 1999). [ pdf | ps ]

Ariel Tamches and Barton P. Miller, "Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels", 3rd Symposium on Operating Systems Design and Implementation (OSDI, New Orleans, Louisiana, February 1999). [ pdf | ps ]

1998

Tia Newhall and Barton P. Miller, "Performance Measurement of Interpreted Programs", Euro-Par '98 (Southampton, England, September 1998). [ pdf | ps ]

1997

Jeffrey K. Hollingsworth, Barton P. Miller, Marcelo J. R. Gonçalves, Oscar Naim, Zhichen Xu and Ling Zheng, "MDL: A Language and Compiler for Dynamic Program Instrumentation", Parallel Architectures and Compilation Techniques (San Francisco, California, November 1997). [ pdf | ps ]

Karen L. Karavanic and Barton P. Miller, "Experiment Management Support for Performance Tuning", SC'97 (San Jose, California, November 1997). [ pdf | ps ]

Zhichen Xu, James R. Larus and Barton P. Miller "Shared-Memory Performance Profiling", 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Las Vegas, Nevada, June 1997). [ pdf | ps ]

Karen L. Karavanic, Jussi Myllymaki, Miron Livny and Barton P. Miller, "Integrated Visualization of Parallel Program Performance Data", Parallel Computing 23, 1997. Special issue on Environments and Tools for Parallel Scientific Computing). [ pdf | ps ]

1996

Jeffrey K. Hollingsworth and Barton P. Miller, "An Adaptive Cost Model for Parallel Program Instrumentation", in Euro-Par '96, eds. Luc Bouge, Pierre Fraigniaud, Anne Mignotte and Yves Robert, (Lyon, France, August 1996, LNCS 1123, Vol. I): 88-97. [ pdf | ps ]

R. Bruce Irvin and Barton P. Miller, "Mechanisms for Mapping High-Level Parallel Performance Data", ICPP Workshop on Challenges for Parallel Processing (Chicago, August 1996). [ pdf | ps ]

R. Bruce Irvin and Barton P. Miller, "Mapping Performance Data for High-Level and Data Views of Parallel Program Performance", International Conference on Supercomputing (Philadelphia, May 1996). [ pdf | ps ]

Krishna Kunchithapadam and Barton P. Miller, "Integrating a Debugger and a Performance Tool for Steering", in Debugging and Performance Tools for Parallel Computing Systems, eds. M.L. Simmons, A.H. Hayes, J.S. Brown and D.A. Reed (IEEE Computer Society Press, 1996): 53-64. [ pdf | ps ]

1995

R. Bruce Irvin, "Performance Measurement Tools for High-Level Parallel Programming Languages", (Ph.D. diss., University of Wisconsin-Madison, October 1995). [ pdf | ps ]

B.P. Miller, D. Koski, C.P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl, "Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services", Computer Sciences Technical Report #1268, University of Wisconsin-Madison, April 1995. Appears (in German translation) as "Empirische Studie zur Zuverlasskeit von UNIX-Utilities: Nichts dazu Gerlernt", iX, September 1995. [pdf | ps]

Krishna Kunchithapadam and Barton P. Miller, "Optimizing Array Distributions in Data-Parallel Programs", 7th International Workshop on Languages and Compilers for Parallel Computing (Ithaca, New York, August 1994) published by eds. K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau and D. Padua (LNCS 892, Springer-Verlag 1995):472-486. [ pdf | ps ]

Barton P. Miller, Mark D. Callaghan, Jonathan M. Cargille, Jeffrey K. Hollingsworth, R. Bruce Irvin, Karen L. Karavanic, Krishna Kunchithapadam and Tia Newhall, "The Paradyn Parallel Performance Measurement Tool", IEEE Computer 28, 11, (November 1995): 37-46. Special issue on performance evaluation tools for parallel and distributed computer systems. [ pdf | ps ]

1994

Jeffrey K. Hollingsworth, "Finding Bottlenecks in Large-scale Parallel Programs", (Ph.D. diss., University of Wisconsin-Madison, August 1994). [ pdf | ps ]

Jeffrey K. Hollingsworth, Barton P. Miller and Jon Cargille, "Dynamic Program Instrumentation for Scalable Performance Tools", Scalable High-performance Conputing Conference (SHPCC, Knoxville, Tennessee, May 1994). [ pdf | ps ]

R. Bruce Irvin and Barton P. Miller, "A Performance Tool for High-Level Parallel Programming Languages", IFIP WG10.3 Working Conference on Programming Environments for Massively Parallel Distributed Systems (Ascona, Switzerland, April 1994). [ pdf | ps ]

Barton P. Miller, Jeffrey K. Hollingsworth and Mark D. Callaghan, "The Paradyn Parallel Performance Tools and PVM", in Environments and Tools for Parallel Scientific Computing, J.J. Dongarra and B. Tourancheau (eds.), SIAM Press, 1994. [ pdf | ps ]

1993

Jeffrey K. Hollingsworth and Barton P. Miller, "Dynamic Control of Performance Monitoring on Large Scale Parallel Systems", International Conference on Supercomputing (Tokyo, July 19-23, 1993). [ pdf | ps ]

1990

B.P. Miller, L. Fredriksen, and B. So, "An Empirical Study of the Reliability of UNIX Utilities", Communications of the ACM 33, 12 (December 1990). Also appears (in German translation) as "Fatale Fehlertractigkeit: Eine Empirische Studie zur Zuverlassigkeit von UNIX-Utilities", iX, March 1991. [pdf | ps]