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, 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]
• Michael Pradel, 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, 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]
• 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]
• 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

• 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]

Other writings

• Roles and Collaborations in Scala
  Diploma thesis.
  [pdf] [slides]
• Ontology Composition using a Role Modeling Approach
  Großer Beleg (semester project).
  [pdf] [slides]

Student Projects

Looking for a semester/master/diploma project? I'm currently proposing several interesting student projects (only accessible from ETH, external students may contact me via mail). You may also want to have a look at the list of finished projects. If you are interested in one of the topics send me a short mail or just drop by.

Teaching

I'm a teaching assistant for System Programming and Computer Architecture.