[ Contact Info | Site Index ]

Publications (by cat.)

Paradyn/Dyninst | Middleware | Kerninst |
Experiment Management | Steering | Mobile Computing | Dissertations

Note: clicking on a paper's title opens its abstract

Paradyn/Dyninst

• Xiaozhu Meng, Barton P. Miller, and Kwang-Sung Jun, "Identifying Multiple Authors in a Binary Program", Under submission. [ PDF ]

• Xiaozhu Meng and Barton P. Miller, "Binary Code Is Not Easy", International Symposium on Software Testing and Analysis (ISSTA), Saarbrücken, Germany, July 2016. [ PDF ]

• William R. Williams, Xiaozhu Meng, Benjamin Welton, and Barton P. Miller, "Dyninst and MRNet: Foundational Infrastructure for Parallel Tools", 9th Annual Parallel Tools Workshop, Dresden, Germany, September 2015. [ PDF ]

• Emily R. Jacobson, Andrew R. Bernat, William R. Williams, and Barton P. Miller, "Detecting Code Reuse Attacks with a Model of Conformant Program Execution", International Symposium on Engineering Secure Software and Systems (ESSoS), Munich, Germany, February 2014. [ PDF ]

• Xiaozhu Meng, Barton P. Miller, William R. Williams, and Andrew R. Bernat, "Mining Software Repositories for Accurate Authorship", 29th IEEE International Conference on Software Maintenance (ICSM), Eindhoven, Netherlands, September 2013. [ PDF ]

• Emily R. Jacobson, Andrew R. Bernat, William R. Williams, and Barton P. Miller, "Poster Abstract: Detecting Code Reuse Attacks with a Model of Conformant Program Execution", Research in Attacks, Intrusions and Detections (RAID), St. Lucia, October 2013. [ PDF ]

• Wenbin Fang, Barton P. Miller, and James A. Kupsch, "Automated Tracing and Visualization of Software Security Structure and Properties", Symposium on Visualization for Cyber Security (VizSec), Seattle, WA, USA, October 2012. [PDF]

• Kevin A. Roundy and Barton P. Miller, "Binary-Code Obfuscations in Prevalent Packer Tools", ACM Computing Surveys 46, 1, October 2013. [PDF]

• Andrew R. Bernat and Barton P. Miller, "Structured Binary Editing with a CFG Transformation Algebra", Working Conference on Reverse Engineering (WCRE), Kingston, Ontario, Canada, October 2012. [ PDF ]

• Emily R. Jacobson, Nathan Rosenblum, and Barton P. Miller, "Labeling Library Functions in Stripped Binaries", ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE), Szeged, Hungary, September 2011. [PDF]

• Andrew R. Bernat and Barton P. Miller, "Anywhere, Any Time Binary Instrumentation", ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE), Szeged, Hungary, September 2011. [PDF]

• Nathan Rosenblum, Xiaojin (Jerry) Zhu, and Barton P. Miller, "Who Wrote This Code? Identifying the Authors of Binary Programs", European Symposium on Research in Computer Security (ESORICS), Leuven, Belgium, September 2011. [PDF]

• Andrew R. Bernat, Kevin Roundy, and Barton. P Miller, "Efficient, Sensitivity Resistant Binary Instrumentation", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, July 2011. [PDF]

• Nathan Rosenblum, Barton P. Miller, and Xiaojin (Jerry) Zhu, "Recovering the Toolchain Provenance of Binary Code", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, July 2011. [PDF]

• Kevin A. Roundy and Barton P. Miller, "Hybrid Analysis and Control of Malware Binaries", Recent Advances in Intrusion Detection (RAID), Ottawa, Canada, September 2010. [PDF]

• Nathan Rosenblum, Barton P. Miller, and Xiaojin (Jerry) Zhu, "Extracting Compiler Provenance from Program Binaries" , >ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE), Toronto, Canada, June 2010. [PDF]

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

• Nathan E. Rosenblum, Xiaojin (Jerry) 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, Vancouver, British Columbia, Canada, December 2007. [ PDF ]

• 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 ]

