356 lines
14 KiB
BibTeX
356 lines
14 KiB
BibTeX
|
@Article{DBLP:journals/software/WamplerC10,
|
||
|
|
author = {Dean Wampler and
|
||
|
|
Tony Clark},
|
||
|
|
title = {Guest Editors' Introduction: Multiparadigm Programming},
|
||
|
|
journal = {{IEEE} Software},
|
||
|
|
volume = {27},
|
||
|
|
number = {5},
|
||
|
|
pages = {20--24},
|
||
|
|
year = {2010},
|
||
|
|
url = {https://doi.org/10.1109/MS.2010.119},
|
||
|
|
doi = {10.1109/MS.2010.119},
|
||
|
|
timestamp = {Thu, 18 May 2017 09:53:36 +0200},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/software/WamplerC10},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@book{DBLP:series/lncs/Torra16,
|
||
|
|
author = {Vicen{\c{c}} Torra},
|
||
|
|
title = {Scala: From a Functional Programming Perspective - An Introduction
|
||
|
|
to the Programming Language},
|
||
|
|
series = {Lecture Notes in Computer Science},
|
||
|
|
volume = {9980},
|
||
|
|
publisher = {Springer},
|
||
|
|
year = {2016},
|
||
|
|
url = {https://doi.org/10.1007/978-3-319-46481-7},
|
||
|
|
doi = {10.1007/978-3-319-46481-7},
|
||
|
|
isbn = {978-3-319-46480-0},
|
||
|
|
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
|
||
|
|
biburl = {https://dblp.org/rec/bib/series/lncs/Torra16},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@book{DBLP:books/daglib/0030751,
|
||
|
|
author = {Markus Voelter and
|
||
|
|
Sebastian Benz and
|
||
|
|
Christian Dietrich and
|
||
|
|
Birgit Engelmann and
|
||
|
|
Mats Helander and
|
||
|
|
Lennart C. L. Kats and
|
||
|
|
Eelco Visser and
|
||
|
|
Guido Wachsmuth},
|
||
|
|
title = {{DSL} Engineering - Designing, Implementing and Using Domain-Specific
|
||
|
|
Languages},
|
||
|
|
publisher = {dslbook.org},
|
||
|
|
year = {2013},
|
||
|
|
url = {http://www.dslbook.org},
|
||
|
|
isbn = {978-1-4812-1858-0},
|
||
|
|
timestamp = {Fri, 24 Apr 2015 19:40:11 +0200},
|
||
|
|
biburl = {https://dblp.org/rec/bib/books/daglib/0030751},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/toplas/FosterGMPS07,
|
||
|
|
author = {J. Nathan Foster and
|
||
|
|
Michael B. Greenwald and
|
||
|
|
Jonathan T. Moore and
|
||
|
|
Benjamin C. Pierce and
|
||
|
|
Alan Schmitt},
|
||
|
|
title = {Combinators for bidirectional tree transformations: {A} linguistic
|
||
|
|
approach to the view-update problem},
|
||
|
|
journal = {{ACM} Trans. Program. Lang. Syst.},
|
||
|
|
volume = {29},
|
||
|
|
number = {3},
|
||
|
|
pages = {17},
|
||
|
|
year = {2007},
|
||
|
|
url = {https://doi.org/10.1145/1232420.1232424},
|
||
|
|
doi = {10.1145/1232420.1232424},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 12:51:29 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/toplas/FosterGMPS07},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{DBLP:conf/sp/RastogiHH14,
|
||
|
|
author = {Aseem Rastogi and
|
||
|
|
Matthew A. Hammer and
|
||
|
|
Michael Hicks},
|
||
|
|
title = {Wysteria: {A} Programming Language for Generic, Mixed-Mode Multiparty
|
||
|
|
Computations},
|
||
|
|
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
|
||
|
|
CA, USA, May 18-21, 2014},
|
||
|
|
pages = {655--670},
|
||
|
|
year = {2014},
|
||
|
|
crossref = {DBLP:conf/sp/2014},
|
||
|
|
url = {https://doi.org/10.1109/SP.2014.48},
|
||
|
|
doi = {10.1109/SP.2014.48},
|
||
|
|
timestamp = {Fri, 30 Nov 2018 13:31:30 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/sp/RastogiHH14},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{DBLP:conf/sosp/ThereskaBOKRTBZ13,
|
||
|
|
author = {Eno Thereska and
|
||
|
|
Hitesh Ballani and
|
||
|
|
Greg O'Shea and
|
||
|
|
Thomas Karagiannis and
|
||
|
|
Antony I. T. Rowstron and
|
||
|
|
Tom Talpey and
|
||
|
|
Richard Black and
|
||
|
|
Timothy Zhu},
|
||
|
|
title = {IOFlow: a software-defined storage architecture},
|
||
|
|
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
|
||
|
|
'13, Farmington, PA, USA, November 3-6, 2013},
|
||
|
|
pages = {182--196},
|
||
|
|
year = {2013},
|
||
|
|
crossref = {DBLP:conf/sosp/2013},
|
||
|
|
url = {https://doi.org/10.1145/2517349.2522723},
|
||
|
|
doi = {10.1145/2517349.2522723},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/sosp/ThereskaBOKRTBZ13},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
@inproceedings{DBLP:conf/popl/AndersonFGJKSW14,
|
||
|
|
author = {Carolyn Jane Anderson and
|
||
|
|
Nate Foster and
|
||
|
|
Arjun Guha and
|
||
|
|
Jean{-}Baptiste Jeannin and
|
||
|
|
Dexter Kozen and
|
||
|
|
Cole Schlesinger and
|
||
|
|
David Walker},
|
||
|
|
title = {NetkAT: semantic foundations for networks},
|
||
|
|
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
|
||
|
|
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
|
||
|
|
2014},
|
||
|
|
pages = {113--126},
|
||
|
|
year = {2014},
|
||
|
|
crossref = {DBLP:conf/popl/2014},
|
||
|
|
url = {https://doi.org/10.1145/2535838.2535862},
|
||
|
|
doi = {10.1145/2535838.2535862},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/popl/AndersonFGJKSW14},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/ccr/BosshartDGIMRSTVVW14,
|
||
|
|
author = {Pat Bosshart and
|
||
|
|
Dan Daly and
|
||
|
|
Glen Gibb and
|
||
|
|
Martin Izzard and
|
||
|
|
Nick McKeown and
|
||
|
|
Jennifer Rexford and
|
||
|
|
Cole Schlesinger and
|
||
|
|
Dan Talayco and
|
||
|
|
Amin Vahdat and
|
||
|
|
George Varghese and
|
||
|
|
David Walker},
|
||
|
|
title = {{P4:} programming protocol-independent packet processors},
|
||
|
|
journal = {Computer Communication Review},
|
||
|
|
volume = {44},
|
||
|
|
number = {3},
|
||
|
|
pages = {87--95},
|
||
|
|
year = {2014},
|
||
|
|
url = {https://doi.org/10.1145/2656877.2656890},
|
||
|
|
doi = {10.1145/2656877.2656890},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 12:51:52 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/ccr/BosshartDGIMRSTVVW14},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/cacm/ResnickMMREBMRSSK09,
|
||
|
|
author = {Mitchel Resnick and
|
||
|
|
John Maloney and
|
||
|
|
Andr{\'{e}}s Monroy{-}Hern{\'{a}}ndez and
|
||
|
|
Natalie Rusk and
|
||
|
|
Evelyn Eastmond and
|
||
|
|
Karen Brennan and
|
||
|
|
Amon Millner and
|
||
|
|
Eric Rosenbaum and
|
||
|
|
Jay S. Silver and
|
||
|
|
Brian Silverman and
|
||
|
|
Yasmin B. Kafai},
|
||
|
|
title = {Scratch: programming for all},
|
||
|
|
journal = {Commun. {ACM}},
|
||
|
|
volume = {52},
|
||
|
|
number = {11},
|
||
|
|
pages = {60--67},
|
||
|
|
year = {2009},
|
||
|
|
url = {https://doi.org/10.1145/1592761.1592779},
|
||
|
|
doi = {10.1145/1592761.1592779},
|
||
|
|
timestamp = {Wed, 14 Nov 2018 10:22:30 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/cacm/ResnickMMREBMRSSK09},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{DBLP:conf/osdi/ChenMJZYSCWHCGK18,
|
||
|
|
author = {Tianqi Chen and
|
||
|
|
Thierry Moreau and
|
||
|
|
Ziheng Jiang and
|
||
|
|
Lianmin Zheng and
|
||
|
|
Eddie Q. Yan and
|
||
|
|
Haichen Shen and
|
||
|
|
Meghan Cowan and
|
||
|
|
Leyuan Wang and
|
||
|
|
Yuwei Hu and
|
||
|
|
Luis Ceze and
|
||
|
|
Carlos Guestrin and
|
||
|
|
Arvind Krishnamurthy},
|
||
|
|
title = {{TVM:} An Automated End-to-End Optimizing Compiler for Deep Learning},
|
||
|
|
booktitle = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
|
||
|
|
{OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018.},
|
||
|
|
pages = {578--594},
|
||
|
|
year = {2018},
|
||
|
|
crossref = {DBLP:conf/osdi/2018},
|
||
|
|
url = {https://www.usenix.org/conference/osdi18/presentation/chen},
|
||
|
|
timestamp = {Tue, 29 Jan 2019 17:35:36 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/osdi/ChenMJZYSCWHCGK18},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/cacm/RompfO12,
|
||
|
|
author = {Tiark Rompf and
|
||
|
|
Martin Odersky},
|
||
|
|
title = {Lightweight modular staging: a pragmatic approach to runtime code
|
||
|
|
generation and compiled DSLs},
|
||
|
|
journal = {Commun. {ACM}},
|
||
|
|
volume = {55},
|
||
|
|
number = {6},
|
||
|
|
pages = {121--130},
|
||
|
|
year = {2012},
|
||
|
|
url = {https://doi.org/10.1145/2184319.2184345},
|
||
|
|
doi = {10.1145/2184319.2184345},
|
||
|
|
timestamp = {Wed, 14 Nov 2018 10:22:35 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/cacm/RompfO12},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/pacmpl/WangWS19,
|
||
|
|
author = {Yuting Wang and
|
||
|
|
Pierre Wilke and
|
||
|
|
Zhong Shao},
|
||
|
|
title = {An abstract stack based approach to verified compositional compilation
|
||
|
|
to machine code},
|
||
|
|
journal = {{PACMPL}},
|
||
|
|
volume = {3},
|
||
|
|
number = {{POPL}},
|
||
|
|
pages = {62:1--62:30},
|
||
|
|
year = {2019},
|
||
|
|
url = {https://doi.org/10.1145/3290375},
|
||
|
|
doi = {10.1145/3290375},
|
||
|
|
timestamp = {Fri, 10 May 2019 11:01:57 +0200},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/pacmpl/WangWS19},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{DBLP:conf/pldi/YangCER11,
|
||
|
|
author = {Xuejun Yang and
|
||
|
|
Yang Chen and
|
||
|
|
Eric Eide and
|
||
|
|
John Regehr},
|
||
|
|
title = {Finding and understanding bugs in {C} compilers},
|
||
|
|
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
|
||
|
|
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
|
||
|
|
June 4-8, 2011},
|
||
|
|
pages = {283--294},
|
||
|
|
year = {2011},
|
||
|
|
crossref = {DBLP:conf/pldi/2011},
|
||
|
|
url = {https://doi.org/10.1145/1993498.1993532},
|
||
|
|
doi = {10.1145/1993498.1993532},
|
||
|
|
timestamp = {Wed, 14 Nov 2018 10:54:59 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/pldi/YangCER11},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/ftpl/GulwaniPS17,
|
||
|
|
author = {Sumit Gulwani and
|
||
|
|
Oleksandr Polozov and
|
||
|
|
Rishabh Singh},
|
||
|
|
title = {Program Synthesis},
|
||
|
|
journal = {Foundations and Trends in Programming Languages},
|
||
|
|
volume = {4},
|
||
|
|
number = {1-2},
|
||
|
|
pages = {1--119},
|
||
|
|
year = {2017},
|
||
|
|
url = {https://doi.org/10.1561/2500000010},
|
||
|
|
doi = {10.1561/2500000010},
|
||
|
|
timestamp = {Wed, 14 Nov 2018 10:17:24 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/ftpl/GulwaniPS17},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/ftpl/VechevY16,
|
||
|
|
author = {Martin T. Vechev and
|
||
|
|
Eran Yahav},
|
||
|
|
title = {Programming with "Big Code"},
|
||
|
|
journal = {Foundations and Trends in Programming Languages},
|
||
|
|
volume = {3},
|
||
|
|
number = {4},
|
||
|
|
pages = {231--284},
|
||
|
|
year = {2016},
|
||
|
|
url = {https://doi.org/10.1561/2500000028},
|
||
|
|
doi = {10.1561/2500000028},
|
||
|
|
timestamp = {Fri, 26 May 2017 22:50:41 +0200},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/ftpl/VechevY16},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@article{DBLP:journals/cacm/Leroy09,
|
||
|
|
author = {Xavier Leroy},
|
||
|
|
title = {Formal verification of a realistic compiler},
|
||
|
|
journal = {Commun. {ACM}},
|
||
|
|
volume = {52},
|
||
|
|
number = {7},
|
||
|
|
pages = {107--115},
|
||
|
|
year = {2009},
|
||
|
|
url = {https://doi.org/10.1145/1538788.1538814},
|
||
|
|
doi = {10.1145/1538788.1538814},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 12:51:38 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/journals/cacm/Leroy09},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@inproceedings{DBLP:conf/popl/MonsantoFHW12,
|
||
|
|
author = {Christopher Monsanto and
|
||
|
|
Nate Foster and
|
||
|
|
Rob Harrison and
|
||
|
|
David Walker},
|
||
|
|
title = {A compiler and run-time system for network programming languages},
|
||
|
|
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
|
||
|
|
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
|
||
|
|
USA, January 22-28, 2012},
|
||
|
|
pages = {217--230},
|
||
|
|
year = {2012},
|
||
|
|
crossref = {DBLP:conf/popl/2012},
|
||
|
|
url = {https://doi.org/10.1145/2103656.2103685},
|
||
|
|
doi = {10.1145/2103656.2103685},
|
||
|
|
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
|
||
|
|
biburl = {https://dblp.org/rec/bib/conf/popl/MonsantoFHW12},
|
||
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
|
|
}
|
||
|
|
|
||
|
|
@techreport{2019Move,
|
||
|
|
author = {Sam Blackshear and Evan Cheng and David L. Dill and Victor Gao and Ben Maurer and Todd Nowacki and Alistair Pott and Shaz Qadeer and Rain and Dario Russi and Stephane Sezer and Tim Zakian and Runtian Zhou},
|
||
|
|
title = {Move: A Language With Programmable Resources},
|
||
|
|
year = {2019},
|
||
|
|
institution = {The Libra Association},
|
||
|
|
url = {https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf},
|
||
|
|
}
|
||
|
|
@article{DBLP:journals/jss2/Carpenter17,
|
||
|
|
author = {Bob Carpenter and Andrew Gelman and Matt Hoffman and Daniel Lee and Ben Goodrich and Michael Betancourt and Marcus A. Brubaker and Jiqiang Guo and Peter Li and Allen Riddell},
|
||
|
|
title = {Stan: A Probabilistic Programming Language},
|
||
|
|
journal = {Journal of Statistical Software},
|
||
|
|
volume = {76},
|
||
|
|
number = {1},
|
||
|
|
pages = {1--32},
|
||
|
|
year = {2017}
|
||
|
|
}
|
||
|
|
@article{kar50323,
|
||
|
|
author = {Zhenjiang Hu and John Hughes and Meng Wang},
|
||
|
|
title = {How functional programming mattered},
|
||
|
|
volume = {2},
|
||
|
|
number = {3},
|
||
|
|
publisher = {Oxford Journals},
|
||
|
|
journal = {National Science Review},
|
||
|
|
pages = {349--370},
|
||
|
|
year = {2015}
|
||
|
|
}
|