publications:
- title: "Scala to the Power of Z3: Integrating SMT and Programming"
  author:
  - name: "Ali Sinan Köksal"
    link: "https://researchr.org/alias/ali-sinan-k%C3%B6ksal"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_30"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/KoksalKS11"
  tags:
  - "Scala"
  - "programming"
  researchr: "https://researchr.org/publication/KoksalKS11"
  cites: 0
  citedby: 0
  pages: "400-406"
  booktitle: "cade"
  kind: "inproceedings"
  key: "KoksalKS11"
- title: "Sets with Cardinality Constraints in Satisfiability Modulo Theories"
  author:
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Robin Steiger"
    link: "https://researchr.org/alias/robin-steiger"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-18275-4_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-18275-4_28"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vmcai/SuterSK11"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/SuterSK11"
  cites: 0
  citedby: 0
  pages: "403-418"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "SuterSK11"
- title: "Stream Processing with a Spreadsheet"
  author:
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  - name: "Olivier Tardieu"
    link: "https://researchr.org/alias/olivier-tardieu"
  - name: "Rodric Rabbah"
    link: "https://researchr.org/alias/rodric-rabbah"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Martin Hirzel"
    link: "https://researchr.org/alias/martin-hirzel"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-662-44202-9_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-44202-9_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/VaziriTRSH14"
  researchr: "https://researchr.org/publication/VaziriTRSH14"
  cites: 0
  citedby: 0
  pages: "360-384"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "VaziriTRSH14"
- title: "A look at the dynamics of the JavaScript package ecosystem"
  author:
  - name: "Erik Wittern"
    link: "https://researchr.org/alias/erik-wittern"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Shriram Rajagopalan"
    link: "https://researchr.org/alias/shriram-rajagopalan"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2901739.2901743"
  links:
    doi: "http://doi.acm.org/10.1145/2901739.2901743"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/WitternSR16"
  researchr: "https://researchr.org/publication/WitternSR16"
  cites: 0
  citedby: 0
  pages: "351-361"
  booktitle: "msr"
  kind: "inproceedings"
  key: "WitternSR16"
- title: "Ordered Sets in the Calculus of Data Structures"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15205-4_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15205-4_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csl/KuncakPS10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KuncakPS10"
  cites: 0
  citedby: 0
  pages: "34-48"
  booktitle: "csl"
  kind: "inproceedings"
  key: "KuncakPS10"
- title: "Spreadsheets for stream processing with unbounded windows and partitions"
  author:
  - name: "Martin Hirzel"
    link: "https://researchr.org/alias/martin-hirzel"
  - name: "Rodric Rabbah"
    link: "https://researchr.org/alias/rodric-rabbah"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Olivier Tardieu"
    link: "https://researchr.org/alias/olivier-tardieu"
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2933267.2933607"
  links:
    doi: "http://doi.acm.org/10.1145/2933267.2933607"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/debs/HirzelRSTV16"
  researchr: "https://researchr.org/publication/HirzelRSTV16"
  cites: 0
  citedby: 0
  pages: "49-60"
  booktitle: "debs"
  kind: "inproceedings"
  key: "HirzelRSTV16"
- title: "Comfusy: A Tool for Complete Functional Synthesis"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Mikaël Mayer"
    link: "https://researchr.org/alias/mika%C3%ABl-mayer"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14295-6_38"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14295-6_38"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cav/KuncakMPS10"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/KuncakMPS10"
  cites: 0
  citedby: 0
  pages: "430-433"
  booktitle: "cav"
  kind: "inproceedings"
  key: "KuncakMPS10"
- title: "Phantm: PHP analyzer for type mismatch"
  author:
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1882291.1882355"
  links:
    doi: "http://doi.acm.org/10.1145/1882291.1882355"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/KneussSK10"
  researchr: "https://researchr.org/publication/KneussSK10-0"
  cites: 0
  citedby: 0
  pages: "373-374"
  booktitle: "FSE"
  kind: "inproceedings"
  key: "KneussSK10-0"
