printlogo
http://www.ethz.ch/index_EN
Welcome
 
print
  

News and upcoming events

Open Positions

We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.

Student Projects Available

Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects. 

Our Mailing List

If you are interested in our activities, you can subscribe to the PMInterest mailing list.

Workshop on Software Correctness and Reliability

All information on the workshop 2014 can be found here.

The slides and videos of 2013 are available on the workshop website

Welcome to the internet presence of the Chair of Programming Methodology.

Talk

PrePose: Security and Privacy for Gesture-Based Programming
Ben Livshits, Microsoft Research Redmond
Thursday, March 05, 10:30, CAB H52

Prize Winner

index

Alex Summers wins the AITO Dahl-Nygaard Prize for his work on the verification of object-oriented programs and type systems. Congratulations!

Recent papers

M. Christakis and P. Godefroid: IC-Cut: A Compositional Search Strategy for Dynamic Test Generation, Technical Report, Microsoft Research, 2015.

P. Boström and P. Müller: Modular Verification of Finite Blocking in Non-terminating Programs, Technical Report, ETH Zurich, 2014.

P. Ferrara and P. Müller and M. Novacek: Automatic Inference of Heap Properties Exploiting Value Domains, Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015.

M. Christakis and P. Godefroid: Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing, Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015.

M. Christakis and P. Müller and V. Wüstholz: An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer, Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015.

Program Committees

Peter Müller is currently on the program committees of the following conferences:

 

Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2015 ETH Zurich | Imprint | Disclaimer | 24 February 2015
top