Philippe Suter  Philippe Suter photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash1611

links



2015

Inferring Web API Descriptions from Usage Data
Philippe Suter, Erik Wittern
Hot Topics in Web Systems and Technologies (HotWeb), 2015 Third IEEE Workshop on, pp. 7--12

Distributed programming in Scala with APGAS
Philippe Suter and Olivier Tardieu and Josh Milthorpe
ACM SIGPLAN Symposium on Scala, 2015

Spreadsheets for Stream Partitions and Windows
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Workshop on Software Engineering Methods in Spreadsheets, 2015


2014

Stream Processing with a Spreadsheet
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
ECOOP, pp. 360-384, Springer, 2014
Distinguished paper award


2013

Functional synthesis for linear arithmetic and sets
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
STTT 15(5-6), 455-474, 2013

Executing Specifications using Synthesis and Constraint Solving
Viktor Kuncak, Etienne Kneuss, Philippe Suter
RV, pp. 1-20, Springer, 2013

Synthesis Modulo Recursive Functions
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
OOPSLA, pp. 407-426, ACM, 2013

An Overview of the Leon Verification System
Régis Blanc, Etienne Kneuss, Viktor Kuncak, Philippe Suter
Scala, ACM Digital Library, 2013

Reductions for Synthesis Procedures
Swen Jacobs, Viktor Kuncak, Philippe Suter
VMCAI, pp. 88-107, Springer, 2013


2012

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

Constraints as control
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
POPL, pp. 151-164, ACM, 2012


2011

Scala to the Power of Z3: Integrating SMT and Programming
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
CADE, pp. 400-406, Springer, 2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories
Philippe Suter, Robin Steiger, Viktor Kuncak
VMCAI, pp. 403-418, Springer, 2011

Satisfiability Modulo Recursive Programs
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
SAS, pp. 298-315, Springer, 2011


2010

Ordered Sets in the Calculus of Data Structures
Viktor Kuncak, Ruzica Piskac, Philippe Suter
CSL, pp. 34-48, Springer, 2010

Comfusy: A Tool for Complete Functional Synthesis
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
CAV, pp. 430-433, Springer, 2010

Building a Calculus of Data Structures
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
VMCAI, pp. 26-44, Springer, 2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
Etienne Kneuss, Philippe Suter, Viktor Kuncak
RV, pp. 300-314, Springer, 2010

Phantm: PHP analyzer for type mismatch
Etienne Kneuss, Philippe Suter, Viktor Kuncak
SIGSOFT FSE, pp. 373-374, ACM, 2010

Decision procedures for algebraic data types with abstractions
Philippe Suter, Mirco Dotta, Viktor Kuncak
POPL, pp. 199-210, ACM, 2010

Complete functional synthesis
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
PLDI, pp. 316-329, ACM, 2010