Philippe Suter
Philippe Suter
Research Staff Member at IBM T.J. Watson
Bestätigte E-Mail-Adresse bei us.ibm.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2872017
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
1462010
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1142011
Decision procedures for algebraic data types with abstractions
P Suter, M Dotta, V Kuncak
Acm Sigplan Notices 45 (1), 199-210, 2010
1092010
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
912013
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
792016
Constraints as control
AS Köksal, V Kuncak, P Suter
ACM SIGPLAN Notices 47 (1), 151-164, 2012
712012
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
662013
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
512017
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
452011
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
442016
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
392012
Stream processing with a spreadsheet
M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel
European Conference on Object-Oriented Programming, 360-384, 2014
372014
Sets with cardinality constraints in satisfiability modulo theories
P Suter, R Steiger, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2011
342011
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-6 …, 2013
292013
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
232010
Ordered sets in the calculus of data structures
V Kuncak, R Piskac, P Suter
International Workshop on Computer Science Logic, 34-48, 2010
192010
Building a calculus of data structures
V Kuncak, R Piskac, P Suter, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2010
192010
Programming with Specifications
PPH Suter
182012
Stream-enabled spreadsheet as a circuit
MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri
US Patent 9,569,418, 2017
172017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20