- title: "Software synthesis procedures"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Mikaël Mayer"
    link: "https://researchr.org/alias/mika%C3%ABl-mayer"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2076450.2076472"
  links:
    doi: "http://doi.acm.org/10.1145/2076450.2076472"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cacm/KuncakMPS12"
  researchr: "https://researchr.org/publication/KuncakMPS12"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "55"
  number: "2"
  pages: "103-111"
  kind: "article"
  key: "KuncakMPS12"
- title: "Complete functional synthesis"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Mikaël Mayer"
    link: "https://researchr.org/alias/mika%C3%ABl-mayer"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806596.1806632"
  links:
    doi: "http://doi.acm.org/10.1145/1806596.1806632"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/KuncakMPS10"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/KuncakMPS10-0"
  cites: 0
  citedby: 0
  pages: "316-329"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "KuncakMPS10-0"
- title: "Reductions for Synthesis Procedures"
  author:
  - name: "Swen Jacobs"
    link: "https://researchr.org/alias/swen-jacobs"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-35873-9_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35873-9_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vmcai/JacobsKS13"
  researchr: "https://researchr.org/publication/JacobsKS13"
  cites: 0
  citedby: 0
  pages: "88-107"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "JacobsKS13"
- title: "Synthesis modulo recursive functions"
  author:
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Ivan Kuraj"
    link: "https://researchr.org/alias/ivan-kuraj"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2509136.2509555"
  links:
    doi: "http://doi.acm.org/10.1145/2509136.2509555"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/KneussKKS13"
  researchr: "https://researchr.org/publication/KneussKKS13"
  cites: 0
  citedby: 0
  pages: "407-426"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "KneussKKS13"
- title: "Inferring Web API Descriptions from Usage Data"
  author:
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Erik Wittern"
    link: "https://researchr.org/alias/erik-wittern"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/HotWeb.2015.19"
  links:
    doi: "http://dx.doi.org/10.1109/HotWeb.2015.19"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hotweb/SuterW15"
  researchr: "https://researchr.org/publication/SuterW15"
  cites: 0
  citedby: 0
  pages: "7-12"
  booktitle: "hotweb"
  kind: "inproceedings"
  key: "SuterW15"
- title: "Decision procedures for algebraic data types with abstractions"
  author:
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Mirco Dotta"
    link: "https://researchr.org/alias/mirco-dotta"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706299.1706325"
  links:
    doi: "http://doi.acm.org/10.1145/1706299.1706325"
  tags:
  - "data-flow"
  - " algebra"
  - "abstraction"
  researchr: "https://researchr.org/publication/SuterDK10"
  cites: 0
  citedby: 0
  pages: "199-210"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "SuterDK10"
- title: "Distributed programming in Scala with APGAS"
  author:
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Olivier Tardieu"
    link: "https://researchr.org/alias/olivier-tardieu"
  - name: "Josh Milthorpe"
    link: "https://researchr.org/alias/josh-milthorpe"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2774975.2774977"
  links:
    doi: "http://doi.acm.org/10.1145/2774975.2774977"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/SuterTM15"
  researchr: "https://researchr.org/publication/SuterTM15"
  cites: 0
  citedby: 0
  pages: "13-17"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "SuterTM15"
- title: "Effect Analysis for Programs with Callbacks"
  author:
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-54108-7_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-54108-7_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vstte/KneussKS13"
  researchr: "https://researchr.org/publication/KneussKS13"
  cites: 0
  citedby: 0
  pages: "48-67"
  booktitle: "vstte"
  kind: "inproceedings"
  key: "KneussKS13"
- title: "Runtime Instrumentation for Precise Flow-Sensitive Type Analysis"
  author:
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/KneussSK10"
  tags:
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/KneussSK10"
  cites: 0
  citedby: 0
  pages: "300-314"
  booktitle: "RV"
  kind: "inproceedings"
  key: "KneussSK10"
- title: "Satisfiability Modulo Recursive Programs"
  author:
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Ali Sinan Köksal"
    link: "https://researchr.org/alias/ali-sinan-k%C3%B6ksal"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-23702-7_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-23702-7_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sas/SuterKK11"
  researchr: "https://researchr.org/publication/SuterKK11"
  cites: 0
  citedby: 0
  pages: "298-315"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "SuterKK11"
