Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philippe Suter
@inproceedings{DBLP:conf/icse/BasetLST17,
author = {Salman Abdul Baset and
Shih{-}Wei Li and
Philippe Suter and
Omer Tripp},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Identifying Android library dependencies in the presence of code obfuscation
and minimization},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {250--252},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.79},
doi = {10.1109/ICSE-C.2017.79},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BasetLST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/RapoportSWLD17,
author = {Marianna Rapoport and
Philippe Suter and
Erik Wittern and
Ondrej Lhot{\'{a}}k and
Julian Dolby},
editor = {Jes{\'{u}}s M. Gonz{\'{a}}lez{-}Barahona and
Abram Hindle and
Lin Tan},
title = {Who you gonna call?: analyzing web requests in Android applications},
booktitle = {Proceedings of the 14th International Conference on Mining Software
Repositories, {MSR} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {80--90},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MSR.2017.11},
doi = {10.1109/MSR.2017.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/RapoportSWLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BaldiniCFMMRST17,
author = {Ioana Baldini and
Perry Cheng and
Stephen J. Fink and
Nick Mitchell and
Vinod Muthusamy and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {The serverless trilemma: function composition for serverless computing},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {89--103},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133855},
doi = {10.1145/3133850.3133855},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BaldiniCFMMRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BaldiniCCCFIMMRSS17,
author = {Ioana Baldini and
Paul C. Castro and
Kerry Shih{-}Ping Chang and
Perry Cheng and
Stephen Fink and
Vatche Ishakian and
Nick Mitchell and
Vinod Muthusamy and
Rodric Rabbah and
Aleksander Slominski and
Philippe Suter},
editor = {Sanjay Chaudhary and
Gaurav Somani and
Rajkumar Buyya},
title = {Serverless Computing: Current Trends and Open Problems},
booktitle = {Research Advances in Cloud Computing},
pages = {1--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-981-10-5026-8\_1},
doi = {10.1007/978-981-10-5026-8\_1},
timestamp = {Tue, 29 Dec 2020 18:14:49 +0100},
biburl = {https://dblp.org/rec/books/sp/17/BaldiniCCCFIMMRSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RapoportSWLD17,
author = {Marianna Rapoport and
Philippe Suter and
Erik Wittern and
Ondrej Lhot{\'{a}}k and
Julian Dolby},
title = {Who you gonna call? Analyzing Web Requests in Android Applications},
journal = {CoRR},
volume = {abs/1705.06629},
year = {2017},
url = {http://arxiv.org/abs/1705.06629},
eprinttype = {arXiv},
eprint = {1705.06629},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RapoportSWLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaldiniCCCFIMMR17,
author = {Ioana Baldini and
Paul C. Castro and
Kerry Shih{-}Ping Chang and
Perry Cheng and
Stephen J. Fink and
Vatche Ishakian and
Nick Mitchell and
Vinod Muthusamy and
Rodric M. Rabbah and
Aleksander Slominski and
Philippe Suter},
title = {Serverless Computing: Current Trends and Open Problems},
journal = {CoRR},
volume = {abs/1706.03178},
year = {2017},
url = {http://arxiv.org/abs/1706.03178},
eprinttype = {arXiv},
eprint = {1706.03178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaldiniCCCFIMMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/HirzelRSTV16,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
editor = {Avigdor Gal and
Matthias Weidlich and
Vana Kalogeraki and
Nalini Venkasubramanian},
title = {Spreadsheets for stream processing with unbounded windows and partitions},
booktitle = {Proceedings of the 10th {ACM} International Conference on Distributed
and Event-based Systems, {DEBS} '16, Irvine, CA, USA, June 20 - 24,
2016},
pages = {49--60},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933267.2933607},
doi = {10.1145/2933267.2933607},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/debs/HirzelRSTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaldiniCCFIMMRS16,
author = {Ioana Baldini and
Paul C. Castro and
Perry Cheng and
Stephen J. Fink and
Vatche Ishakian and
Nick Mitchell and
Vinod Muthusamy and
Rodric Rabbah and
Philippe Suter},
title = {Cloud-native, event-based programming for mobile applications},
booktitle = {Proceedings of the International Conference on Mobile Software Engineering
and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
pages = {287--288},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897073.2897713},
doi = {10.1145/2897073.2897713},
timestamp = {Wed, 04 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaldiniCCFIMMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/WitternSR16,
author = {Erik Wittern and
Philippe Suter and
Shriram Rajagopalan},
editor = {Miryung Kim and
Romain Robbes and
Christian Bird},
title = {A look at the dynamics of the JavaScript package ecosystem},
booktitle = {Proceedings of the 13th International Conference on Mining Software
Repositories, {MSR} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {351--361},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2901739.2901743},
doi = {10.1145/2901739.2901743},
timestamp = {Tue, 06 Nov 2018 16:57:14 +0100},
biburl = {https://dblp.org/rec/conf/msr/WitternSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotweb/SuterW15,
author = {Philippe Suter and
Erik Wittern},
title = {Inferring Web {API} Descriptions from Usage Data},
booktitle = {Third {IEEE} Workshop on Hot Topics in Web Systems and Technologies,
HotWeb 2015, Washington, DC, USA, November 12-13, 2015},
pages = {7--12},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HotWeb.2015.19},
doi = {10.1109/HOTWEB.2015.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotweb/SuterW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HirzelRSTV15,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {Spreadsheets for Stream Partitions and Windows},
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},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
pages = {39--40},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:12 +0100},
biburl = {https://dblp.org/rec/conf/icse/HirzelRSTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SuterTM15,
author = {Philippe Suter and
Olivier Tardieu and
Josh Milthorpe},
editor = {Philipp Haller and
Heather Miller},
title = {Distributed programming in Scala with {APGAS}},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {13--17},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774977},
doi = {10.1145/2774975.2774977},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SuterTM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HirzelRSTV15,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
title = {Spreadsheets for Stream Partitions and Windows},
journal = {CoRR},
volume = {abs/1503.04215},
year = {2015},
url = {http://arxiv.org/abs/1503.04215},
eprinttype = {arXiv},
eprint = {1503.04215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HirzelRSTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTRSH14,
author = {Mandana Vaziri and
Olivier Tardieu and
Rodric Rabbah and
Philippe Suter and
Martin Hirzel},
editor = {Richard E. Jones},
title = {Stream Processing with a Spreadsheet},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {360--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_15},
doi = {10.1007/978-3-662-44202-9\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTRSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KuncakMPS13,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
title = {Functional synthesis for linear arithmetic and sets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {455--474},
year = {2013},
url = {https://doi.org/10.1007/s10009-011-0217-7},
doi = {10.1007/S10009-011-0217-7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KuncakMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BlancKKS13,
author = {R{\'{e}}gis Blanc and
Viktor Kuncak and
Etienne Kneuss and
Philippe Suter},
title = {An overview of the Leon verification system: verification by translation
to recursive functions},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489838},
doi = {10.1145/2489837.2489838},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BlancKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KneussKKS13,
author = {Etienne Kneuss and
Ivan Kuraj and
Viktor Kuncak and
Philippe Suter},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Synthesis modulo recursive functions},
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},
pages = {407--426},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509555},
doi = {10.1145/2509136.2509555},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KneussKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KuncakKS13,
author = {Viktor Kuncak and
Etienne Kneuss and
Philippe Suter},
editor = {Axel Legay and
Saddek Bensalem},
title = {Executing Specifications Using Synthesis and Constraint Solving},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {1--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_1},
doi = {10.1007/978-3-642-40787-1\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KuncakKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsKS13,
author = {Swen Jacobs and
Viktor Kuncak and
Philippe Suter},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Reductions for Synthesis Procedures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {88--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_8},
doi = {10.1007/978-3-642-35873-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KneussKS13,
author = {Etienne Kneuss and
Viktor Kuncak and
Philippe Suter},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Effect Analysis for Programs with Callbacks},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {48--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_3},
doi = {10.1007/978-3-642-54108-7\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/KneussKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5661,
author = {Etienne Kneuss and
Viktor Kuncak and
Ivan Kuraj and
Philippe Suter},
title = {On Integrating Deductive Synthesis and Verification Systems},
journal = {CoRR},
volume = {abs/1304.5661},
year = {2013},
url = {http://arxiv.org/abs/1304.5661},
eprinttype = {arXiv},
eprint = {1304.5661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ch/Suter12,
author = {Philippe Suter},
title = {Programming with Specifications},
school = {EPFL, Switzerland},
year = {2012},
url = {https://doi.org/10.5075/epfl-thesis-5581},
doi = {10.5075/EPFL-THESIS-5581},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ch/Suter12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KuncakMPS12,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
title = {Software synthesis procedures},
journal = {Commun. {ACM}},
volume = {55},
number = {2},
pages = {103--111},
year = {2012},
url = {https://doi.org/10.1145/2076450.2076472},
doi = {10.1145/2076450.2076472},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/KuncakMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalKS12,
author = {Ali Sinan K{\"{o}}ksal and
Viktor Kuncak and
Philippe Suter},
editor = {John Field and
Michael Hicks},
title = {Constraints as control},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {151--164},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103675},
doi = {10.1145/2103656.2103675},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KoksalKS11,
author = {Ali Sinan K{\"{o}}ksal and
Viktor Kuncak and
Philippe Suter},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Scala to the Power of {Z3:} Integrating {SMT} and Programming},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {400--406},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_30},
doi = {10.1007/978-3-642-22438-6\_30},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KoksalKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SuterKK11,
author = {Philippe Suter and
Ali Sinan K{\"{o}}ksal and
Viktor Kuncak},
editor = {Eran Yahav},
title = {Satisfiability Modulo Recursive Programs},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {298--315},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_23},
doi = {10.1007/978-3-642-23702-7\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SuterKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SuterSK11,
author = {Philippe Suter and
Robin Steiger and
Viktor Kuncak},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Sets with Cardinality Constraints in Satisfiability Modulo Theories},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {403--418},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_28},
doi = {10.1007/978-3-642-18275-4\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SuterSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuncakMPS10,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Comfusy: {A} Tool for Complete Functional Synthesis},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {430--433},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_38},
doi = {10.1007/978-3-642-14295-6\_38},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KuncakMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KuncakPS10,
author = {Viktor Kuncak and
Ruzica Piskac and
Philippe Suter},
editor = {Anuj Dawar and
Helmut Veith},
title = {Ordered Sets in the Calculus of Data Structures},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {34--48},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_5},
doi = {10.1007/978-3-642-15205-4\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KuncakPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuncakMPS10,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Complete functional synthesis},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {316--329},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806632},
doi = {10.1145/1806596.1806632},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KuncakMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuterDK10,
author = {Philippe Suter and
Mirco Dotta and
Viktor Kuncak},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Decision procedures for algebraic data types with abstractions},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {199--210},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706325},
doi = {10.1145/1706299.1706325},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/SuterDK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KneussSK10,
author = {Etienne Kneuss and
Philippe Suter and
Viktor Kuncak},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Instrumentation for Precise Flow-Sensitive Type Analysis},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {300--314},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_23},
doi = {10.1007/978-3-642-16612-9\_23},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/KneussSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KneussSK10,
author = {Etienne Kneuss and
Philippe Suter and
Viktor Kuncak},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Phantm: {PHP} analyzer for type mismatch},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {373--374},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882355},
doi = {10.1145/1882291.1882355},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KneussSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KuncakPSW10,
author = {Viktor Kuncak and
Ruzica Piskac and
Philippe Suter and
Thomas Wies},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Building a Calculus of Data Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {26--44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_6},
doi = {10.1007/978-3-642-11319-2\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KuncakPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
