Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPhilippe Suter
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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 - [p1]Ioana Baldini, Paul C. Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski, Philippe Suter:
Serverless Computing: Current Trends and Open Problems. Research Advances in Cloud Computing 2017: 1-20 - [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 C. 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]Philippe Suter, Erik Wittern:
Inferring Web API Descriptions from Usage Data. HotWeb 2015: 7-12 - [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. Int. J. Softw. Tools Technol. Transf. 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]Swen Jacobs, Viktor Kuncak, Philippe Suter:
Reductions for Synthesis Procedures. VMCAI 2013: 88-107 - [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]Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Constraints as control. POPL 2012: 151-164 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-13 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
