137 lines
6.0 KiB
Plaintext
137 lines
6.0 KiB
Plaintext
\begin{thebibliography}{10}
|
|
|
|
\bibitem{DBLP:journals/software/WamplerC10}
|
|
Dean Wampler and Tony Clark.
|
|
\newblock Guest editors' introduction: Multiparadigm programming.
|
|
\newblock {\em {IEEE} Software}, 27(5):20--24, 2010.
|
|
|
|
\bibitem{DBLP:series/lncs/Torra16}
|
|
Vicen{\c{c}} Torra.
|
|
\newblock {\em Scala: From a Functional Programming Perspective - An
|
|
Introduction to the Programming Language}, volume 9980 of {\em Lecture Notes
|
|
in Computer Science}.
|
|
\newblock Springer, 2016.
|
|
|
|
\bibitem{DBLP:books/daglib/0030751}
|
|
Markus Voelter, Sebastian Benz, Christian Dietrich, Birgit Engelmann, Mats
|
|
Helander, Lennart C.~L. Kats, Eelco Visser, and Guido Wachsmuth.
|
|
\newblock {\em {DSL} Engineering - Designing, Implementing and Using
|
|
Domain-Specific Languages}.
|
|
\newblock dslbook.org, 2013.
|
|
|
|
\bibitem{DBLP:journals/toplas/FosterGMPS07}
|
|
J.~Nathan Foster, Michael~B. Greenwald, Jonathan~T. Moore, Benjamin~C. Pierce,
|
|
and Alan Schmitt.
|
|
\newblock Combinators for bidirectional tree transformations: {A} linguistic
|
|
approach to the view-update problem.
|
|
\newblock {\em {ACM} Trans. Program. Lang. Syst.}, 29(3):17, 2007.
|
|
|
|
\bibitem{DBLP:conf/sp/RastogiHH14}
|
|
Aseem Rastogi, Matthew~A. Hammer, and Michael Hicks.
|
|
\newblock Wysteria: {A} programming language for generic, mixed-mode multiparty
|
|
computations.
|
|
\newblock In {\em 2014 {IEEE} Symposium on Security and Privacy, {SP} 2014,
|
|
Berkeley, CA, USA, May 18-21, 2014}, pages 655--670, 2014.
|
|
|
|
\bibitem{DBLP:conf/sosp/ThereskaBOKRTBZ13}
|
|
Eno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I.~T.
|
|
Rowstron, Tom Talpey, Richard Black, and Timothy Zhu.
|
|
\newblock Ioflow: a software-defined storage architecture.
|
|
\newblock In {\em {ACM} {SIGOPS} 24th Symposium on Operating Systems
|
|
Principles, {SOSP} '13, Farmington, PA, USA, November 3-6, 2013}, pages
|
|
182--196, 2013.
|
|
|
|
\bibitem{DBLP:conf/popl/AndersonFGJKSW14}
|
|
Carolyn~Jane Anderson, Nate Foster, Arjun Guha, Jean{-}Baptiste Jeannin, Dexter
|
|
Kozen, Cole Schlesinger, and David Walker.
|
|
\newblock Netkat: semantic foundations for networks.
|
|
\newblock In {\em 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, 2014.
|
|
|
|
\bibitem{DBLP:journals/ccr/BosshartDGIMRSTVVW14}
|
|
Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer
|
|
Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, and
|
|
David Walker.
|
|
\newblock {P4:} programming protocol-independent packet processors.
|
|
\newblock {\em Computer Communication Review}, 44(3):87--95, 2014.
|
|
|
|
\bibitem{DBLP:journals/cacm/ResnickMMREBMRSSK09}
|
|
Mitchel Resnick, John Maloney, Andr{\'{e}}s Monroy{-}Hern{\'{a}}ndez, Natalie
|
|
Rusk, Evelyn Eastmond, Karen Brennan, Amon Millner, Eric Rosenbaum, Jay~S.
|
|
Silver, Brian Silverman, and Yasmin~B. Kafai.
|
|
\newblock Scratch: programming for all.
|
|
\newblock {\em Commun. {ACM}}, 52(11):60--67, 2009.
|
|
|
|
\bibitem{DBLP:conf/osdi/ChenMJZYSCWHCGK18}
|
|
Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie~Q. Yan, Haichen
|
|
Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and
|
|
Arvind Krishnamurthy.
|
|
\newblock {TVM:} an automated end-to-end optimizing compiler for deep learning.
|
|
\newblock In {\em 13th {USENIX} Symposium on Operating Systems Design and
|
|
Implementation, {OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018.}, pages
|
|
578--594, 2018.
|
|
|
|
\bibitem{DBLP:journals/cacm/RompfO12}
|
|
Tiark Rompf and Martin Odersky.
|
|
\newblock Lightweight modular staging: a pragmatic approach to runtime code
|
|
generation and compiled dsls.
|
|
\newblock {\em Commun. {ACM}}, 55(6):121--130, 2012.
|
|
|
|
\bibitem{DBLP:journals/pacmpl/WangWS19}
|
|
Yuting Wang, Pierre Wilke, and Zhong Shao.
|
|
\newblock An abstract stack based approach to verified compositional
|
|
compilation to machine code.
|
|
\newblock {\em {PACMPL}}, 3({POPL}):62:1--62:30, 2019.
|
|
|
|
\bibitem{DBLP:conf/pldi/YangCER11}
|
|
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr.
|
|
\newblock Finding and understanding bugs in {C} compilers.
|
|
\newblock In {\em 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, 2011.
|
|
|
|
\bibitem{DBLP:journals/ftpl/GulwaniPS17}
|
|
Sumit Gulwani, Oleksandr Polozov, and Rishabh Singh.
|
|
\newblock Program synthesis.
|
|
\newblock {\em Foundations and Trends in Programming Languages}, 4(1-2):1--119,
|
|
2017.
|
|
|
|
\bibitem{DBLP:journals/ftpl/VechevY16}
|
|
Martin~T. Vechev and Eran Yahav.
|
|
\newblock Programming with "big code".
|
|
\newblock {\em Foundations and Trends in Programming Languages}, 3(4):231--284,
|
|
2016.
|
|
|
|
\bibitem{DBLP:journals/cacm/Leroy09}
|
|
Xavier Leroy.
|
|
\newblock Formal verification of a realistic compiler.
|
|
\newblock {\em Commun. {ACM}}, 52(7):107--115, 2009.
|
|
|
|
\bibitem{DBLP:conf/popl/MonsantoFHW12}
|
|
Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker.
|
|
\newblock A compiler and run-time system for network programming languages.
|
|
\newblock In {\em 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, 2012.
|
|
|
|
\bibitem{2019Move}
|
|
Sam Blackshear, Evan Cheng, David~L. Dill, Victor Gao, Ben Maurer, Todd
|
|
Nowacki, Alistair Pott, Shaz Qadeer, Rain, Dario Russi, Stephane Sezer, Tim
|
|
Zakian, and Runtian Zhou.
|
|
\newblock Move: A language with programmable resources.
|
|
\newblock Technical report, The Libra Association, 2019.
|
|
|
|
\bibitem{DBLP:journals/jss2/Carpenter17}
|
|
Bob Carpenter, Andrew Gelman, Matt Hoffman, Daniel Lee, Ben Goodrich, Michael
|
|
Betancourt, Marcus~A. Brubaker, Jiqiang Guo, Peter Li, and Allen Riddell.
|
|
\newblock Stan: A probabilistic programming language.
|
|
\newblock {\em Journal of Statistical Software}, 76(1):1--32, 2017.
|
|
|
|
\bibitem{kar50323}
|
|
Zhenjiang Hu, John Hughes, and Meng Wang.
|
|
\newblock How functional programming mattered.
|
|
\newblock {\em National Science Review}, 2(3):349--370, 2015.
|
|
|
|
\end{thebibliography}
|