Philippe Suter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
12
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICSE | Identifying Android library dependencies in the presence of code obfuscation and minimization. | Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp |
| 2017 | MSR | Who you gonna call?: analyzing web requests in Android applications. | Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhotk, Julian Dolby |
| 2017 | OOPSLA | The serverless trilemma: function composition for serverless computing. | Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu |
| 2016 | ICSE | Cloud-native, event-based programming for mobile applications. | Ioana Baldini, Paul C. Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter |
| 2016 | MSR | A look at the dynamics of the JavaScript package ecosystem. | Erik Wittern, Philippe Suter, Shriram Rajagopalan |
| 2015 | ICSE | Spreadsheets for Stream Partitions and Windows. | Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri |
| 2015 | PLDI | Distributed programming in Scala with APGAS. | Philippe Suter, Olivier Tardieu, Josh Milthorpe |
| 2014 | ECOOP | Stream Processing with a Spreadsheet. | Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel |
| 2013 | ECOOP | An overview of the Leon verification system: verification by translation to recursive functions. | Rgis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | OOPSLA | Synthesis modulo recursive functions. | Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
| 2013 | RV | Executing Specifications Using Synthesis and Constraint Solving. | Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | VMCAI | Reductions for Synthesis Procedures. | Swen Jacobs, Viktor Kuncak, Philippe Suter |
| 2012 | POPL | Constraints as control. | Ali Sinan Kksal, Viktor Kuncak, Philippe Suter |
| 2011 | CADE | Scala to the Power of Z3: Integrating SMT and Programming. | Ali Sinan Kksal, Viktor Kuncak, Philippe Suter |
| 2011 | SAS | Satisfiability Modulo Recursive Programs. | Philippe Suter, Ali Sinan Kksal, Viktor Kuncak |
| 2011 | VMCAI | Sets with Cardinality Constraints in Satisfiability Modulo Theories. | Philippe Suter, Robin Steiger, Viktor Kuncak |
| 2010 | CAV | Comfusy: A Tool for Complete Functional Synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | CSL | Ordered Sets in the Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
| 2010 | PLDI | Complete functional synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | POPL | Decision procedures for algebraic data types with abstractions. | Philippe Suter, Mirco Dotta, Viktor Kuncak |
| 2010 | RV | Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
| 2010 | VMCAI | Building a Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |