Claudio Corrodi

I am a PhD student at the Software Composition Group, University of Bern.

+41 31 511 7639

Research Interests

I am interested in improving developer tools, in particular in the context of IDEs. I think IDEs should allow developers to work in the domain of the particular project they are working on, using dynamic, specialized tools instead of the generic tools that are available in many current IDEs. Currently, I am working, in general, on improving debuggers to make them adaptable to one’s domain. Furthermore, I want to make debuggers easier to use in one’s context by providing better ways to express halting conditions than simple line-based breakpoints. I am also interested, in general, in concurrent programming, software engineering and programming languages. I am open to work on ideas related to these topics.

Seminar, Bachelor, and Master Project Proposals

Currently, I do not have the capacity to take on additional students for projects. However, it never hurts to talk, so feel free to contact me if you are interested in my work or any of the topics below.

The following projects can be scaled up to a master thesis and down to a seminar project.



  1. Claudio Corrodi, Timo Spring, Mohammad Ghafari, and Oscar Nierstrasz. Idea: Benchmarking Android Data Leak Detection Tools. In Mathias Payer, Awais Rashid, and Jose M. Such (Ed.), Engineering Secure Software and Systems, p. 116—123, Springer International Publishing, Cham, 2018. DOI PDF 


  1. Haidar Osman, Andrei Chiş, Claudio Corrodi, Mohammad Ghafari, and Oscar Nierstrasz. Exception Evolution in Long-lived Java Systems. In Proceedings of the 14th International Conference on Mining Software Repositories, MSR '17, 2017. DOI PDF 


  1. Claudio Corrodi, Alexander Heußner, and Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), LNCS 9633 p. 31—48, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016. DOI URL 
  2. Claudio Corrodi. Towards Efficient Object-Centric Debugging with Declarative Breakpoints. In Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2016), 1791, CEUR, July 2016. PDF 

Last changed by admin on 21 April 2009