2000 – 2004: University of California, Berkeley. PhD in Computer Science. GPA 4.00.

1997 – 2000: University of California, Berkeley. MS in Computer Science; minor in Cognitive Science. GPA 4.00.

1989 – 1993: The Pennsylvania State University, Schreyer Honors College (formerly University Scholars Program). BS in Computer Science with university honors and departmental high distinction. GPA 3.96 in major, 3.87 overall.

As Professor at University of Wisconsin–Madison

Fall 2012: CS706: Analysis of Software Artifacts, 25 students enrolled for credit, no teaching assistant, rated 4.5 / 5.00 with 24 students responding.

Spring 2012: CS638: Software Engineering, 26 students enrolled for credit, one 37.5% teaching assistant, rated 4.88 / 5.00 with 17 students responding.

Fall 2011: CS706: Analysis of Software Artifacts, 22 students enrolled for credit, no teaching assistant, rated 4.90 / 5.00 with 21 students responding.

Spring 2011: CS367: Introduction to Data Structures [Honors], 10 students enrolled for credit, no teaching assistant, rated 4.78 / 5.00 with 9 students responding.

Fall 2010: CS706: Analysis of Software Artifacts, 22 students enrolled for credit, no teaching assistant, rated 4.90 / 5.00 with 20 students responding.

Spring 2010: CS367: Introduction to Data Structures [Honors], 14 students enrolled for credit, no teaching assistant, rated 4.92 / 5.00 with 13 students responding.

Fall 2009: CS706: Analysis of Software Artifacts, 14 students enrolled for credit, one 15.5% teaching assistant, rated 4.85 / 5.00 with 13 students responding.

Spring 2009: CS367: Introduction to Data Structures [Honors], 18 students enrolled for credit, no teaching assistant, rated 4.88 / 5.00 with 17 students responding.

Fall 2008: CS706: Analysis of Software Artifacts, 16 students enrolled for credit, one 25% teaching assistant, rated 4.75 / 5.00 with 16 students responding.

Spring 2008: CS367: Introduction to Data Structures [Honors], 25 students enrolled for credit, 1 auditing, no teaching assistant, rated 4.68 / 5.00 with 22 students responding.

Fall 2007: CS706: Analysis of Software Artifacts, 13 students enrolled for credit, one 25% teaching assistant, rated 4.31 / 5.00 with 13 students responding.

Spring 2007: CS367: Introduction to Data Structures [Honors], 18 students enrolled for credit, one 50% teaching assistant, rated 4.42 / 5.00 with 12 students responding.

Fall 2006: CS706: Analysis of Software Artifacts, 11 students enrolled for credit, one 50% teaching assistant, rated 4.22 / 5.00 with 9 students responding.

Fall 2005: CS706: Analysis of Software Artifacts, 10 students enrolled for credit, 2 auditing, one teaching assistant, rated 4.00 / 5.00 with 11 students responding.

Spring 2005: CS703: Graduate Seminar on Software Quality: Tools and Techniques for Verification, Testing, and Debugging, 5 students enrolled for credit, 1 auditing, several attending informally, no teaching assistant, rated 5.00 / 5.00 with 8 students responding.

As Teaching Assistant at University of California, Berkeley

Fall 2000: CS164: Programming Languages and Compilers, 161 students enrolled for credit, three teaching assistants and two graders, rated 4.8 / 5.00 with 24 students responding; additional rating details at https://hkn.eecs.berkeley.edu/coursesurveys/course/CS/164/2000_Fall?instructor=Liblit,Ben.

January 2005 – present: associate professor, Computer Sciences Department, University of Wisconsin–Madison.

August 2007: consultant, Microsoft Research, Microsoft Corporation.

March 2005: consultant, GrammaTech Inc.

August 1997 – December 2004: graduate student researcher, University of California, Berkeley.

• Open Source Quality Project, 2001 – 2004.

• Center for Hybrid and Embedded Software Systems, 2002 – 2004.

• Titanium Project (Java dialect for distributed scientific supercomputing), 1997 – 2001.

May 2000 – August 2000: intern, Microsoft Research, Microsoft Corporation. Member of the Software Productivity Tools research group, Programmer Productivity Research Center.

1992 – 1993: undergraduate researcher, The Pennsylvania State University. Member of the Siva project (Prolog optimization techniques).

