News 2012

Programming Languages & Verification

Ruzica Piskac wins Patrick Denantes Prize

September 2012

Ruzica Piskac, an MPI-SWS faculty member, has been awarded the 2012 Patrick Denantes Prize for her dissertation titled "Decision Procedures for Program Synthesis and Verification." The prize is awarded annually to the most outstanding master's, doctoral or post-doctoral research project within the school of computer and communication sciences at EPFL.

Two MPI-SWS students receive Google Fellowships

June 2012

Fourth-year PhD student Georg Neis won a 2012 Google PhD Fellowship for his work in Programming Technology. First-year PhD student Ezgi Cicek was awarded an Anita Borg Scholarship. They join MPI-SWS PhD student Juhi Kulshrestha, who received a 2011 Google Fellowship for her work in social networking.

Rupak Majumdar wins EAPLS and TODAES best paper awards

June 2012

MPI-SWS faculty Rupak Majumdar, along with his coauthors, has received two best paper awards: the EAPLS 2012 best paper award and the 2012 ACM TODAES best paper award.

Rupak Majumdar and Zhenyue Long, along with Georgei Calin and Roland Meyer at TuKL, have received the ETAPS 2012 best paper award for their paper "Language-Theoretic Abstraction Refinement".

Rupak Majumdar has also received (along with Jason Cong, Bin Liu, and Zhiru Zhang) the 2012 ACM TODAES Best Paper Award for his 2010 TODAES article "Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis".