Publications

This is the only online list I personally maintain. It does not contain technical reports that have otherwise been published in proceedings or as articles. If you would rather trust robots and large corporations, you can find similar lists on DBLP, Google Scholar, Microsoft Academic Search, and others.

• The serverless trilemma: function composition for serverless computing
  I. Baldini et al., OOPSLA Onward!, 2017.
• Identifying Android library dependencies in the presence of code obfuscation and minimization
  S. Baset, P. Suter, O. Tripp, S.W. Li, ICSE Poster, 2017.
• Who you gonna call? Analyzing web requests in Android applications
  M. Rapoport, P. Suter, E. Wittern, O. Lhoták, J. Dolby, MSR, 2017.
• Cloud-native, event-based programming for mobile applications
  I. Baldini et al., MOBILESoft, 2016.
• Spreadsheets for stream processing with unbounded windows and partitions
  M. Hirzel, R. Rabbah, P. Suter, O. Tardieu, M. Vaziri, DEBS, 2016.
• A look at the dynamics of the JavaScript package ecosystem
  E. Wittern, P. Suter, S. Rajagopalan, MSR, 2016.
• Inferring Web API Descriptions from Usage Data
  P. Suter, E. Wittern, HotWeb, 2015.
• Distributed Programming in Scala with APGAS
  P. Suter, O. Tardieu, J. Milthorpe, Scala, 2015.
• Spreadsheets for Stream Partitions and Windows
  M. Hirzel, R. Rabbah, P. Suter, O. Tardieu, M. Vaziri, SEMS, 2015.
• Stream Processing with a Spreadsheet
  M. Vaziri, O. Tardieu, R. Rabbah, P. Suter, M. Hirzel, ECOOP, 2014.
• Synthesis Modulo Recursive Functions
  E. Kneuss, I. Kuraj, V. Kuncak, P. Suter, OOPSLA, 2013.
• Executing Specifications Using Synthesis and Constraint Solving
  V. Kuncak, E. Kneuss, P. Suter, RV, 2013.
• Functional Synthesis for Linear Arithmetic and Sets
  V. Kuncak, M. Mayer, R. Piskac, P. Suter, STTT, 2013.
• An Overview of the Leon Verification System
  R. Blanc, E. Kneuss, V. Kuncak, P. Suter, Scala, 2013.
• Effect Analysis for Programs with Callbacks
  E. Kneuss, V. Kuncak, P. Suter, VSTTE, 2013.
• Reductions for Synthesis Procedures
  S. Jacobs, V. Kuncak, P. Suter, VMCAI, 2013.
• Programming with Specifications
  P. Suter, EPFL, 2012.
• Software Synthesis Procedures
  V. Kuncak, M. Mayer, R. Piskac, P. Suter, CACM, 2012.
• Constraints as Control
  A.S. Köksal, V. Kuncak, P. Suter, POPL, 2012.
• Satisfiability Modulo Recursive Programs
  P. Suter, A.S. Köksal, V. Kuncak, SAS, 2011.
• Scala to the Power of Z3: Integrating SMT and Programming
  A.S. Köksal, V. Kuncak, P. Suter, CADE, 2011.
• Sets with Cardinality Constraints in Satisfiability Modulo Theories
  P. Suter, R. Steiger, V. Kuncak, VMCAI, 2011.
• Phantm: PHP Analyzer for Type Mismatch
  E. Kneuss, P. Suter, V. Kuncak, FSE, 2010.
• Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
  E. Kneuss, P. Suter, V. Kuncak, RV, 2010.
• Ordered Sets in the Calculus of Data Structures
  V. Kuncak, R. Piskac, P. Suter, CSL, 2010.
• Comfusy: A Tool for Complete Functional Synthesis
  V. Kuncak, M. Mayer, R. Piskac, P. Suter, CAV, 2010.
• Complete Functional Synthesis
  V. Kuncak, M. Mayer, R. Piskac, P. Suter, PLDI, 2010.
• Decision Procedures for Algebraic Data Types with Abstractions
  P. Suter, M. Dotta, V. Kuncak, POPL, 2010.
• Building a Calculus of Data Structures
  V. Kuncak, R. Piskac, P. Suter, T. Wies, VMCAI, 2010.
• Les «Lieder ohne Worte» et l'esthétique romantique
  A. Pala, P. Suter, SMZ/RMS, 2009.
• Non-Clausal Satisfiability Modulo Theories
  P. Suter, EPFL, 2008.
• On Static Analysis for Expressive Pattern Matching
  M. Dotta, P. Suter, V. Kuncak, EPFL, 2008.