1996 – 1997: software engineer, Light Source Computer Images (acquired in 1997 by X-Rite). Chief engineer and technical lead of IRIX SpectroCalibrator monitor calibration system.

1993 – 1996: software engineer, Z-Code Software Corporation (acquired in 1994 by Network Computing Devices). Chief engineer of MediaMail multimedia electronic mail software, 1994 – 1996.

1992: intern, IBM Corporation. Microcode developer / programmer for high performance tape drive systems.

Preliminary Examination and Dissertation Defense Committees

August 2012: chair of dissertation defense committee for Cindy Rubio González

August 2012: chair of dissertation defense committee for Piramanayagam Arumuga Nainar

July 2012: member of dissertation defense committee for Derek Hower

May 2012: member of dissertation defense committee for Michael Brim

December 2011: member of preliminary examination committee for Guoliang Jin

November 2011: member of preliminary examination committee for Matt Elder

July 2011: member of dissertation defense committee for Swaminathan Sundararaman

November 2010: member of dissertation defense committee for Dan Gibson

September 2010: member of preliminary examination committee for Derek Hower

April 2010: chair of dissertation defense committee for Anne Mulhern

January 2010: member of preliminary examination committee for Matt Renzelmann

September 2009: chair of preliminary examination committee for Cindy Rubio González

September 2009: member of dissertation defense committee for Haryadi Gunawi

August 2009: member of dissertation defense committee for Nick Kidd

July 2009: member of dissertation defense committee for Akash Lal

July 2009: chair of preliminary examination committee for Piramanayagam Arumuga Nainar

May 2009: member of preliminary examination committee for Dan Gibson

December 2008: member of preliminary examination committee for Junghee Lim

December 2008: member of dissertation defense committee for Will Benton

December 2008: member of dissertation defense committee for Dorian Arnold

August 2008: member of dissertation defense committee for Lakshmi Bairavasundaram

August 2007: member of dissertation defense committee for Gogul Balakrishnan

July 2007: member of dissertation defense committee for Rachel Heck

July 2007: member of dissertation defense committee for Denis Gopan

July 2007: member of dissertation defense committee for Mihai Christodorescu

June 2007: member of preliminary examination committee for Akash Lal

May 2007: member of preliminary examination committee for Nick Kidd

May 2007: member of preliminary examination committee for Haryadi S. Gunawi

April 2007: member of preliminary examination committee for Randy Smith

February 2007: member of preliminary examination committee for Lakshmi N. Bairavasundaram

December 2006: member of dissertation defense committee for Hao Wang

October 2006: member of dissertation defense committee for Alex Mirgorodskiy

September 2006: member of preliminary examination committee for Matt Allen

August 2006: member of dissertation defense committee for Alexey Loginov

October 2005: member of preliminary examination committee for Mihai Christodorescu

August 2005: member of preliminary examination committee for Gogul Balakrishnan

May 2005: member of preliminary examination committee for Anne Mulhern

Other Internal Committees and Service

August 2012 – present: chair of Graduate Advising Committee

December 2011 – April 2012: member of third-year review committee for Assistant Professor Chris Ré

October 2011 – present: faculty sponsor of student chapter of the Student Association for Computing Machinery (SACM)

August 2011 – August 2012: departmental delegate to University of Wisconsin--Madison Faculty Senate

August 2011 – August 2012: departmental delegate to College of Letters and Sciences Faculty Senate

August 2011 – August 2012: designated departmental editor for Graduate School Catalog

August 2011 – August 2012: member of graduate advising committee

August 2010 – August 2011: member of graduate advising committee

January 2010 – March 2010: chair of programming languages and compilers area qualifying exam committee

October 2009: chair of J. Barkley Rosser Memorial Lecture

August 2009 – May 2010: colloquium chair for Distinguished Lecture Series in Programming Languages and Software Engineering

March 2009: faculty chaperon for SACM prospective graduate student welcome party

March 2008: faculty chaperon for SACM prospective graduate student welcome party

August 2007 – May 2008: member of graduate admissions committee

August 2007 – September 2007: chair of programming languages and compilers area qualifying exam committee

March 2007: faculty chaperon for SACM prospective graduate student welcome party

May 2006 – August 2006: member of ad-hoc non-executive subcommittee on graduate admissions reform

March 2006: faculty chaperon for SACM prospective graduate student welcome party

