===== LARA Publications =====

===== Individual Publication Lists =====

Publication lists from home pages:
  * [[http://lara.epfl.ch/~kuncak/papers/vkuncak.html|Viktor Kuncak]]

===== Master's Theses (Partial List) =====

  * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]]
  * Regis Blanc: [[http://infoscience.epfl.ch/record/182903|Verification of Imperative Programs in Scala]]
  * Remi Bonnet: [[https://infoscience.epfl.ch/record/148637|Well-structured Petri Nets extensions with data]]
  * Mikaël Mayer: [[mikael_msc:top|Complete Program Synthesis for Linear Arithmetic]]
  * Ersoy Bayramoglu: [[http://infoscience.epfl.ch/record/141558|Programming with Undo]]
  * Sebastian Gfeller: [[http://infoscience.epfl.ch/record/139555|Robust Dynamically Deployed Static Analysis for Java]]
  * Mirco Dotta: [[http://infoscience.epfl.ch/record/135961|State Exploration of Scala Actor Programs]]
  * Gizil Oguz: [[http://infoscience.epfl.ch/record/126292|Decision Tree Learning for Drools]]
  * Ivan Kuraj: [[http://infoscience.epfl.ch/record/183898|Interactive Code Generation]]