Philippe Suter
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [c26]Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp:
Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) 2017: 250-252 - [c25]Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
Who you gonna call?: analyzing web requests in Android applications. MSR 2017: 80-90 - [c24]Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu:
The serverless trilemma: function composition for serverless computing. Onward! 2017: 89-103 - [i4]Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR abs/1705.06629 (2017) - [i3]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:
Serverless Computing: Current Trends and Open Problems. CoRR abs/1706.03178 (2017) - 2016
- [c23]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for stream processing with unbounded windows and partitions. DEBS 2016: 49-60 - [c22]Ioana Baldini, Paul Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter:
Cloud-native, event-based programming for mobile applications. MOBILESoft 2016: 287-288 - [c21]Erik Wittern, Philippe Suter, Shriram Rajagopalan:
A look at the dynamics of the JavaScript package ecosystem. MSR 2016: 351-361 - 2015
- [c20]
- [c19]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE 2015: 39-40 - [c18]Philippe Suter, Olivier Tardieu, Josh Milthorpe:
Distributed programming in Scala with APGAS. Scala@PLDI 2015: 13-17 - [i2]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. CoRR abs/1503.04215 (2015) - 2014
- [c17]Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
Stream Processing with a Spreadsheet. ECOOP 2014: 360-384 - 2013
- [j2]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Functional synthesis for linear arithmetic and sets. STTT 15(5-6): 455-474 (2013) - [c16]Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter:
An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP 2013: 1:1-1:10 - [c15]Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. OOPSLA 2013: 407-426 - [c14]Viktor Kuncak, Etienne Kneuss, Philippe Suter:
Executing Specifications Using Synthesis and Constraint Solving. RV 2013: 1-20 - [c13]
- [c12]Etienne Kneuss, Viktor Kuncak, Philippe Suter:
Effect Analysis for Programs with Callbacks. VSTTE 2013: 48-67 - [i1]Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013) - 2012
- [j1]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012) - [c11]
- 2011
- [c10]Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406 - [c9]Philippe Suter, Ali Sinan Köksal, Viktor Kuncak:
Satisfiability Modulo Recursive Programs. SAS 2011: 298-315 - [c8]Philippe Suter, Robin Steiger, Viktor Kuncak:
Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418 - 2010
- [c7]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433 - [c6]Viktor Kuncak, Ruzica Piskac, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48 - [c5]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Complete functional synthesis. PLDI 2010: 316-329 - [c4]Philippe Suter, Mirco Dotta, Viktor Kuncak:
Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210 - [c3]Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314 - [c2]Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374 - [c1]Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. VMCAI 2010: 26-44
Coauthor Index
last updated on 2019-02-14 22:44 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint