Welcome!I'm a postdoctoral researcher and lecturer at ETH Zürich in the group of Thomas Gross. My Ph.D. thesis explores program analyses for automatically and precisely finding errors. I have studied computer science at Dresden University of Technology and engineering at ECP in Paris. For writing my diploma thesis I visited the group of Martin Odersky at EPFL in Lausanne. News
|
| ICSE 2013 | Automatic Testing of Sequential and Concurrent Substitutability Michael Pradel and Thomas R. Gross [pdf] [bibtex] [material] |
| ISSTA 2012 | Static Detection of Brittle Parameter Typing Michael Pradel, Severin Heiniger, and Thomas R. Gross [pdf] [bibtex] [implementation and material] |
| PLDI 2012 | Fully Automatic and Precise Detection of Thread Safety Violations Michael Pradel and Thomas R. Gross [pdf] [bibtex] [material] Try it out and download the implementation: www.thread-safe.org |
| ICSE 2012 | Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives Michael Pradel and Thomas R. Gross [pdf] [bibtex] [material] |
| ICSE 2012 | Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross [pdf] [bibtex] [companion report] [material] |
| ICSE 2012 | Ballerina: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, and Darko Marinov [pdf] [bibtex] |
| ISSTA 2011 | Detecting Anomalies in the Order of Equally-typed Method Arguments Michael Pradel and Thomas R. Gross [pdf] [bibtex] [implementation] |
| ICSM 2010 | A Framework for the Evaluation of Specification Miners Based on Finite State Machines Michael Pradel, Philipp Bichsel, and Thomas R. Gross [pdf] [bibtex] [material] |
| ASE 2009 | Automatic Generation of Object Usage Specifications from Large Method Traces Michael Pradel and Thomas R. Gross [pdf] [bibtex] |
| ICSOFT 2008 | Scala Roles - A Lightweight Approach towards Reusable Collaborations Michael Pradel and Martin Odersky Best Student Paper Award [pdf] [bibtex] [implementation] |
| RR 2008 | Ontology Design and Reuse with Conceptual Roles Jakob Henriksson, Michael Pradel, Steffen Zschaler, and Jeff Z. Pan. [pdf] [bibtex] |
Book chapters and journal articles
| Name-based Analysis of Equally Typed Method Arguments. Michael Pradel and Thomas R. Gross. IEEE Transactions on Software Engineering (TSE), 2013 [pdf] [bibtex] |
| Mining API Usage Protocols from Large Method Traces. Michael Pradel and Thomas R. Gross. Mining Software Specifications: Methodologies and Applications. David Lo and Khoo Siau Cheng and Jiawei Han and Chao Liu. CRC Press, 2011 [pdf] [bibtex] |
| A Good Role Model for Ontologies: Collaborations. Michael Pradel, Jakob Henriksson, and Uwe Aßmann. International Journal of Enterprise Information Systems (IJEIS), 6(1), 2010 [pdf (pre-print)] [bibtex] |
Workshops and presentations
| Inference of Object Usage Protocols. Michael Pradel. Dagstuhl seminar 10152 on Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010) |
| Dynamically Inferring, Refining, and Checking API Usage Protocols. Michael Pradel. Student Research Competition at OOPSLA 2009 Second Place [pdf] [bibtex] |
| Explicit Relations with Roles - A Library Approach. Michael Pradel. Workshop on Relationships and Associations in Object-Oriented Languages (RAOOL) at OOPSLA 2008 [pdf] [bibtex] [implementation] |
| Ontology Composition using a Role Modeling Approach. Michael Pradel. Lecture Notes in Informatics (LNI) 2008 [pdf] [bibtex] |
| A Good Role Model for Ontologies: Collaborations. Michael Pradel, Jakob Henriksson, and Uwe Aßmann. Workshop on Semantic-Based Software Development at OOPSLA 2007 [pdf] [bibtex] |
Other writings
| Program Analyses for Automatic and Precise Error Detection. Doctoral dissertation (Ph.D. thesis). 2012 [pdf] [web site] |
| Roles and Collaborations in Scala. Diploma thesis. 2008 [pdf] [slides] [implementation] |
| Ontology Composition using a Role Modeling Approach. Semester project (Großer Beleg). 2007 [pdf] [slides] |
Student Projects
Open projects
Looking for a bachelor or master project? Have a look at the list of open student projects (only accessible from ETH, external students may contact me via mail).
Supervised projects
- Pascal Zimmermann (bachelor thesis), finished September 2012
- Christine Zeller (bachelor thesis), finished August 2012
- Severin Heiniger (bachelor thesis), finished July 2011. See our paper at ISSTA'12.
- Claudio Corrodi (bachelor thesis), finished July 2011
- Jérémie Bresson (master thesis), finished April 2010
- Philipp Bichsel (master thesis), finished March 2010. See also our paper at ICSM'10.
- Sebastian Grössl (diploma thesis), finished August 2009
Teaching
In spring 2013, I'm co-lecturing Software Architecture and Engineering. In 2011 and 2012, I've been a teaching assistant for Compiler Design. In 2008 and 2009, I assisted System Programming and Computer Architecture.