Philippe Suter
Philippe Suter
Research Staff Member at IBM T.J. Watson
Email verificata su - Home page
Citata da
Citata da
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
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
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
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
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
Decision procedures for algebraic data types with abstractions
P Suter, M Dotta, V Kuncak
Acm Sigplan Notices 45 (1), 199-210, 2010
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
Stream-enabled spreadsheet as a circuit
MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri
US Patent 9,569,418, 2017
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
Constraints as control
AS Köksal, V Kuncak, P Suter
ACM SIGPLAN Notices 47 (1), 151-164, 2012
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
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
Sets with cardinality constraints in satisfiability modulo theories
P Suter, R Steiger, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2011
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
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
Who you gonna call? analyzing web requests in android applications
M Rapoport, P Suter, E Wittern, O Lhótak, J Dolby
2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017
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
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20