January 2006 – May 2006: member of departmental selection committee for summer research assistantships, graduate student fellowships, Carolyn Rosner Educator award, graduate student instructor award, and departmental service award

April 2005: faculty chaperon for SACM prospective graduate student welcome party

August 2003 – May 2004: member of graduate admissions committee; coordinator (with one other faculty member) of prospective graduate student visit day

August 2001 – May 2002: member of graduate admissions committee, Computer Science Division, University of California, Berkeley

February 2013 – March 2013: Member of PASTE 2013 Program Committee

November 2012 – January 2013: Member of PLDI 2013 External Review Committee

October 2012 – present: Member of Advisory Committee of Madisonium, a local non-profit devoted to improving the overall Madison technology ecosystem with an emphasis on the local web industry

November 2011: Served on NSF Software and Hardware Foundations (SHF) Faculty Early Career Development (CAREER) Program grant review panel

November 2011 – January 2012: Member of PLDI 2012 Program Committee

April 2011 – June 2011: Member of OOPSLA 2011 Program Committee

Chair of PLDI 2010 Student Research Competition

Member of PLDI 2010 Organizing Committee

Member of PLDI 2010 External Review Committee

Member of selection committee for ACM SIGPLAN 2008 Dissertation Award, January – May 2009

April 2009: Served on NSF Computing and Communication Foundations (CCF) grant review panel

Co-chair of program committee for WODA 2009: The Seventh International Workshop on Dynamic Analysis

Co-chair of DEFECTS 2009: The Second International Workshop on Defects in Large Software Systems

Member of program committee for MSR 2009: The 6th Working Conference on Mining Software Repositories

Invited but declined to serve on program committee for PLDI 2009: The ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation

Member of selection/judging committee for PLDI 2008 Student Research Competition

Co-chair of program committee for WODA 2008: The Sixth International Workshop on Dynamic Analysis

Member of program committee for PASTE 2007: The 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Member of program committee for WODA 2007: The 5th International Workshop on Dynamic Analysis

April 2006: Served on NSF Science of Design (SoD) grant review panel

External reviewer for POPL 2011, PACT 2011, PLDI 2010, PACT 2008, NIPS 2007, TISSEC (in 2007), SIGSOFT 2006 / FSE 14, PLDI 2006, ICSE 2008, ICSE 2006, ASPLOS XI (2004), PLDI 2003, Java Grande 2000, POPL 1999, POPL 1998, IPPS 1998

Reviewer for TSE in 2010 and 2006, TOPLAS in 2008, and JCS in 2006

Member of SIGPLAN since 2000. Member of ACM since 1992

February 2013: Invited participant in Dagstuhl seminar on Fault Prediction, Localization, and Repair

February 2011: Invited participant in Dagstuhl seminar on Self-Repairing Programs

December 2007: Invited participant in Dagstuhl seminar on Mining Programs and Processes

June 2005 – July 2005: Invited participant in Dagstuhl seminar on Multi-Version Program Analysis

May 2005: Participated in the Wisconsin Idea Seminar

January 2005: Participated in round-table dinners hosted by Delta Program in Research, Teaching, and Learning

2011: “Automated Atomicity-Violation Fixing” (PLDI 2011 paper) nominated as Communications of the ACM research highlights paper by SIGPLAN. Outcome of nomination is not yet known

2011: Honored Instructor, Division of University Housing, “in recognition of your invaluable positive impact on undergraduate education.”

2010: Awarded to undergraduate advisee Alex Diedrich: DeWitt Undergraduate CS Scholarship

2010: NSF CAREER Award

2006: ETAPS 2006 best paper award nominee

2006: Young Investigator Program awardee, Air Force Office of Scientific Research

2006: University of Wisconsin–Madison nominee for Sloan Research Fellowship

2006: University of Wisconsin–Madison nominee for Packard Fellowship for Science and Engineering

2005: ACM Doctoral Dissertation Award

1998 – 2001: National Defense Science and Engineering Graduate Fellowship

2000: Recognized for excellent service as a graduate student instructor, Department of Electrical Engineering and Computer Science, University of California, Berkeley

1999: Regents Fellowship, University of California, Berkeley

1989 – 1993: Braddock Scholar (College of Science), The Pennsylvania State University

1989 – 1993: University Scholar, The Pennsylvania State University

1992: Phi Kappa Phi Honor Society

1992: Phi Beta Kappa Honor Society

