Publications    Student Projects    Teaching   

Michael Pradel

mail: my_first_name@binaervarianz.de   GPG key
phone: +41 44 63 27346

Computer Systems Institute
ETH Zürich, RZ H 3
Clausiusstrasse 59
8092 Zürich, Switzerland


Welcome!

I'm a PhD student at ETH Zürich in the group of Thomas Gross. I have studied computer science at Dresden University of Technology and graduated with a Dipl.-Inf. degree (with distinction) in summer 2008. Also, I spent two years as an engineering student at ECP in Paris and received a Diplôme d'Ingénieur degree. For writing my diploma thesis I visited the group of Martin Odersky at EPFL in Lausanne.


News

  • Our paper on brittle parameter typing will appear at ISSTA 2012!
  • Our paper on finding thread safety bugs has been accepted to PLDI 2012!
  • Three papers I'm involved in have been accepted for publication at ICSE 2012!

Publications

Conferences

ISSTA 2012 Static Detection of Brittle Parameter Typing
Michael Pradel, Severin Heiniger, and Thomas R. Gross
[pdf]
PLDI 2012 Fully Automatic and Precise Detection of Thread Safety Violations
Michael Pradel and Thomas R. Gross
[pdf] [bibtex] [material]
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]

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]

Book chapters and journal articles

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]

Other writings

Roles and Collaborations in Scala. Diploma thesis
[pdf] [slides] [implementation]
Ontology Composition using a Role Modeling Approach. Semester project (Großer Beleg)
[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


Teaching

In 2011, I was a teaching assistant for Compiler Design. In 2008 and 2009, I assisted System Programming and Computer Architecture.