@inproceedings{KoksalKS11,
  title = {Scala to the Power of Z3: Integrating SMT and Programming},
  author = {Ali Sinan Köksal and Viktor Kuncak and Philippe Suter},
  year = {2011},
  doi = {10.1007/978-3-642-22438-6_30},
  url = {http://dx.doi.org/10.1007/978-3-642-22438-6_30},
  tags = {Scala, programming},
  researchr = {https://researchr.org/publication/KoksalKS11},
  cites = {0},
  citedby = {0},
  pages = {400-406},
  booktitle = {Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  editor = {Nikolaj Bjørner and Viorica Sofronie-Stokkermans},
  volume = {6803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22437-9},
}

@inproceedings{SuterSK11,
  title = {Sets with Cardinality Constraints in Satisfiability Modulo Theories},
  author = {Philippe Suter and Robin Steiger and Viktor Kuncak},
  year = {2011},
  doi = {10.1007/978-3-642-18275-4_28},
  url = {http://dx.doi.org/10.1007/978-3-642-18275-4_28},
  tags = {constraints},
  researchr = {https://researchr.org/publication/SuterSK11},
  cites = {0},
  citedby = {0},
  pages = {403-418},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  editor = {Ranjit Jhala and David A. Schmidt},
  volume = {6538},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-18274-7},
}

@inproceedings{VaziriTRSH14,
  title = {Stream Processing with a Spreadsheet},
  author = {Mandana Vaziri and Olivier Tardieu and Rodric Rabbah and Philippe Suter and Martin Hirzel},
  year = {2014},
  doi = {10.1007/978-3-662-44202-9_15},
  url = {http://dx.doi.org/10.1007/978-3-662-44202-9_15},
  researchr = {https://researchr.org/publication/VaziriTRSH14},
  cites = {0},
  citedby = {0},
  pages = {360-384},
  booktitle = {ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
  editor = {Richard Jones},
  volume = {8586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-44201-2},
}

@inproceedings{WitternSR16,
  title = {A look at the dynamics of the JavaScript package ecosystem},
  author = {Erik Wittern and Philippe Suter and Shriram Rajagopalan},
  year = {2016},
  doi = {10.1145/2901739.2901743},
  url = {http://doi.acm.org/10.1145/2901739.2901743},
  researchr = {https://researchr.org/publication/WitternSR16},
  cites = {0},
  citedby = {0},
  pages = {351-361},
  booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, TX, USA, May 14-22, 2016},
  editor = {Miryung Kim and Romain Robbes and Christian Bird},
  publisher = {ACM},
  isbn = {978-1-4503-4186-8},
}

@inproceedings{KuncakPS10,
  title = {Ordered Sets in the Calculus of Data Structures},
  author = {Viktor Kuncak and Ruzica Piskac and Philippe Suter},
  year = {2010},
  doi = {10.1007/978-3-642-15205-4_5},
  url = {http://dx.doi.org/10.1007/978-3-642-15205-4_5},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/KuncakPS10},
  cites = {0},
  citedby = {0},
  pages = {34-48},
  booktitle = {Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings},
  editor = {Anuj Dawar and Helmut Veith},
  volume = {6247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15204-7},
}

@inproceedings{HirzelRSTV16,
  title = {Spreadsheets for stream processing with unbounded windows and partitions},
  author = {Martin Hirzel and Rodric Rabbah and Philippe Suter and Olivier Tardieu and Mandana Vaziri},
  year = {2016},
  doi = {10.1145/2933267.2933607},
  url = {http://doi.acm.org/10.1145/2933267.2933607},
  researchr = {https://researchr.org/publication/HirzelRSTV16},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016},
  editor = {Avigdor Gal and Matthias Weidlich and Vana Kalogeraki and Nalini Venkasubramanian},
  publisher = {ACM},
  isbn = {978-1-4503-4021-2},
}

@inproceedings{KuncakMPS10,
  title = {Comfusy: A Tool for Complete Functional Synthesis},
  author = {Viktor Kuncak and Mikaël Mayer and Ruzica Piskac and Philippe Suter},
  year = {2010},
  doi = {10.1007/978-3-642-14295-6_38},
  url = {http://dx.doi.org/10.1007/978-3-642-14295-6_38},
  tags = {completeness},
  researchr = {https://researchr.org/publication/KuncakMPS10},
  cites = {0},
  citedby = {0},
  pages = {430-433},
  booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  editor = {Tayssir Touili and Byron Cook and Paul Jackson},
  volume = {6174},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14294-9},
}

@inproceedings{KneussSK10-0,
  title = {Phantm: PHP analyzer for type mismatch},
  author = {Etienne Kneuss and Philippe Suter and Viktor Kuncak},
  year = {2010},
  doi = {10.1145/1882291.1882355},
  url = {http://doi.acm.org/10.1145/1882291.1882355},
  researchr = {https://researchr.org/publication/KneussSK10-0},
  cites = {0},
  citedby = {0},
  pages = {373-374},
  booktitle = {Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-60558-791-2},
}

@article{KuncakMPS12,
  title = {Software synthesis procedures},
  author = {Viktor Kuncak and Mikaël Mayer and Ruzica Piskac and Philippe Suter},
  year = {2012},
  doi = {10.1145/2076450.2076472},
  url = {http://doi.acm.org/10.1145/2076450.2076472},
  researchr = {https://researchr.org/publication/KuncakMPS12},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {55},
  number = {2},
  pages = {103-111},
}

@inproceedings{KuncakMPS10-0,
  title = {Complete functional synthesis},
  author = {Viktor Kuncak and Mikaël Mayer and Ruzica Piskac and Philippe Suter},
  year = {2010},
  doi = {10.1145/1806596.1806632},
  url = {http://doi.acm.org/10.1145/1806596.1806632},
  tags = {completeness},
  researchr = {https://researchr.org/publication/KuncakMPS10-0},
  cites = {0},
  citedby = {0},
  pages = {316-329},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
  editor = {Benjamin G. Zorn and Alexander Aiken},
  publisher = {ACM},
  isbn = {978-1-4503-0019-3},
}

@inproceedings{JacobsKS13,
  title = {Reductions for Synthesis Procedures},
  author = {Swen Jacobs and Viktor Kuncak and Philippe Suter},
  year = {2013},
  doi = {10.1007/978-3-642-35873-9_8},
  url = {http://dx.doi.org/10.1007/978-3-642-35873-9_8},
  researchr = {https://researchr.org/publication/JacobsKS13},
  cites = {0},
  citedby = {0},
  pages = {88-107},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  editor = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni},
  volume = {7737},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35873-9},
}

@inproceedings{KneussKKS13,
  title = {Synthesis modulo recursive functions},
  author = {Etienne Kneuss and Ivan Kuraj and Viktor Kuncak and Philippe Suter},
  year = {2013},
  doi = {10.1145/2509136.2509555},
  url = {http://doi.acm.org/10.1145/2509136.2509555},
  researchr = {https://researchr.org/publication/KneussKKS13},
  cites = {0},
  citedby = {0},
  pages = {407-426},
  booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes},
  publisher = {ACM},
  isbn = {978-1-4503-2374-1},
}

@inproceedings{SuterW15,
  title = {Inferring Web API Descriptions from Usage Data},
  author = {Philippe Suter and Erik Wittern},
  year = {2015},
  doi = {10.1109/HotWeb.2015.19},
  url = {http://dx.doi.org/10.1109/HotWeb.2015.19},
  researchr = {https://researchr.org/publication/SuterW15},
  cites = {0},
  citedby = {0},
  pages = {7-12},
  booktitle = {Third IEEE Workshop on Hot Topics in Web Systems and Technologies, HotWeb 2015, Washington, DC, USA, November 12-13, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-9688-2},
}

@inproceedings{SuterDK10,
  title = {Decision procedures for algebraic data types with abstractions},
  author = {Philippe Suter and Mirco Dotta and Viktor Kuncak},
  year = {2010},
  doi = {10.1145/1706299.1706325},
  url = {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 = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@inproceedings{SuterTM15,
  title = {Distributed programming in Scala with APGAS},
  author = {Philippe Suter and Olivier Tardieu and Josh Milthorpe},
  year = {2015},
  doi = {10.1145/2774975.2774977},
  url = {http://doi.acm.org/10.1145/2774975.2774977},
  researchr = {https://researchr.org/publication/SuterTM15},
  cites = {0},
  citedby = {0},
  pages = {13-17},
  booktitle = {Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala 2015, Portland, OR, USA, June 15-17, 2015},
  editor = {Philipp Haller and Heather Miller},
  publisher = {ACM},
  isbn = {978-1-4503-3626-0},
}

@inproceedings{KneussKS13,
  title = {Effect Analysis for Programs with Callbacks},
  author = {Etienne Kneuss and Viktor Kuncak and Philippe Suter},
  year = {2013},
  doi = {10.1007/978-3-642-54108-7_3},
  url = {http://dx.doi.org/10.1007/978-3-642-54108-7_3},
  researchr = {https://researchr.org/publication/KneussKS13},
  cites = {0},
  citedby = {0},
  pages = {48-67},
  booktitle = {Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers},
  editor = {Ernie Cohen and Andrey Rybalchenko},
  volume = {8164},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54107-0},
}

@inproceedings{KneussSK10,
  title = {Runtime Instrumentation for Precise Flow-Sensitive Type Analysis},
  author = {Etienne Kneuss and Philippe Suter and Viktor Kuncak},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_23},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_23},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/KneussSK10},
  cites = {0},
  citedby = {0},
  pages = {300-314},
  booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
  editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
  volume = {6418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16611-2},
}

@inproceedings{SuterKK11,
  title = {Satisfiability Modulo Recursive Programs},
  author = {Philippe Suter and Ali Sinan Köksal and Viktor Kuncak},
  year = {2011},
  doi = {10.1007/978-3-642-23702-7_23},
  url = {http://dx.doi.org/10.1007/978-3-642-23702-7_23},
  researchr = {https://researchr.org/publication/SuterKK11},
  cites = {0},
  citedby = {0},
  pages = {298-315},
  booktitle = {Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings},
  editor = {Eran Yahav},
  volume = {6887},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-23701-0},
}

@inproceedings{KuncakPSW10,
  title = {Building a Calculus of Data Structures},
  author = {Viktor Kuncak and Ruzica Piskac and Philippe Suter and Thomas Wies},
  year = {2010},
  doi = {10.1007/978-3-642-11319-2_6},
  url = {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 = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  editor = {Gilles Barthe and Manuel V. Hermenegildo},
  volume = {5944},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11318-5},
}

@inproceedings{KuncakKS13,
  title = {Executing Specifications Using Synthesis and Constraint Solving},
  author = {Viktor Kuncak and Etienne Kneuss and Philippe Suter},
  year = {2013},
  doi = {10.1007/978-3-642-40787-1_1},
  url = {http://dx.doi.org/10.1007/978-3-642-40787-1_1},
  researchr = {https://researchr.org/publication/KuncakKS13},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings},
  editor = {Axel Legay and Saddek Bensalem},
  volume = {8174},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40786-4},
}

@inproceedings{KoksalKS12,
  title = {Constraints as control},
  author = {Ali Sinan Köksal and Viktor Kuncak and Philippe Suter},
  year = {2012},
  doi = {10.1145/2103656.2103675},
  url = {http://doi.acm.org/10.1145/2103656.2103675},
  researchr = {https://researchr.org/publication/KoksalKS12},
  cites = {0},
  citedby = {0},
  pages = {151-164},
  booktitle = {Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012},
  editor = {John Field and Michael Hicks},
  publisher = {ACM},
  isbn = {978-1-4503-1083-3},
}

@article{KuncakMPS13,
  title = {Functional synthesis for linear arithmetic and sets},
  author = {Viktor Kuncak and Mikaël Mayer and Ruzica Piskac and Philippe Suter},
  year = {2013},
  doi = {10.1007/s10009-011-0217-7},
  url = {http://dx.doi.org/10.1007/s10009-011-0217-7},
  researchr = {https://researchr.org/publication/KuncakMPS13},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {15},
  number = {5-6},
  pages = {455-474},
}

@inproceedings{BlancKKS13,
  title = {An overview of the Leon verification system: verification by translation to recursive functions},
  author = {Régis Blanc and Viktor Kuncak and Etienne Kneuss and Philippe Suter},
  year = {2013},
  doi = {10.1145/2489837.2489838},
  url = {http://doi.acm.org/10.1145/2489837.2489838},
  researchr = {https://researchr.org/publication/BlancKKS13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013},
  publisher = {ACM},
  isbn = {978-1-4503-2064-1},
}

@inproceedings{HirzelRSTV15,
  title = {Spreadsheets for Stream Partitions and Windows},
  author = {Martin Hirzel and Rodric Rabbah and Philippe Suter and Olivier Tardieu and Mandana Vaziri},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1355/paper12.pdf},
  researchr = {https://researchr.org/publication/HirzelRSTV15},
  cites = {0},
  citedby = {0},
  pages = {39-40},
  booktitle = {Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015},
  editor = {Felienne Hermans and Richard F. Paige and Peter Sestoft},
  volume = {1355},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{BaldiniCCFIMMRS16,
  title = {Cloud-native, event-based programming for mobile applications},
  author = {Ioana Baldini and Paul Castro and Perry Cheng and Stephen J. Fink and Vatche Ishakian and Nick Mitchell and Vinod Muthusamy and Rodric Rabbah and Philippe Suter},
  year = {2016},
  doi = {10.1145/2897073.2897713},
  url = {http://doi.acm.org/10.1145/2897073.2897713},
  researchr = {https://researchr.org/publication/BaldiniCCFIMMRS16},
  cites = {0},
  citedby = {0},
  pages = {287-288},
  booktitle = {Proceedings of the International Conference on Mobile Software Engineering and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
  publisher = {ACM},
  isbn = {978-1-4503-4178-3},
}