August 2012 – July 2015: Shan Lu and Ben Liblit, “A Framework for Self-Healing Multi-Threaded Software.” National Science Foundation, $499,999

July 2012 – June 2013: Ben Liblit, “Improved Reliability in Polyglot Programs through Automation.” Graduate School of the University of Wisconsin–Madison, $35,729

January 2011: Ben Liblit, unrestricted gift from Mozilla Corporation, $56,000

July 2010 – June 2011: Ben Liblit, “Advanced Methods for Post-Deployment Debugging.” Graduate School of the University of Wisconsin–Madison, $33,735 Backup funds awarded but not activated

March 2010 – March 2014: Ben Liblit, “Advanced Methods for Post-Deployment Debugging.” National Science Foundation, CAREER program, $499,990

August 2009 – July 2011: Ben Liblit, “Lightweight and Statistical Techniques for Petascale Debugging.” Department of Energy, $240,000

January 2009 – December 2011: Ben Liblit, “Statistical Debugging Techniques for Petascale Environments.” Lawrence Livermore National Laboratory, $174,593

July 2008 – June 2009: Ben Liblit, “Integrated Analysis of Diverse Software Artifacts.” Graduate School of the University of Wisconsin–Madison, $32,266

July 2007 – June 2010: Mark D. Hill, Michael M. Swift, David A. Wood, and Ben Liblit (as investigator), “Deconstructing Transactional Memory: System Support for Robust Concurrent Programming.” National Science Foundation, $919,999

September 2007 – August 2010: Susan Horwitz and Ben Liblit, “Static and Dynamic Techniques for Classifying, Locating, and Fixing Bugs.” National Science Foundation, $600,003

July 2007 – June 2008: Ben Liblit, “Tools and Techniques for Post-Deployment Software Debugging.” Graduate School of the University of Wisconsin–Madison, $31,470 Backup funds awarded but not activated

December 2006 – November 2010: Ben Liblit, “Continuous Improvement of Deployed Software Systems.” Air Force Office of Scientific Research, Young Investigator Program, $383,081

September 2006 – August 2010: Remzi H. Arpaci-Dusseau, Michael M. Swift, Ben Liblit, Andrea C. Arpaci-Dusseau, and Miron Livny, “Formal Failure Analysis for Storage Systems.” National Science Foundation, $951,044

May 2006 – August 2006: Piramanayagam Arumuga Nainar and Ben Liblit, “Adaptive Bug Isolation.” Summer Graduate Research Fellowship, Computer Sciences Department, University of Wisconsin–Madison

July 2006 – June 2007: Ben Liblit, “Cooperative Bug Isolation for Self-Supporting Users.” Graduate School of the University of Wisconsin–Madison, $27,470

May 2005: Ben Liblit, unrestricted gift from Testing, Verification, and Measurement Group, Microsoft Research, $10,000

Abstracts and reprints are available at http://pages.cs.wisc.edu/~liblit/

Papers in Submission

Piramanayagam Arumuga Nainar and Ben Liblit, “Conditional Coverage Estimation for Statistical Debugging.”

Books

Ben Liblit, “Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition.” Lecture Notes in Computer Science, vol. 4440, April 2007.

Peer-Reviewed Journal Papers

Susan Horwitz, Ben Liblit, and Marina Polishchuk, “Better Debugging via Output Tracing and Callstack-Sensitive Slicing.” In IEEE Transactions on Software Engineering (IEEE TSE), volume 36, number 1, January 2010.

Invited Papers

Ben Liblit, “Reflections on the Role of Static Analysis in Cooperative Bug Isolation.” In SAS 2008: Proceedings of the 15th International Symposium on Static Analysis, July 2008. Invited paper.

Peer-Reviewed Conference Papers

Tristan Ravitch and Ben Liblit, “Analyzing Memory Ownership Patterns in C Libraries.” In Proceedings of the Twelfth International Symposium on Memory Management (ISMM 2013).

Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu, “Automated Concurrency-Bug Fixing.” In Tenth USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012). Acceptance rate: 12%.

Zach Miller, Todd Tannenbaum, and Ben Liblit, “Enforcing Murphy’s Law for Advance Identification of Run-time Failures.” In Proceedings of the 2012 USENIX Annual Technical Conference, June 2012. Acceptance rate: 18%.