• Alexander V. Mirgorodskiy and Barton P. Miller, "Diagnosing Distributed Systems with Self-Propelled Instrumentation", ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 2008. [ PDF | PS]

• Giridhar Ravipati, Andrew Bernat, Barton P. Miller, and Jeffrey K. Hollingsworth, "Towards the Deconstruction of Dyninst", Technical Report. [ PDF | PS ]

• Alexander V. Mirgorodskiy, Naoya Maruyama, and Barton P. Miller, "Problem Diagnosis in Large-Scale Computing Environments", Supercomputing 2006 (SC2006), Tampa, Florida, November 2006. [ 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 ]

• 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 ]

• 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'06), New York City, March 2006. [ PDF | PS ]

• 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 ]

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

• Philip C. Roth and Barton P. Miller, "Deep Start: A Hybrid Strategy for Automated Performance Problem Searches", in Euro-Par 2002, Paderborn, Germany, August 2002. [ 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 ]

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

• Tia Newhall and Barton P. Miller, "Performance Measurement of Dynamically Compiled Java Executions", in 1999 ACM Java Grande, Palo Alto, June 1999. [ PDF | PS ]

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

• Tia Newhall and Barton P. Miller, "Performance Measurement of Interpreted Programs", in Euro-Par '98, Southampton, England, September 1998. [ PDF | PS ]

• 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 ]

• Zhichen Xu, James R. Larus and Barton P. Miller "Shared-Memory Performance Profiling", in 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 ]

• 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, pp. 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 ]

• 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", in 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", Environments and Tools for Parallel Scientific Computing, J.J. Dongarra and B. Tourancheau (eds.), SIAM Press, 1994. [ PDF | PS ]

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

Middleware

• Benjamin Welton and Barton P Miller, "Mr. Scan: A Hybrid/Hybrid Extreme Scale Density Based Clustering Algorithm", Under Submission
[ PDF ]

• Benjamin Welton and Barton P Miller, "The Anatomy of Mr. Scan: A Dissection of Performance of an Extreme Scale GPU-Based Clustering Algorithm", Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems (ScalA '14) New Orleans, LA, November 2014
[ PDF ]

• Benjamin R. Welton, Evan Samanas, and Barton P. Miller, "Mr. Scan: Extreme Scale Density-Based Clustering using a Tree-Based Network of GPGPU Nodes", Supercomputing 2013 (SC2013), Denver, CO, November 2013. [ PDF ]

• 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, "Efficient and Scalable Retrieval Techniques for Global File Properties", 27th IEEE International Parallel & Distributed Processing Symposium, Boston, MA, May 2013. [ PDF ]

• Michael J. Brim, Barton. P Miller, and Vic Zandy, "FINAL: Flexible and Scalable Composition of File System Name Spaces", International Workshop on Runtime and Operating Systems for Supercomputers 2011 (ROSS'11), Tucson, Arizona, May 2011. [PDF]

• Michael J. Brim, Luiz DeRose, Barton P. Miller, Ramya Olichandran, and Philip C. Roth, "MRNet: A Scalable Infrastructure for the Development of Parallel Tools and Applications", Cray User Group 2010, Edinburgh, Scotland, May 2010. [PDF]

• Emily R. Jacobson, Michael J. Brim, and Barton P. Miller, "A Lightweight Library for Building Scalable Tools", Para 2010: State of the Art in Scientific and Parallel Computing, Reykjavik, Iceland, June 2010. [PDF]

• Dorian C. Arnold and Barton P. Miller, "Scalable Failure Recovery for High-performance Data Aggregation" , International Parallel and Distributed Processing Symposium (IPDPS), Atlanta, April 2010. [PDF]

• Michael J. Brim and Barton P. Miller, "Group File Operations for Scalable Tools and Middleware", IEEE 16th International Conference on High Performance Computing (HiPC), Kochi, India, December 2009. Best Paper Award [ PDF ]

• Dong H. Ahn, Bronis R. de Supinski, Ignacio. Laguna, Greg L. Lee, Ben Liblit, Barton P. Miller, and Martin Schulz, "Scalable Temporal Order Analysis for Large Scale Debugging", Supercomputing 2009 (SC2009), Portland, OR, November 2009. [PDF]

• Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew Legendre, Barton P. Miller, Martin Schulz, and Ben Liblit, "Lessons Learned at 208K: Towards Debugging Millions of Cores", Supercomputing 2008 (SC2008), Austin, TX, November 2008. [ PDF ]

• Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Gregory Lee, Barton P. Miller, and Martin Schulz, "Overcoming Scalablility Challenges for Tool Daemon Launching", 37th International Conference on Parallel Processing (ICPP-08), Portland, Oregon, September, 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", IEEE Cluster 2008, Tsukuba, Japan, September 2008. [ PDF ]

• Aroon Nataraj Allen D. Malony, Alan Morris, Dorian C. Arnold and Barton P. Miller, "A Framework for Scalable, Parallel Performance Monitoring using TAU and MRNet", International Workshop on Scalable Tools for High-End Computing (STHEC 2008), Island of Kos, Greece, June 2008. [ PDF ]

• Dorian C. Arnold and Barton P. Miller, "A Scalable Failure Recovery Model for Tree-based Overlay Networks", Technical Report #TR1626, Computer Sciences Department, University of Wisconsin. [ PDF ]

• Gregory 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", ParC0 2007 mini-symposium on Scalability and Usability of HPC Programming Tools, Juelich, Germany, September 2007. [ PDF ]

• Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory Lee, Barton P. Miller, and Martin Schulz, "Stack Trace Analysis for Large Scale Applications", International Parallel & Distributed Processing Symposium, Long Beach, California, March 2007. [ PDF ]

• 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, 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 2004, Santa Fe, New Mexico, April 2004). [ PDF | PS ]

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

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

Kerninst

• 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 ]

