Comfusy: A Tool for Complete Functional Synthesis. - Viktor Kuncak; Mikaël Mayer; Ruzica Piskac; Philippe Suter (CAV, 2010)

Ordered Sets in the Calculus of Data Structures. - Viktor Kuncak; Ruzica Piskac; Philippe Suter (CSL, 2010)

Complete functional synthesis. - Viktor Kuncak; Mikaël Mayer; Ruzica Piskac; Philippe Suter (PLDI, 2010)

Decision procedures for algebraic data types with abstractions. - Philippe Suter; Mirco Dotta; Viktor Kuncak (POPL, 2010)

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. - Etienne Kneuss; Philippe Suter; Viktor Kuncak (RV, 2010)

Phantm: PHP analyzer for type mismatch. - Etienne Kneuss; Philippe Suter; Viktor Kuncak (SIGSOFT FSE, 2010)

Building a Calculus of Data Structures. - Viktor Kuncak; Ruzica Piskac; Philippe Suter; Thomas Wies (VMCAI, 2010)

Scala to the Power of Z3: Integrating SMT and Programming. - Ali Sinan Köksal; Viktor Kuncak; Philippe Suter (CADE, 2011)

Satisfiability Modulo Recursive Programs. - Philippe Suter; Ali Sinan Köksal; Viktor Kuncak (SAS, 2011)

Sets with Cardinality Constraints in Satisfiability Modulo Theories. - Philippe Suter; Robin Steiger; Viktor Kuncak (VMCAI, 2011)

Constraints as control. - Ali Sinan Köksal; Viktor Kuncak; Philippe Suter (POPL, 2012)

Software synthesis procedures. - Viktor Kuncak; Mikaël Mayer; Ruzica Piskac; Philippe Suter (Commun. ACM, 2012)

Programming with Specifications. - Philippe Suter (2012)

An overview of the Leon verification system: verification by translation to recursive functions. - Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter (SCALA@ECOOP, 2013)

Synthesis modulo recursive functions. - Etienne Kneuss; Ivan Kuraj; Viktor Kuncak; Philippe Suter (OOPSLA, 2013)

Executing Specifications Using Synthesis and Constraint Solving. - Viktor Kuncak; Etienne Kneuss; Philippe Suter (RV, 2013)

Reductions for Synthesis Procedures. - Swen Jacobs; Viktor Kuncak; Philippe Suter (VMCAI, 2013)

Effect Analysis for Programs with Callbacks. - Etienne Kneuss; Viktor Kuncak; Philippe Suter (VSTTE, 2013)

On Integrating Deductive Synthesis and Verification Systems - Etienne Kneuss; Viktor Kuncak; Ivan Kuraj; Philippe Suter (CoRR, 2013)

Functional synthesis for linear arithmetic and sets. - Viktor Kuncak; Mikaël Mayer; Ruzica Piskac; Philippe Suter (Int. J. Softw. Tools Technol. Transf., 2013)

Stream Processing with a Spreadsheet. - Mandana Vaziri; Olivier Tardieu; Rodric Rabbah; Philippe Suter; Martin Hirzel (ECOOP, 2014)

Inferring Web API Descriptions from Usage Data. - Philippe Suter; Erik Wittern (HotWeb, 2015)

Spreadsheets for Stream Partitions and Windows. - Martin Hirzel; Rodric Rabbah; Philippe Suter; Olivier Tardieu; Mandana Vaziri (SEMS@ICSE, 2015)

Distributed programming in Scala with APGAS. - Philippe Suter; Olivier Tardieu; Josh Milthorpe (Scala@PLDI, 2015)

Spreadsheets for stream processing with unbounded windows and partitions. - Martin Hirzel; Rodric Rabbah; Philippe Suter; Olivier Tardieu; Mandana Vaziri (DEBS, 2016)

Cloud-native, event-based programming for mobile applications. - Ioana Baldini; Paul C. Castro; Perry Cheng; Stephen J. Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Philippe Suter (MOBILESoft, 2016)

A look at the dynamics of the JavaScript package ecosystem. - Erik Wittern; Philippe Suter; Shriram Rajagopalan (MSR, 2016)

Serverless Computing: Current Trends and Open Problems. - Ioana Baldini; Paul C. Castro; Kerry Shih-Ping Chang; Perry Cheng; Stephen Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Aleksander Slominski; Philippe Suter (Research Advances in Cloud Computing, 2017)

Identifying Android library dependencies in the presence of code obfuscation and minimization. - Salman Abdul Baset; Shih-Wei Li; Philippe Suter; Omer Tripp (ICSE (Companion Volume), 2017)

Who you gonna call?: analyzing web requests in Android applications. - Marianna Rapoport; Philippe Suter; Erik Wittern; Ondrej Lhoták; Julian Dolby (MSR, 2017)

The serverless trilemma: function composition for serverless computing. - Ioana Baldini; Perry Cheng; Stephen J. Fink; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Philippe Suter; Olivier Tardieu (Onward!, 2017)

Serverless Computing: Current Trends and Open Problems. - Ioana Baldini; Paul C. Castro; Kerry Shih-Ping Chang; Perry Cheng; Stephen J. Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric M. Rabbah; Aleksander Slominski; Philippe Suter (CoRR, 2017)