Joel Sommers, Paul Barford, and Ben Liblit, “A Router Primitive Approach for Building Diverse Network Services.” In Proceedings of the Fourth International Conference on Communication Systems and Networks (COMSNETS 2012), January 2012. Acceptance rate: 27%.

Cindy Rubio González and Ben Liblit, “Defective Error/Pointer Interactions in the Linux Kernel.” In Proceedings of the Twentieth International Symposium on Software Testing and Analysis (ISSTA 2011), July 2011. Acceptance rate: 29%.

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit, “Automated Atomicity-Violation Fixing.” In Proceedings of the ACM SIGPLAN 2011 Conference on Programming Language Design and Implementation (PLDI 2011), June 2011. Acceptance rate: 23%. Also appeared at the Wisconsin Systems Research Retreat (WSRR 1)

Guoliang Jin, Aditya Thakur, Ben Liblit, and Shan Lu, “Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation.” In Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), October 2010. Acceptance rate: 27%.

Piramanayagam Arumuga Nainar and Ben Liblit, “Adaptive Bug Isolation.” In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), May 2010. Acceptance rate: 14%.

Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, and Martin Schulz, “Scalable Temporal Order Analysis for Large Scale Debugging.” In Proceedings of the 2009 International Conference for High Performance Computing, Networking, Storage and Analysis (SC '09), November 2009. Acceptance rate: 23%.

Cindy Rubio González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, and Andrea C. Arpaci-Dusseau, “Error Propagation Analysis for File Systems.” In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009), June 2009. Acceptance rate: 21%.

