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.
|
