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.

Publications

Conferences

• Michael Pradel and Thomas R. Gross. Detecting Anomalies in the Order of Equally-typed Method Arguments. International Symposium on Software Testing and Analysis (ISSTA 2011).
  [pdf] [bibtex] [implementation]
• Michael Pradel, Philipp Bichsel, and Thomas R. Gross. A Framework for the Evaluation of Specification Miners Based on Finite State Machines. International Conference on Software Maintenance (ICSM 2010).
  [pdf] [bibtex] [material]
• Michael Pradel and Thomas R. Gross. Automatic Generation of Object Usage Specifications from Large Method Traces. International Conference on Automated Software Engineering (ASE 2009).
  [pdf] [bibtex]
• Michael Pradel and Martin Odersky. Scala Roles - A Lightweight Approach towards Reusable Collaborations. International Conference on Software and Data Technologies (ICSOFT 2008).
  Best Student Paper Award
  [pdf] [bibtex] [implementation]
• Jakob Henriksson, Michael Pradel, Steffen Zschaler, and Jeff Z. Pan. Ontology Design and Reuse with Conceptual Roles. International Conference on Web Reasoning and Rule Systems (RR 2008).
  [pdf] [bibtex]

Workshops and presentations

• Michael Pradel. Inference of Object Usage Protocols. Dagstuhl seminar 10152 on Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010).
  
• Michael Pradel. Dynamically Inferring, Refining, and Checking API Usage Protocols. Student Research Competition at OOPSLA 2009.
  Second Winner
  [pdf] [bibtex]
• Michael Pradel. Explicit Relations with Roles - A Library Approach. Workshop on Relationships and Associations in Object-Oriented Languages (RAOOL) at OOPSLA 2008.
  [pdf] [bibtex] [implementation]
• Michael Pradel. Ontology Composition using a Role Modeling Approach. Lecture Notes in Informatics (LNI) 2008.
  [pdf] [bibtex]
• Michael Pradel, Jakob Henriksson, and Uwe Aßmann. A Good Role Model for Ontologies: Collaborations. Workshop on Semantic-Based Software Development at OOPSLA 2007.
  [pdf] [bibtex]

Book chapters and journal articles

• Michael Pradel and Thomas R. Gross. Mining API Usage Protocols from Large Method Traces
  Mining Software Specifications: Methodologies and Applications. David Lo and Khoo Siau Cheng and Jiawei Han and Chao Liu. CRC Press, 2011.
  [pdf] [bibtex]
• Michael Pradel, Jakob Henriksson, and Uwe Aßmann. A Good Role Model for Ontologies: Collaborations
  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
  Großer Beleg (semester project).
  [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

• Severin Heiniger (bachelor thesis), finished July 2011
• 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

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