• 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 ]

• 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 ]

• 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 ]

• 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 ]

Experiment Management

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

• Karen L. Karavanic and Barton P. Miller, "Experiment Management Support for Performance Tuning", Supercomputing 97 (SC97) (San Jose, California, November 1997). [ PDF | PS ]

Steering

• Krishna Kunchithapadam and Barton P. Miller, "Integrating a Debugger and a Performance Tool for Steering", 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 ]

• 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 ]

Mobile Computing

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

• Victor C. Zandy and Barton P. Miller, "Reliable Network Connections", ACM MobiCom (Atlanta, September 2002). [ 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 ]

Dissertations

• Michael J. Brim, "Control and Inspection of Distributed Process Groups at Extreme Scale via Group File Semantics", (Ph.D. diss., University of Wisconsin-Madison, 2012). [ PDF ]

• Kevin A. Roundy, "Hybrid Analysis and Control of Malicious Code", (Ph.D. diss., University of Wisconsin-Madison, 2012). [ PDF ]

• Andrew Bernat, "Abstract, Safe, Timely, and Efficient Binary Modification", (Ph.D. diss., University of Wisconsin-Madison, 2012). [ PDF ]

• Nathan Rosenblum, "The Provenance Hierarchy of Computer Programs", (Ph.D. diss., University of Wisconsin-Madison, 2011). [ PDF ]

• Dorian C. Arnold, "Reliable, Scalable Tree-based Overlay Networks", (Ph.D. diss., University of Wisconsin-Madison, 2008). [ PDF ]

• Alexander V. Mirgorodskiy, "Automated Problem Diagnosis in Distributed Systems", (Ph.D. diss., University of Wisconsin-Madison, 2006). [ PDF | PS ]

• Philip C. Roth, "Scalable On-line Automated Performance Diagnosis", (Ph.D. diss., University of Wisconsin-Madison, 2005). [ PDF | PS ]

• Victor Zandy, "Application Mobility", (Ph.D. diss., University of Wisconsin-Madison, 2004). [ PDF | PS ]

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

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

• Karen Karavanic "Experiment Management Support for Parallel Performance Tuning", (Ph.D. diss., University of Wisconsin-Madison, December 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 ]

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

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

 

Publications by year

Publications by category

Posters

[ Contact Info | Site Index ]