Tristan Ravitch, Steve Jackson, Eric Aderhold, and Ben Liblit, “Automatic Generation of Library Bindings Using Static Analysis.” In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009), June 2009. Acceptance rate: 21%.

Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, and Kapil Vaswani, “Holmes: Effective Statistical Debugging via Efficient Path Profiling.” In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), May 2009. Acceptance rate: 12%.

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.” In Proceedings of the 2008 International Conference for High Performance Computing, Networking, Storage and Analysis (SC '08), November 2008. Acceptance rate: 21%.

Haryadi S. Gunawi, Cindy Rubio González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit, “EIO: Error Handling is Occasionally Correct.” In Proceedings of the Sixth USENIX Conference Conference on File and Storage Technologies (FAST '08), February 2008. Acceptance rate: 25%.

David Andrzejewski, Anne Mulhern, Ben Liblit, and Xiaojin Zhu, “Statistical Debugging Using Latent Topic Models.” In ECML 2007: Proceedings of the 18th European Conference on Machine Learning, September 2007. Acceptance rate: 9%.

Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, and Ben Liblit, “Statistical Debugging Using Compound Boolean Predicates.” In ISSTA 2007: Proceedings of the International Symposium on Software Testing and Analysis, July 2007. Acceptance rate: 22%.

Marina Polishchuk, Ben Liblit, and Chloë Schulze, “Dynamic Heap Type Inference for Program Understanding and Debugging.” Short paper in POPL ’07: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2007. Acceptance rate: 18%.

Junghee Lim, Thomas Reps, and Ben Liblit, “Extracting Output Formats from Executables.” In WCRE 2006: Proceedings of the 13th Working Conference on Reverse Engineering, October 2006. Acceptance rate: 29%.

Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, and David A. Wood, “Supporting Nested Transactional Memory in LogTM.” In ASPLOS 2006: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 2006. Acceptance rate: 23%.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, and Alex Aiken, “Statistical Debugging: Simultaneous Identification of Multiple Bugs.” In ICML 2006: Proceedings of the 23rd International Conference on Machine Learning, June 2006. Acceptance rate: 26%.

Akash Lal, Junghee Lim, Marina Polishchuk, and Ben Liblit, “Path Optimization in Programs and its Application to Debugging.” In ESOP 2006: Proceedings of the 2006 European Symposium on Programming, March 2006. Acceptance rate: 24%.

Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan, “Scalable Statistical Bug Isolation.” In PLDI ’05: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, pp. 15–26, June 2005. Acceptance rate: 21%.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, and Alex Aiken, “Statistical Debugging of Sampled Programs.” In NIPS ’03: Advances in Neural Information Processing Systems 16, December 2003.

Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan, “Bug Isolation via Remote Program Sampling.” In PLDI ’03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 141–154, June 2003. Reprinted in ACM SIGPLAN Notices, vol. 38(5), pp. 141–154, May 2003

Ben Liblit, Alex Aiken, and Katherine Yelick, “Type Systems for Distributed Data Sharing.” In SAS ’03: The 10th International Static Analysis Symposium, pp. 273–294, June 2003.

Manuvir Das, Ben Liblit, Manuel Fähndrich, and Jakob Rehof, “Estimating the Impact of Scalable Pointer Analysis on Optimization.” In SAS ’01: The 8th International Static Analysis Symposium, pp. 260–278, July 2001. Reprinted in Lecture Notes in Computer Science, vol. 2126, pp. 260–278, 2001

Ben Liblit and Alex Aiken, “Type Systems for Distributed Data Structures.” In POPL ’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 199–213, January 2000.

Arvind Krishnamurthy, Alex Aiken, Phil Colella, David Gay, Susan Graham, Paul Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, and Katherine Yelick, “Titanium: A High-Performance Java Dialect.” In Ninth SIAM Conference on Parallel Processing for Scientific Computing, March 1999.

Peer-Reviewed Workshop Papers

Cindy Rubio González and Ben Liblit, “Finding Error-Handling Bugs in Systems Code Using Static Analysis.” In PhD Forum of the 2011 Grace Hopper Celebration of Women in Computing, November 2011. Acceptance rate: 59%.

Cindy Rubio González and Ben Liblit, “Expect the Unexpected: Error Code Mismatches Between Documentation and the Real World.” In Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2010), June 2010. Acceptance rate: 41%.

Aditya Thakur, Rathijit Sen, Ben Liblit, and Shan Lu, “Cooperative Crug Isolation.” In Proceedings of the Seventh International Workshop on Dynamic Analysis (WODA 2009), July 2009. Acceptance rate: 78%.

Anne Mulhern, Charles Fischer, and Ben Liblit, “Tool Support for Proof Engineering.” In 2006 Workshop on User Interfaces for Theorem Provers, August 2006. Acceptance rate: 83%.

Ben Liblit, Andrew Begel, and Eve Sweetser, “Cognitive Perspectives on the Role of Naming in Computer Programs.” In PPIG ’06: Proceedings of the 18th Annual Psychology of Programming Workshop, September 2006.

Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan, “Public Deployment of Cooperative Bug Isolation.” In RAMSS: Proceedings of the 2nd Workshop on Remote Analysis and Measurement of Software Systems, pp. 57–62, May 2004.

Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan, “Sampling User Executions for Bug Isolation.” In RAMSS: Proceedings of the Workshop on Remote Analysis and Measurement of Software Systems, pp. 5–8, May 2003.

Katherine Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul Hilfinger, Susan Graham, David Gay, Phil Colella, and Alex Aiken, “Titanium: A High-Performance Java Dialect.” In ACM Workshop on Java for High-Performance Network Computing, February 1998. Reprinted in Concurrency: Practice and Experience, vol. 10, pp. 825–836, September 1998

Dissertations

Ben Liblit, “Cooperative Bug Isolation.” Doctoral Dissertation, University of California, Berkeley, December 2004.

Ben Liblit, “Type Systems for Distributed Data Structures.” Master’s thesis, Department of Electrical Engineering and Computer Science, University of California, Berkeley, April 2000.

Ben Liblit, “Transformation of Prolog Programs to Perform Update in Place: A Prototype Code Synthesizer.” Undergraduate honors thesis, The Pennsylvania State University, April 1993.

Technical Reports

Tristan Ravitch, Ben Liblit, and Bronis R. de Supinski, “Statistically Debugging Massively-Parallel Applications.” Technical Report 1786, Department of Computer Sciences, University of Wisconsin–Madison, February 2013.

Zach Miller, Todd Tannenbaum, and Ben Liblit, “Murphy: An Environment for Advance Identification of Run-time Failures.” Technical Report 1770, Department of Computer Sciences, University of Wisconsin–Madison, April 2012.

Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, and Kapil Vaswani, “Holmes: Effective Statistical Debugging via Efficient Path Profiling.” Technical Report MSR-TR-2008-131, Microsoft Research, September 2009.

Matt Elder, Steve Jackson, and Ben Liblit, “Code Sandwiches.” Technical Report 1647, Department of Computer Sciences, University of Wisconsin–Madison, October 2008.

Anne Mulhern and Ben Liblit, “Effective Slicing: A Generalization of Full and Relevant Slicing.” Technical Report 1639, University of Wisconsin–Madison, June 2008.

Matt Elder and Ben Liblit, “Heap Typability is NP-Complete.” Technical Report 1618, University of Wisconsin–Madison, October 2007.

Marina Polishchuk, Ben Liblit, and Chloë Schulze, “WhatsAt: Dynamic Heap Type Inference for Program Understanding and Debugging.” Technical Report 1583, University of Wisconsin–Madison, December 2006.

Ben Liblit, “An Operational Semantics for LogTM.” Version 1.0 Technical Report 1571, University of Wisconsin–Madison, August 2006.

Paul Hilfinger, Dan Bonachea, Kaushik Datta, David Gay, Susan Graham, Ben Liblit, Geoff Pike, Jimmy Zhigang Su, and Katherine Yelick, “Titanium Language Reference Manual, version 2.19.” Technical Report UCB/EECS-2005-15, University of California, Berkeley, November 2005.

Akash Lal, Junghee Lim, Marina Polishchuk, and Ben Liblit, “BTrace: Path Optimization for Debugging.” Technical Report 1535, University of Wisconsin–Madison, October 2005.

Ben Liblit and Alex Aiken, “Building a Better Backtrace: Techniques for Postmortem Program Analysis.” Technical Report UCB//CSD-02-1203, University of California, Berkeley, October 2002.

Ben Liblit, Alex Aiken, and Katherine Yelick, “Data Sharing Analysis for Titanium.” Technical Report UCB//CSD-01-1165, University of California, Berkeley, December 2001.

Paul Hilfinger, Dan Bonachea, David Gay, Susan Graham, Ben Liblit, Geoff Pike, and Katherine Yelick, “Titanium Language Reference Manual.” Technical Report UCB//CSD-01-1163, University of California, Berkeley, November 2001.

Ben Liblit and Alex Aiken, “Type Systems for Distributed Data Structures.” Technical Report UCB//CSD-99-1072, University of California, Berkeley, January 2000.

Position and Other Non-Reviewed Papers

Ben Liblit, “Automated Detection and Repair of Concurrency Bugs.” Abstract from invited talk. In HVC 2011: Proceedings of the 7th International Haifa Verification Conference, December 2011.

Ben Liblit, “Automated Atomicity-Violation Fixing.” In Self-Repairing Programs (Dagstuhl Seminar 11062), June 2011.

Ben Liblit and Atanas Rountev, “WODA 2008: The Sixth International Workshop on Dynamic Analysis.” Workshop overview/summary prepared by workshop chairs. In ISSTA 2008: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, July 2007.

Ben Liblit, “The Open Source Proving Grounds.” Workshop on the Evaluation of Software Defect Detection Tools, June 2005.

Edited Proceedings

Ben Liblit and Andy Podgurski, “Proceedings of the Seventh International Workshop on Dynamic Analysis (WODA 2009).” Co-located with ISSTA 2009, July 2009.

Ben Liblit and Atanas Rountev, “Proceedings of the Sixth International Workshop on Dynamic Analysis (WODA 2008).” Co-located with ISSTA 2008, July 2008.

Ben Liblit, Nachiappan Nagappan, and Thomas Zimmermann, “Proceedings of the International Workshop on Defects in Large Software Systems (DEFECTS 2009).” Co-located with ISSTA 2009, July 2008.

February 2013: “Automated Concurrency-Bug Fixing.” 2013 Dagstuhl Seminar on Fault Prediction, Localization, and Repair.

June 2012: “Automated Atomicity-Violation Fixing.” 4th International Workshop on Practical Synthesis (PSY 2012). Invited talk.

June 2012: “Automated Atomicity-Violation Fixing.” 21st International Workshop on Logic & Synthesis (IWLS 2012). Invited talk.

December 2011: “Automated Detection and Repair of Concurrency Bugs.” Haifa Verification Conference (HVC 2011). Invited talk.

December 2011: “Automated Detection and Repair of Concurrency Bugs.” Tel Aviv University. Invited talk.

July 2011: “Automated Detection and Repair of Concurrency Bugs.” Ninth International Workshop on Dynamic Analysis (WODA 2011). Invited talk.

February 2011: “Automated Atomicity-Violation Fixing.” 2011 Dagstuhl Seminar on Self-Repairing Programs.

July 2010: “Large Scale Debugging.” Microsoft Research Faculty Summit. Invited talk.

July 2010: “Automatic Generation of Library Bindings Using Static Analysis.” Microsoft Research.

July 2010: “Cooperative Debugging With One Million of Your Closest Friends.” Google Distinguished Lecture Series. Invited talk.

January 2009: “Three Views of Cooperative Bug Isolation.” Epic Systems Corporation. Invited talk.

July 2008: “Cooperative Debugging With Five Hundred Million Test Cases.” International Symposium on Software Testing and Analysis (ISSTA 2008). Invited keynote address.

July 2008: “Reflections on the Role of Static Analysis in Cooperative Bug Isolation.” The 15th International Static Analysis Symposium (SAS 2008). Invited talk.

July 2008: “Dynamic Heap Type Inference for Program Understanding and Debugging.” Universität Zürich. Invited talk.

March 2008: “Cooperative Bug Isolation.” TomoTherapy, Inc.. Invited talk.

December 2007: “Mining for Bugs After All Your Canaries Are Dead.” 2007 Dagstuhl Seminar on Mining Programs and Processes.

September 2007: “Cooperative Bug Isolation.” Board of Visitors, Computer Sciences Department, University of Wisconsin–Madison.

August 2007: “Dynamic Heap Type Inference for Program Understanding and Debugging.” University of Washington.

July 2007: “Statistical Debugging.” Summer School on Language-Based Techniques for Integrating with the External World. Invited lecture series.

April 2007: “Dynamic Heap Type Inference for Program Understanding and Debugging.” CSE Colloquium, The Pennsylvania State University.

November 2006: “Three Views of Cooperative Bug Isolation.” IBM T. J. Watson Research Center. Invited talk.

October 2006: “Informal talk on careers in software engineering.” “Meet a Computer Scientist” dinner, Wisconsin Emerging Scholars – Computer Science.

October 2006: “Ganging Up on Software Bugs.” Chaos and Complex Systems Seminar, University of Wisconsin–Madison. Invited talk.

April 2006: “Three Views of Cooperative Bug Isolation.” University of Maryland, College Park. Invited talk.

December 2005: “Informal talk on careers in software engineering.” “Meet a Computer Scientist” dinner, Wisconsin Emerging Scholars – Computer Science.

July 2005: “Cooperative Bug Isolation.” Universität des Saarlandes, FR Informatik (Saarland University, Department of Informatics). Invited talk.

June 2005: “Multi-Version Challenges in Post-Deployment Debugging.” 2005 Dagstuhl Seminar on Multi-Version Program Analysis.

June 2005: “Scalable Statistical Bug Isolation.” ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI 2005).

