Martin Nordio

Student Supervision

Master's Theses

11. Marc Egg - The impact of requirements in distributed software development: an empirical study - Master's Thesis at ETH Zurich - December 1st, 2014 - June 1st, 2015

10. Fabian Gremper - Real-time Conflict Awareness for Distributed Version Control Systems - Master's Thesis at ETH Zurich - November 2014 - April 2015

9. Rand Nezha and Mert Tufekci - Extending CloudStudio with a collaborative remote debugger - Master's Thesis at Politecnico di Milano, Italy - January 2011 - December 2012.

8. Sandra Weber - Automatic Version Control System for Distributed Software Development - Master's Thesis at ETH Zurich, March - September 2012.

7. Johannes Schneider - Successful outsourcing: Necessary conditions and best practices - Master's Thesis at MTEC (ETH Zurich), October 2011 - December 2011.

6. Alexandru Dima - Developing JavaScript applications in Eiffel - Master's Thesis at ETH Zurich, December 2010 - May 2011.

5. Tang Mei - Proof transforming compilation for Separation logic - Master Thesis at Wuhan University - China, December 2009 - June 2010.

4. Julian Tschannen - Automatic Verification of Eiffel Programs - Master's Thesis at ETH Zurich, October 2008 - April 2009.

3. Bruno Hauser - Embedding Proof-Carrying Components into Isabelle - Master's Thesis at ETH Zurich, September 2008 - March 2009.

2. Manuel Hess - Integrating Proof-Transforming Compilation into EiffelStudio - Master's Thesis at ETH Zurich, February - August 2008.

1. Hasan Karahan - Proof-Transforming Compilation of Eiffel Contracts - Diploma's Thesis January - May 2008.

Bachelor’s Students and other projects

15. Manav Kedia - Mantra: Eiffel as a web service - Internship at ETH Zurich, July 2014

14. Christopher Dentel - Refinements and Git Integration with Notifications and Monitoring - Software Engineering Laboratory at ETH Zurich, November 2012

13. Christopher Dentel - Monitors: Keeping Informed on Code Changes - Independent Research Study at ETH Zurich, November 2012

12. Brian Bullins - Awareness in CloudStudio - Internship at ETH Zurich, May - July 2012.

11. Christopher Dentel - News and Notification: Propagating Relevant Changes to Developers - Software Engineering Laboratory at ETH Zurich, February 2012

10. Denis Cutic - Integrating Code Reviews into CloudStudio - Semester Thesis at Politecnico di Milano, Italy, December 2011 - June 2012.

9. Marcel Bertsch - A web-based IDE for Java - Software Engineering Laboratory at ETH Zurich, September - December 2011.

8. Roland Meyer - Revision control support for a web-based IDE - Software Engineering Laboratory at ETH Zurich, September - December 2011.

7. Le Minh Duc - An integrated development environment (IDE) for Distributed Software Engineering - Engineer Thesis at Hanoi University of Technology - Vietnam, December 2009 - April 2010.

6. Do Le Minh - Integrating an Automatic Version Control System into EiffelStudio - Engineer Thesis at Hanoi University of Technology - Vietnam, December 2009 - April 2010.

5. Alexandru Dima and Alejandro Garcia - An Automatic Version Control System for an IDE on the Cloud - project in the Java and C# in Depth course at ETH Zurich, 2010.

4. David Sidler and Thomas Etter - A CloudStudio project - project in the Java and C# in Depth course at ETH Zurich, 2010.

3. Sun Hao, Martin Luder and Kang Biu CHEUNG - A CloudStudio project - project in the Java and C# in Depth course at ETH Zurich, 2010.

2. Cleonela Serban, Soha Sultan and Michel Baeriswyl - A CloudStudio project - project in the Java and C# in Depth course at ETH Zurich, 2010.

1. Michel Guex - Implementing a Proof-Transforming Compiler from Eiffel to CIL - Semesterarbeit at ETH Zurich, WS 2006.

Events

Event organizer

• Organization Chair of LASER Summer School: LASER 2015, LASER 2014, LASER 2013, LASER 2012, LASER 2011, LASER 2010, LASER 2009, LASER 2008, LASER 2007, Summer school on Software Engineering, September 2007-2015, in Elba, Italy.

• Organization Chair of SEAFOOD 2009, SEAFOOD 2008, SEAFOOD 2007 International Conference on Software Engineering Approaches For Offshore and Outsourced Development. 2007-2009.

• Organization Chair of APV 2009 Symposium on Automatic Program Verification, Argentina, February 14-15, 2009.

PC chair and conference chair

• PC Chair of ICGSE 2015, International Conference on Global Software Engineering, July 2015.

• PC Chair of ESEC/FSE 2015 Replication Packages, August 2015.

• PC Chair of TOPI 2013: 3rd Workshop on Developing Tools as Plug-ins, May 2013; co-located with ICSE 2013.

• Conference Chair of SEAFOOD 2010 Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, 17-18 June 2010, Peterhof (Saint Petersburg), Russia.

PC member

• Member of the Program Committee of ICGSE 2014, ICGSE 2013: International Conference on Global Software Engineering, August, 2013-2014;

• Member of the Program Committee of SoICT 2014, SoICT 2013, SoICT 2012, SoICT 2011, SoICT 2010 Symposium on Information and Communication Technology, 2010-2014.

• Member of the Program Committee of TOPI 2012: 2nd Workshop on Developing Tools as Plug-ins, June 3, 2012; co-located with ICSE 2012.

Others

• Publicity chair of ICGSE 2014, ICGSE 2013: International Conference on Global Software Engineering, August, 2013-2014;

• Reviewer for TOOLS 2012, ESOP 11, IEEE's Transactions on Software Engineering Journal (TSE), Empirical Software Engineering Journal.