Philippe Suter

According to our database, Philippe Suter authored at least 32 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Who you gonna call?: analyzing web requests in Android applications.

Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Identifying Android library dependencies in the presence of code obfuscation and minimization.

Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

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

Proceedings of the Research Advances in Cloud Computing, 2017

2016

A look at the dynamics of the JavaScript package ecosystem.

Erik Wittern, Philippe Suter, Shriram Rajagopalan

Proceedings of the 13th International Conference on Mining Software Repositories, 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

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Spreadsheets for stream processing with unbounded windows and partitions.

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015

Distributed programming in Scala with APGAS.

Philippe Suter, Olivier Tardieu, Josh Milthorpe

Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

Spreadsheets for Stream Partitions and Windows.

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Inferring Web API Descriptions from Usage Data.

Philippe Suter, Erik Wittern

Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

2014

Stream Processing with a Spreadsheet.

Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Functional synthesis for linear arithmetic and sets.

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter

Int. J. Softw. Tools Technol. Transf., 2013

On Integrating Deductive Synthesis and Verification Systems

Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter

CoRR, 2013

Effect Analysis for Programs with Callbacks.

Etienne Kneuss, Viktor Kuncak, Philippe Suter

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Reductions for Synthesis Procedures.

Swen Jacobs, Viktor Kuncak, Philippe Suter

Proceedings of the Verification, 2013

Executing Specifications Using Synthesis and Constraint Solving.

Viktor Kuncak, Etienne Kneuss, Philippe Suter

Proceedings of the Runtime Verification - 4th International Conference, 2013

Synthesis modulo recursive functions.

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

An overview of the Leon verification system: verification by translation to recursive functions.

Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter

Proceedings of the 4th Workshop on Scala, 2013

2012

Programming with Specifications.

Philippe Suter

PhD thesis, 2012

Software synthesis procedures.

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter

Commun. ACM, 2012

Constraints as control.

Ali Sinan Köksal, Viktor Kuncak, Philippe Suter

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories.

Philippe Suter, Robin Steiger, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Satisfiability Modulo Recursive Programs.

Philippe Suter, Ali Sinan Köksal, Viktor Kuncak

Proceedings of the Static Analysis - 18th International Symposium, 2011

Scala to the Power of Z3: Integrating SMT and Programming.

Ali Sinan Köksal, Viktor Kuncak, Philippe Suter

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Building a Calculus of Data Structures.

Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies

Proceedings of the Verification, 2010

Phantm: PHP analyzer for type mismatch.

Etienne Kneuss, Philippe Suter, Viktor Kuncak

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.

Etienne Kneuss, Philippe Suter, Viktor Kuncak

Proceedings of the Runtime Verification - First International Conference, 2010

Decision procedures for algebraic data types with abstractions.

Philippe Suter, Mirco Dotta, Viktor Kuncak

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Complete functional synthesis.

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Ordered Sets in the Calculus of Data Structures.

Viktor Kuncak, Ruzica Piskac, Philippe Suter

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Comfusy: A Tool for Complete Functional Synthesis.

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010