Philippe Suter
Philippe Suter
Research Staff Member at IBM T.J. Watson
Verified email at - Homepage
Cited by
Cited by
Serverless computing: Current trends and open problems
I Baldini, P Castro, K Chang, P Cheng, S Fink, V Ishakian, N Mitchell, ...
Research advances in cloud computing, 1-20, 2017
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
A look at the dynamics of the JavaScript package ecosystem
E Wittern, P Suter, S Rajagopalan
Proceedings of the 13th International Conference on Mining Software …, 2016
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
Decision procedures for algebraic data types with abstractions
P Suter, M Dotta, V Kuncak
Acm Sigplan Notices 45 (1), 199-210, 2010
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
The serverless trilemma: Function composition for serverless computing
I Baldini, P Cheng, SJ Fink, N Mitchell, V Muthusamy, R Rabbah, P Suter, ...
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
An overview of the Leon verification system: Verification by translation to recursive functions
R Blanc, V Kuncak, E Kneuss, P Suter
Proceedings of the 4th Workshop on Scala, 1-10, 2013
Constraints as control
AS Köksal, V Kuncak, P Suter
ACM SIGPLAN Notices 47 (1), 151-164, 2012
Cloud-native, event-based programming for mobile applications
I Baldini, P Castro, P Cheng, S Fink, V Ishakian, N Mitchell, V Muthusamy, ...
Proceedings of the International Conference on Mobile Software Engineering …, 2016
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
Scala to the Power of Z3: Integrating SMT and Programming
AS Köksal, V Kuncak, P Suter
International Conference on Automated Deduction, 400-406, 2011
Stream processing with a spreadsheet
M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel
European Conference on Object-Oriented Programming, 360-384, 2014
Stream-enabled spreadsheet as a circuit
MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri
US Patent 9,569,418, 2017
Sets with cardinality constraints in satisfiability modulo theories
P Suter, R Steiger, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2011
Functional synthesis for linear arithmetic and sets
V Kuncak, M Mayer, R Piskac, P Suter
International Journal on Software Tools for Technology Transfer 15 (5), 455-474, 2013
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
Inferring web API descriptions from usage data
P Suter, E Wittern
2015 Third IEEE Workshop on Hot Topics in Web Systems and Technologies …, 2015
Ordered sets in the calculus of data structures
V Kuncak, R Piskac, P Suter
International Workshop on Computer Science Logic, 34-48, 2010
Runtime instrumentation for precise flow-sensitive type analysis
E Kneuss, P Suter, V Kuncak
International Conference on Runtime Verification, 300-314, 2010
The system can't perform the operation now. Try again later.
Articles 1–20