Philippe Suter

According to our database1, Philippe Suter authored at least 31 papers between 2010 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Serverless Computing: Current Trends and Open Problems.
CoRR, 2017

The serverless trilemma: function composition for serverless computing.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Who you gonna call?: analyzing web requests in Android applications.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Identifying Android library dependencies in the presence of code obfuscation and minimization.
Proceedings of the 39th International Conference on Software Engineering, 2017

Serverless Computing: Current Trends and Open Problems.
Proceedings of the Research Advances in Cloud Computing, 2017

A look at the dynamics of the JavaScript package ecosystem.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Cloud-native, event-based programming for mobile applications.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Spreadsheets for stream processing with unbounded windows and partitions.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

Distributed programming in Scala with APGAS.
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

Spreadsheets for Stream Partitions and Windows.
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.
Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

Stream Processing with a Spreadsheet.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Functional synthesis for linear arithmetic and sets.
Int. J. Softw. Tools Technol. Transf., 2013

On Integrating Deductive Synthesis and Verification Systems
CoRR, 2013

Effect Analysis for Programs with Callbacks.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Reductions for Synthesis Procedures.
Proceedings of the Verification, 2013

Executing Specifications Using Synthesis and Constraint Solving.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Synthesis modulo recursive functions.
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.
Proceedings of the 4th Workshop on Scala, 2013

Software synthesis procedures.
Commun. ACM, 2012

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

Sets with Cardinality Constraints in Satisfiability Modulo Theories.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Satisfiability Modulo Recursive Programs.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Scala to the Power of Z3: Integrating SMT and Programming.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Building a Calculus of Data Structures.
Proceedings of the Verification, 2010

Phantm: PHP analyzer for type mismatch.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.
Proceedings of the Runtime Verification - First International Conference, 2010

Decision procedures for algebraic data types with abstractions.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Complete functional synthesis.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Ordered Sets in the Calculus of Data Structures.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Comfusy: A Tool for Complete Functional Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010