- title: "Building a Calculus of Data Structures"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Thomas Wies"
    link: "https://researchr.org/alias/thomas-wies"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11319-2_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11319-2_6"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KuncakPSW10"
  cites: 0
  citedby: 0
  pages: "26-44"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "KuncakPSW10"
- title: "Executing Specifications Using Synthesis and Constraint Solving"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-40787-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-40787-1_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/KuncakKS13"
  researchr: "https://researchr.org/publication/KuncakKS13"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "RV"
  kind: "inproceedings"
  key: "KuncakKS13"
- title: "Constraints as control"
  author:
  - name: "Ali Sinan Köksal"
    link: "https://researchr.org/alias/ali-sinan-k%C3%B6ksal"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2103656.2103675"
  links:
    doi: "http://doi.acm.org/10.1145/2103656.2103675"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/KoksalKS12"
  researchr: "https://researchr.org/publication/KoksalKS12"
  cites: 0
  citedby: 0
  pages: "151-164"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "KoksalKS12"
- title: "Functional synthesis for linear arithmetic and sets"
  author:
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Mikaël Mayer"
    link: "https://researchr.org/alias/mika%C3%ABl-mayer"
  - name: "Ruzica Piskac"
    link: "https://researchr.org/alias/ruzica-piskac"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/s10009-011-0217-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-011-0217-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/KuncakMPS13"
  researchr: "https://researchr.org/publication/KuncakMPS13"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "15"
  number: "5-6"
  pages: "455-474"
  kind: "article"
  key: "KuncakMPS13"
- title: "An overview of the Leon verification system: verification by translation to recursive functions"
  author:
  - name: "Régis Blanc"
    link: "https://researchr.org/alias/r%C3%A9gis-blanc"
  - name: "Viktor Kuncak"
    link: "https://researchr.org/alias/viktor-kuncak"
  - name: "Etienne Kneuss"
    link: "https://researchr.org/alias/etienne-kneuss"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2489837.2489838"
  links:
    doi: "http://doi.acm.org/10.1145/2489837.2489838"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/BlancKKS13"
  researchr: "https://researchr.org/publication/BlancKKS13"
  cites: 0
  citedby: 0
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "BlancKKS13"
- title: "Spreadsheets for Stream Partitions and Windows"
  author:
  - name: "Martin Hirzel"
    link: "https://researchr.org/alias/martin-hirzel"
  - name: "Rodric Rabbah"
    link: "https://researchr.org/alias/rodric-rabbah"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  - name: "Olivier Tardieu"
    link: "https://researchr.org/alias/olivier-tardieu"
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  year: "2015"
  doi: "http://ceur-ws.org/Vol-1355/paper12.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1355/paper12.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/HirzelRSTV15"
  researchr: "https://researchr.org/publication/HirzelRSTV15"
  cites: 0
  citedby: 0
  pages: "39-40"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "HirzelRSTV15"
- title: "Cloud-native, event-based programming for mobile applications"
  author:
  - name: "Ioana Baldini"
    link: "https://researchr.org/alias/ioana-baldini"
  - name: "Paul Castro"
    link: "https://researchr.org/alias/paul-castro"
  - name: "Perry Cheng"
    link: "https://researchr.org/alias/perry-cheng"
  - name: "Stephen J. Fink"
    link: "https://researchr.org/alias/stephen-j.-fink"
  - name: "Vatche Ishakian"
    link: "https://researchr.org/alias/vatche-ishakian"
  - name: "Nick Mitchell"
    link: "https://researchr.org/alias/nick-mitchell"
  - name: "Vinod Muthusamy"
    link: "https://researchr.org/alias/vinod-muthusamy"
  - name: "Rodric Rabbah"
    link: "https://researchr.org/alias/rodric-rabbah"
  - name: "Philippe Suter"
    link: "https://psuter.net"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2897073.2897713"
  links:
    doi: "http://doi.acm.org/10.1145/2897073.2897713"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/BaldiniCCFIMMRS16"
  researchr: "https://researchr.org/publication/BaldiniCCFIMMRS16"
  cites: 0
  citedby: 0
  pages: "287-288"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BaldiniCCFIMMRS16"