June 2005: “The Open Source Proving Grounds.” 2005 Workshop on the Evaluation of Software Defect Detection Tools.

August 2004: “Post-Deployment Testing and the Cooperative Bug Isolation Project.” UW/MSR Summer Institute on Software Testing. Invited talk.

May 2004: “Public Deployment of Cooperative Bug Isolation.” The 2nd Workshop on Remote Analysis and Measurement of Software Systems (RAMSS 2004).

March 2004: “Cooperative Bug Isolation.” Hewlett-Packard. Invited talk.

January 2004: “The Cooperative Bug Isolation Project.” BEA Systems, Inc.. Invited talk.

June 2003: “Bug Isolation via Remote Program Sampling.” ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003).

June 2003: “Type Systems for Distributed Data Sharing.” 10th International Static Analysis Symposium (SAS 2003).

May 2003: “Sampling User Executions for Bug Isolation.” The Workshop on Remote Analysis and Measurement of Software Systems (RAMSS 2003).

March 2000: “Type Systems for Distributed Data Structures.” IBM T. J. Watson Research Center in Hawthorne and Yorktown. Invited talks.

January 2000: “Type Systems for Distributed Data Structures.” The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000).

Trishul Chilimbi, Krishna Mehra, Ben Liblit, Aditya Nori, and Kapil Vaswani, “Statistical Debugging Using Paths and Adaptive Profiling.” United States Patent #8,065,565, November 2011.

Murphy: https://github.com/liblit/Murphy

Holmes: Automated Statistical Debugging for .NET: http://research.microsoft.com/en-us/projects/holmes/

Cooperative Bug Isolation Project: http://research.cs.wisc.edu/cbi/

Titanium Project: http://titanium.cs.berkeley.edu/

Generalized One Level Flow (golf): http://www.microsoft.com/windows/cse/pa_projects.mspx