Philippe Suter

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 12

Top Topics

Stream Processing

Android Application

Recursive Functions

Top Venues

Publications

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
Serverless Computing: Current Trends and Open Problems. CoRR (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call?: analyzing web requests in Android applications. MSR (2017)
Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu
The serverless trilemma: function composition for serverless computing. Onward! (2017)
Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp
Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR (2017)
Ioana Baldini, Paul C. Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter
Cloud-native, event-based programming for mobile applications. MOBILESoft (2016)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for stream processing with unbounded windows and partitions. DEBS (2016)
Erik Wittern, Philippe Suter, Shriram Rajagopalan
A look at the dynamics of the JavaScript package ecosystem. MSR (2016)
Philippe Suter, Olivier Tardieu, Josh Milthorpe
Distributed programming in Scala with APGAS. Scala@PLDI (2015)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for Stream Partitions and Windows. CoRR (2015)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE (2015)
Philippe Suter, Erik Wittern
Inferring Web API Descriptions from Usage Data. HotWeb (2015)
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
Stream Processing with a Spreadsheet. ECOOP (2014)
Viktor Kuncak, Etienne Kneuss, Philippe Suter
Executing Specifications Using Synthesis and Constraint Solving. RV (2013)
Etienne Kneuss, Viktor Kuncak, Philippe Suter
Effect Analysis for Programs with Callbacks. VSTTE (2013)
Swen Jacobs, Viktor Kuncak, Philippe Suter
Reductions for Synthesis Procedures. VMCAI (2013)
Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter
An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP (2013)
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
On Integrating Deductive Synthesis and Verification Systems CoRR (2013)
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter
Synthesis modulo recursive functions. OOPSLA (2013)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
Constraints as control. POPL (2012)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Software synthesis procedures. Commun. ACM 55 (2) (2012)
Philippe Suter, Robin Steiger, Viktor Kuncak
Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI (2011)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
Scala to the Power of Z3: Integrating SMT and Programming. CADE (2011)
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
Satisfiability Modulo Recursive Programs. SAS (2011)
Viktor Kuncak, Ruzica Piskac, Philippe Suter
Ordered Sets in the Calculus of Data Structures. CSL (2010)
Etienne Kneuss, Philippe Suter, Viktor Kuncak
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV (2010)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Complete functional synthesis. PLDI (2010)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Comfusy: A Tool for Complete Functional Synthesis. CAV (2010)
Etienne Kneuss, Philippe Suter, Viktor Kuncak
Phantm: PHP analyzer for type mismatch. SIGSOFT FSE (2010)
Philippe Suter, Mirco Dotta, Viktor Kuncak
Decision procedures for algebraic data types with abstractions. POPL (2010)
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
Building a Calculus of Data Structures. VMCAI (2010)