Barton P. Miller

ORCID

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 25

Top Venues

CoRR

IEEE Secur. Priv.

IEEE Trans. Software Eng.

Publications

Sazzadur Rahaman, Miles Frantz, Barton P. Miller, Danfeng (Daphne) Yao
SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions. ACNS Workshops (2023)
Sharmin Afrose, Ya Xiao, Sazzadur Rahaman, Barton P. Miller, Danfeng Yao
Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks. IEEE Trans. Software Eng. 49 (2) (2023)
Barton P. Miller, Mengxiao Zhang, Elisa R. Heymann
The Relevance of Classic Fuzz Testing: Have We Solved This One? IEEE Trans. Software Eng. 48 (6) (2022)
Danfeng Daphne Yao, Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Miles Frantz, Ke Tian, Na Meng, Cristina Cifuentes, Yang Zhao, Nicholas Allen, Nathan Keynes, Barton P. Miller, Elisa Heymann, Murat Kantarcioglu, Fahad Shaon
Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. IEEE Secur. Priv. 20 (6) (2022)
Elisa R. Heymann, Barton P. Miller
Software Security for the People: Free and Open Resources for Software Security Training. IEEE Secur. Priv. 20 (2) (2022)
Michael Gerndt, Masaaki Kondo, Barton P. Miller, Tapasya Patki
Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441). Dagstuhl Reports 11 (10) (2021)
Xiaozhu Meng, Jonathon M. Anderson, John M. Mellor-Crummey, Mark W. Krentel, Barton P. Miller, Srdan Milakovic
Parallel binary code analysis. PPoPP (2021)
Sharmin Afrose, Ya Xiao, Sazzadur Rahaman, Barton P. Miller, Danfeng Yao
Evaluation of Static Vulnerability Detection Tools with Java Cryptographic API Benchmarks. CoRR (2021)
Benjamin Welton, Barton P. Miller
Identifying and (automatically) remedying performance problems in CPU/GPU applications. ICS (2020)
Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Ke Tian, Miles Frantz, Na Meng, Barton P. Miller, Fahad Shaon, Murat Kantarcioglu, Danfeng (Daphne) Yao
Deployment-quality and Accessible Solutions for Cryptography Code Development. CODASPY (2020)
Joseph O. Eichenhofer, Elisa Heymann, Barton P. Miller, Arnold Kang
An In-Depth Security Assessment of Maritime Container Terminal Software Systems. IEEE Access 8 (2020)
Xiaozhu Meng, Jonathon M. Anderson, John M. Mellor-Crummey, Mark W. Krentel, Barton P. Miller, Srdan Milakovic
Parallelizing Binary Code Analysis. CoRR (2020)
Joseph O. Eichenhofer, Elisa Heymann, Barton P. Miller, Arnold Kang
An In-Depth Security Assessment of Maritime Container Terminal Software Systems. CoRR (2020)
Barton P. Miller, Mengxiao Zhang, Elisa R. Heymann
The Relevance of Classic Fuzz Testing: Have We Solved This One? CoRR (2020)
Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Ke Tian, Miles Frantz, Na Meng, Barton P. Miller, Fahad Shaon, Murat Kantarcioglu, Danfeng (Daphne) Yao
Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development. CCS (2019)
Andrew Adams, Kay Avila, Jim Basney, Dana Brunson, Robert Cowles, Jeannette Dopheide, Terry Fleury, Elisa Heymann, Florence Hudson, Craig Jackson, Ryan Kiser, Mark Krenz, Jim Marsteller, Barton P. Miller, Sean Peisert, Scott Russell, Susan Sons, Von Welch, John Zage
Trusted CI Experiences in Cybersecurity and Service to Open Science. PEARC (2019)
Benjamin Welton, Barton P. Miller
Diogenes: looking for an honest CPU/GPU performance measurement tool. SC (2019)
Andrew Adams, Kay Avila, Jim Basney, Dana Brunson, Robert Cowles, Jeannette Dopheide, Terry Fleury, Elisa Heymann, Florence Hudson, Craig Jackson, Ryan Kiser, Mark Krenz, Jim Marsteller, Barton P. Miller, Sean Peisert, Scott Russell, Susan Sons, Von Welch, John Zage
Trusted CI Experiences in Cybersecurity and Service to Open Science. CoRR (2019)
Xiaozhu Meng, Barton P. Miller, Somesh Jha
Adversarial Binaries for Authorship Identification. CoRR (2018)
Benjamin Welton, Barton P. Miller
Exposing Hidden Performance Opportunities in High Performance GPU Applications. CCGrid (2018)
Nathan Jay, Barton P. Miller
Structured random differential testing of instruction decoders. SANER (2018)
Elisa Heymann, Barton P. Miller
Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP. SecDev (2018)
Xiaozhu Meng, Barton P. Miller, Kwang-Sung Jun
Identifying Multiple Authors in a Binary Program. ESORICS (2) (2017)
James A. Kupsch, Elisa Heymann, Barton P. Miller, Vamshi Basupalli
Bad and good news about using software assurance tools. Softw. Pract. Exp. 47 (1) (2017)
Xiaozhu Meng, Barton P. Miller
Binary code is not easy. ISSTA (2016)
Barton P. Miller, Yoshio Tanaka, Elisa Heymann
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3). NII Shonan Meet. Rep. 2014 (2014)
Benjamin Welton, Barton P. Miller
The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm. ScalA@SC (2014)
Emily R. Jacobson, Andrew R. Bernat, William R. Williams, Barton P. Miller
Detecting Code Reuse Attacks with a Model of Conformant Program Execution. ESSoS (2014)
Joshua D. Goehner, Dorian C. Arnold, Dong H. Ahn, Gregory L. Lee, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz
LIBI: A framework for bootstrapping extreme scale software systems. Parallel Comput. 39 (3) (2013)
Xiaozhu Meng, Barton P. Miller, William R. Williams, Andrew R. Bernat
Mining Software Repositories for Accurate Authorship. ICSM (2013)
Benjamin Welton, Evan Samanas, Barton P. Miller
Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes. SC (2013)
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. IPDPS (2013)
Kevin A. Roundy, Barton P. Miller
Binary-code obfuscations in prevalent packer tools. ACM Comput. Surv. 46 (1) (2013)
Jairo Serrano, Eduardo César, Elisa Heymann, Barton P. Miller
Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware. ISPEC (2013)
Andrew R. Bernat, Barton P. Miller
Structured Binary Editing with a CFG Transformation Algebra. WCRE (2012)
Barton P. Miller, Yoshio Tanaka, Elisa Heymann
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8). NII Shonan Meet. Rep. 2012 (2012)
Wenbin Fang, Barton P. Miller, James A. Kupsch
Automated tracing and visualization of software security structure and properties. VizSEC (2012)
Jairo Serrano, Elisa Heymann, Eduardo César, Barton P. Miller
Computer Sciences Department. Comput. Informatics 31 (1) (2012)
Emily R. Jacobson, Nathan E. Rosenblum, Barton P. Miller
Labeling library functions in stripped binaries. PASTE (2011)
Andrew R. Bernat, Barton P. Miller
Anywhere, any-time binary instrumentation. PASTE (2011)
Andrew R. Bernat, Kevin A. Roundy, Barton P. Miller
Efficient, sensitivity resistant binary instrumentation. ISSTA (2011)
Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller
Who Wrote This Code? Identifying the Authors of Program Binaries. ESORICS (2011)
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu
Recovering the toolchain provenance of binary code. ISSTA (2011)
Kevin A. Roundy, Barton P. Miller
Hybrid Analysis and Control of Malware. RAID (2010)
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu
Extracting compiler provenance from program binaries. PASTE (2010)
Emily R. Jacobson, Michael J. Brim, Barton P. Miller
A Lightweight Library for Building Scalable Tools. PARA (2) (2010)
Dorian C. Arnold, Barton P. Miller
Scalable failure recovery for high-performance data aggregation. IPDPS (2010)
James A. Kupsch, Barton P. Miller, Elisa Heymann, Eduardo César
First principles vulnerability assessment. CCSW (2010)
Jesús Labarta, Barton P. Miller, Bernd Mohr, Martin Schulz
10181 Executive Summary - Program Development for Extreme-Scale Computing. Program Development for Extreme-Scale Computing (2010)
Jesús Labarta, Barton P. Miller, Bernd Mohr, Martin Schulz
10181 Abstracts Collection - Program Development for Extreme-Scale Computing. Program Development for Extreme-Scale Computing (2010)
Aroon Nataraj, Allen D. Malony, Alan Morris, Dorian C. Arnold, Barton P. Miller
A framework for scalable, parallel performance monitoring. Concurr. Comput. Pract. Exp. 22 (6) (2010)
Michael Gerndt, Barton P. Miller
Special Issue: Scalable Tools for High-end Computing. Concurr. Comput. Pract. Exp. 22 (6) (2010)
Michael J. Brim, Barton P. Miller
Group file operations for scalable tools and middleware. HiPC (2009)
Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz
Scalable temporal order analysis for large scale debugging. SC (2009)
Nathan E. Rosenblum, Gregory Cooksey, Barton P. Miller
Virtual machine-provided context sensitive page mappings. VEE (2008)
Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz, Ben Liblit
Lessons learned at 208K: towards debugging millions of cores. SC (2008)
James A. Kupsch, Barton P. Miller
How to Open a File and Not Get Hacked. ARES (2008)
Aroon Nataraj, Allen D. Malony, Allen Morris, Dorian C. Arnold, Barton P. Miller
In search of sweet-spots in parallel performance monitoring. CLUSTER (2008)
Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz
Overcoming Scalability Challenges for Tool Daemon Launching. ICPP (2008)
Alexander V. Mirgorodskiy, Barton P. Miller
Diagnosing Distributed Systems with Self-propelled Instrumentation. Middleware (2008)
Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller, Karen Hunt
Learning to Analyze Binary Computer Code. AAAI (2008)
Adolfy Hoisie, Barton P. Miller, Bernd Mohr
07341 Executive Summary - Code Instrumentation and Modeling for Parallel Performance Analysis. Code Instrumentation and Modeling for Parallel Performance Analysis (2007)
Andrew R. Bernat, Barton P. Miller
Incremental call-path profiling. Concurr. Comput. Pract. Exp. 19 (11) (2007)
Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Barton P. Miller, Martin Schulz
Benchmarking the Stack Trace Analysis Tool for BlueGene/L. PARCO (2007)
Adolfy Hoisie, Barton P. Miller, Bernd Mohr
07341 Abstracts Collection - Code Instrumentation and Modeling for Parallel Performance Analysis. Code Instrumentation and Modeling for Parallel Performance Analysis (2007)
Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz
Stack Trace Analysis for Large Scale Debugging. IPDPS (2007)
Lisa A. Torrey, Joyce Coleman, Barton P. Miller
A comparison of interactivity in the Linux 2.6 scheduler and an MLFQ scheduler. Softw. Pract. Exp. 37 (4) (2007)
Swetha Krishnan, Giridhar Ravipati, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Barton P. Miller
The effects of metadata corruption on nfs. StorageSS (2007)
Barton P. Miller, Gregory Cooksey, Fredrick Moore
An empirical study of the robustness of MacOS applications using random testing. ACM SIGOPS Oper. Syst. Rev. 41 (1) (2007)
Alexander V. Mirgorodskiy, Naoya Maruyama, Barton P. Miller
Scalable systems software - Problem diagnosis in large-scale computing environments. SC (2006)
Dorian C. Arnold, G. D. Pack, Barton P. Miller
Tree-based overlay networks for scalable applications. IPDPS (2006)
Barton P. Miller, Gregory Cooksey, Fredrick Moore
An empirical study of the robustness of MacOS applications using random testing. Random Testing (2006)
Sean McIlwain, Barton P. Miller
A tool for converting Linux device drivers into Solaris compatible binaries. Softw. Pract. Exp. 36 (7) (2006)
Jonathon T. Giffin, Somesh Jha, Barton P. Miller
Automated Discovery of Mimicry Attacks. RAID (2006)
Philip C. Roth, Barton P. Miller
On-line automated performance diagnosis on thousands of processes. PPOPP (2006)
Shai Rubin, Somesh Jha, Barton P. Miller
On the Completeness of Attack Mutation Algorithms. CSFW (2006)
Shai Rubin, Somesh Jha, Barton P. Miller
Protomatching network traffic for high throughputnetwork intrusion detection. CCS (2006)
Laune C. Harris, Barton P. Miller
Practical analysis of stripped binary code. SIGARCH Comput. Archit. News 33 (5) (2005)
Eli D. Collins, Barton P. Miller
A Loop-Aware Search Strategy for Automated Performance Analysis. HPCC (2005)
Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller
Environment-Sensitive Intrusion Detection. RAID (2005)
Michael Gerndt, Allen D. Malony, Barton P. Miller, Wolfgang E. Nagel
05501 Abstracts Collection - Automatic Performance Analysis. Automatic Performance Analysis (2005)
Michael Gerndt, Allen D. Malony, Barton P. Miller, Wolfgang E. Nagel
05501 Summary - Automatic Performance Analysis. Automatic Performance Analysis (2005)
Shai Rubin, Somesh Jha, Barton P. Miller
Language-Based Generation and Evaluation of NIDS Signatures. IEEE Symposium on Security and Privacy (2005)
Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller
Formalizing Sensitivity in Static Analysis for Intrusion Detection. IEEE Symposium on Security and Privacy (2004)
Philip C. Roth, Dorian C. Arnold, Barton P. Miller
Benchmarking the MRNet Distributed Tool Infrastructure: Lessons Learned. IPDPS (2004)
Shai Rubin, Somesh Jha, Barton P. Miller
Automatic Generation and Analysis of NIDS Attacks. ACSAC (2004)
Jonathon T. Giffin, Somesh Jha, Barton P. Miller
Efficient Context-Sensitive Intrusion Detection. NDSS (2004)
Victor C. Zandy, Barton P. Miller
Checkpoints of GUI-based Applications. USENIX Annual Technical Conference, General Track (2003)
Alexander V. Mirgorodskiy, Barton P. Miller
CrossWalk: A Tool for Performance Profiling Across the User-Kernel Boundary. PARCO (2003)
Barton P. Miller, Ana Cortés, Miquel A. Senar, Miron Livny
The Tool Dæmon Protocol (TDP). SC (2003)
Philip C. Roth, Barton P. Miller
Deep Start: a hybrid strategy for automated performance problem searches. Concurr. Comput. Pract. Exp. 15 (11-12) (2003)
Philip C. Roth, Dorian C. Arnold, Barton P. Miller
MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools. SC (2003)
Barton P. Miller, Jesús Labarta, Florian Schintke, Jens Simon
Performance Evaluation, Analysis and Optimization. Euro-Par (2002)
Philip C. Roth, Barton P. Miller
Deep Start: A Hybrid Strategy for Automated Performance Problem Searches. Euro-Par (2002)
Victor C. Zandy, Barton P. Miller
Reliable network connections. MobiCom (2002)
Jonathon T. Giffin, Somesh Jha, Barton P. Miller
Detecting Manipulated Remote Call Streams. USENIX Security Symposium (2002)
Barton P. Miller
A Security Attack and Defense in the Grid Environment. PVM/MPI (2002)
Harold W. Cain, Barton P. Miller, Brian J. N. Wylie
A callgraph-based search strategy for automated performance diagnosis. Concurr. Comput. Pract. Exp. 14 (3) (2002)
Zhichen Xu, Thomas W. Reps, Barton P. Miller
Typestate Checking of Machine Code. ESOP (2001)
Karen L. Karavanic, Barton P. Miller
A Framework for Multi-Execution Performance Tuning. Scalable Comput. Pract. Exp. 4 (3) (2001)

Barton P. Miller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barton P. Miller