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