ask others

Philippe Suter

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c26]
- view
- export record
  dblp key:
  - conf/icse/BasetLST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BasetLST17
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]
- view
- export record
  dblp key:
  - conf/msr/RapoportSWLD17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/msr/RapoportSWLD17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/oopsla/BaldiniCFMMRST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/BaldiniCFMMRST17
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RapoportSWLD17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RapoportSWLD17
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BaldiniCCCFIMMR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BaldiniCCCFIMMR17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/debs/HirzelRSTV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/debs/HirzelRSTV16
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for stream processing with unbounded windows and partitions. DEBS 2016: 49-60
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/BaldiniCCFIMMRS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BaldiniCCFIMMRS16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/msr/WitternSR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/msr/WitternSR16
Erik Wittern, Philippe Suter, Shriram Rajagopalan:
A look at the dynamics of the JavaScript package ecosystem. MSR 2016: 351-361
2015
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/hotweb/SuterW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hotweb/SuterW15
Philippe Suter, Erik Wittern:
Inferring Web API Descriptions from Usage Data. HotWeb 2015: 7-12
[c19]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/icse/HirzelRSTV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/HirzelRSTV15
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE 2015: 39-40
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/SuterTM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/SuterTM15
Philippe Suter, Olivier Tardieu, Josh Milthorpe:
Distributed programming in Scala with APGAS. Scala@PLDI 2015: 13-17
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HirzelRSTV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HirzelRSTV15
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. CoRR abs/1503.04215 (2015)
2014
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/VaziriTRSH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/VaziriTRSH14
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
Stream Processing with a Spreadsheet. ECOOP 2014: 360-384
2013
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KuncakMPS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KuncakMPS13
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Functional synthesis for linear arithmetic and sets. STTT 15(5-6): 455-474 (2013)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/BlancKKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/BlancKKS13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/oopsla/KneussKKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/KneussKKS13
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. OOPSLA 2013: 407-426
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/KuncakKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/KuncakKS13
Viktor Kuncak, Etienne Kneuss, Philippe Suter:
Executing Specifications Using Synthesis and Constraint Solving. RV 2013: 1-20
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/JacobsKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/JacobsKS13
Swen Jacobs, Viktor Kuncak, Philippe Suter:
Reductions for Synthesis Procedures. VMCAI 2013: 88-107
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/KneussKS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vstte/KneussKS13
Etienne Kneuss, Viktor Kuncak, Philippe Suter:
Effect Analysis for Programs with Callbacks. VSTTE 2013: 48-67
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1304-5661
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5661
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013)
2012
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cacm/KuncakMPS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cacm/KuncakMPS12
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/KoksalKS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/KoksalKS12
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Constraints as control. POPL 2012: 151-164
2011
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/KoksalKS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/KoksalKS11
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/SuterKK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/SuterKK11
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak:
Satisfiability Modulo Recursive Programs. SAS 2011: 298-315
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/SuterSK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/SuterSK11
Philippe Suter, Robin Steiger, Viktor Kuncak:
Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
2010
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/KuncakMPS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/KuncakMPS10
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/KuncakPS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/KuncakPS10
Viktor Kuncak, Ruzica Piskac, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/KuncakMPS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/KuncakMPS10
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Complete functional synthesis. PLDI 2010: 316-329
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SuterDK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SuterDK10
Philippe Suter, Mirco Dotta, Viktor Kuncak:
Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/KneussSK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/KneussSK10
Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/KneussSK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/KneussSK10
Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/KuncakPSW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/KuncakPSW10
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. VMCAI 2010: 26-44

Coauthor Index

see FAQ

maintained by

, founded at