502 lines
18 KiB
BibTeX
502 lines
18 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}
|
||
}
|
||
|
||
@article{赵兰香等主编2013科技发展新态势与面向,
|
||
title={科技发展新态势与面向2020年的战略选择},
|
||
author={赵兰香等主编},
|
||
journal={中国科学院院刊},
|
||
number={5},
|
||
year={2013},
|
||
}
|
||
|
||
|
||
@article{Herbsleb2001Global,
|
||
title={Global software development},
|
||
author={Herbsleb, J. D and Moitra, D},
|
||
journal={Software IEEE},
|
||
volume={18},
|
||
number={2},
|
||
pages={16-20},
|
||
year={2001},
|
||
}
|
||
|
||
@inproceedings{Mockus2019Keynote,
|
||
title={Keynote: Measuring Open Source Software Supply Chains},
|
||
author={Mockus, Audris},
|
||
booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
|
||
year={2019},
|
||
}
|
||
|
||
@article{Astromskis2017Patterns,
|
||
title={Patterns of Developers Behaviour: A 1,000-hour Industrial Study},
|
||
author={Astromskis, Saulius and Bavota, Gabriele and Janes, Andrea and Russo, Barbara and Penta, Massimiliano Di},
|
||
journal={Journal of Systems \& Software},
|
||
volume={132},
|
||
pages={S016412121730136X},
|
||
year={2017},
|
||
}
|
||
|
||
@article{Manikas2013Software,
|
||
title={Software ecosystems – A systematic literature review},
|
||
author={Manikas, Konstantinos and Hansen, Klaus Marius},
|
||
journal={Journal of Systems \& Software},
|
||
volume={86},
|
||
number={5},
|
||
pages={1294-1306},
|
||
year={2013},
|
||
}
|
||
|
||
@article{Vygotsky1978Interaction,
|
||
title={Interaction between learning and development},
|
||
author={Vygotsky, L},
|
||
journal={Readings on the Development of Children},
|
||
volume={23},
|
||
number={3},
|
||
pages={34-41},
|
||
year={1978},
|
||
}
|
||
|
||
@article{zhangtse19,
|
||
author = {Zhang, Yuxia and Zhou, Minghui and Mockus, Audris and Jin, Zhi},
|
||
year = {2019},
|
||
month = {10},
|
||
pages = {1-1},
|
||
title = {Companies' Participation in OSS Development - An Empirical Study of OpenStack},
|
||
volume = {PP},
|
||
journal = {IEEE Transactions on Software Engineering},
|
||
doi = {10.1109/TSE.2019.2946156}
|
||
}
|
||
|
||
@article{Zhou2016Inflow,
|
||
title={Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects},
|
||
author={Zhou, Minghui and Mockus, Audris and Ma, Xiujuan and Lu, Zhang and Hong, Mei},
|
||
journal={Acm Transactions on Software Engineering \& Methodology},
|
||
volume={25},
|
||
number={2},
|
||
pages={1-29},
|
||
year={2016},
|
||
}
|
||
|
||
@Misc{CIO2018,
|
||
howpublished = {\url{https://www.cio.com/article/2442437/open-source-tools/jboss-head-marc-fleury-leaves-red-hat.html}},
|
||
note = {Accessed October 14, 2019},
|
||
title = {JBoss Head Marc Fleury Leaves Red Hat},
|
||
author = {CIO Staff}
|
||
}
|
||
|
||
|
||
@article{Zhou2015Who,
|
||
title={Who Will Stay in the FLOSS Community? Modeling Participant’s Initial Behavior},
|
||
author={Zhou, Minghui and Mockus, A},
|
||
journal={IEEE Transactions on Software Engineering},
|
||
volume={41},
|
||
number={1},
|
||
pages={82-99},
|
||
year={2015},
|
||
}
|
||
|
||
@book{national2000people,
|
||
title={How people learn: Brain, mind, experience, and school: Expanded edition},
|
||
author={National Research Council and others},
|
||
year={2000},
|
||
publisher={National Academies Press}
|
||
}
|
||
|
||
@inproceedings{curtis1984fifteen,
|
||
title={Fifteen years of psychology in software engineering: Individual differences and cognitive science},
|
||
author={Curtis, Bill},
|
||
booktitle={Proceedings of the 7th international conference on Software engineering},
|
||
pages={97--106},
|
||
year={1984},
|
||
organization={IEEE Press}
|
||
}
|
||
|
||
@inproceedings{ohira2005supporting,
|
||
title={Supporting knowledge collaboration using social networks in a large-scale online community of software development projects},
|
||
author={Ohira, Masao and Ohoka, Tetsuya and Kakimoto, Takeshi and Ohsugi, Naoki and Matsumoto, Ken-ichi},
|
||
booktitle={12th Asia-Pacific Software Engineering Conference (APSEC'05)},
|
||
pages={6--pp},
|
||
year={2005},
|
||
organization={IEEE}
|
||
}
|
||
|
||
@inproceedings{gousios2013ghtorent,
|
||
title={The GHTorent dataset and tool suite},
|
||
author={Gousios, Georgios},
|
||
booktitle={Proceedings of the 10th working conference on mining software repositories},
|
||
pages={233--236},
|
||
year={2013},
|
||
organization={IEEE Press}
|
||
}
|
||
|
||
@inproceedings{mockus2009amassing,
|
||
title={Amassing and indexing a large sample of version control systems: Towards the census of public source code history},
|
||
author={Mockus, Audris},
|
||
booktitle={2009 6th IEEE International Working Conference on Mining Software Repositories},
|
||
pages={11--20},
|
||
year={2009},
|
||
organization={IEEE}
|
||
}
|
||
|
||
@inproceedings{tu18fse,
|
||
title={Be careful of when: an empirical study on time-related misuse of issue tracking data},
|
||
author={Tu, Feifei and Zhu, Jiaxin and Zheng, Qimu and Zhou, Minghui},
|
||
booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
|
||
pages={307--318},
|
||
year={2018},
|
||
organization={ACM}
|
||
}
|