@inproceedings{BurgDV09, title = {Software deployment in a dynamic cloud: From device to service orientation in a hospital environment}, author = {Sander van der Burg and Eelco Dolstra and Eelco Visser and Merijn de Jonge}, year = {2009}, month = {May}, doi = {10.1109/CLOUD.2009.5071534}, url = {http://dx.doi.org/10.1109/CLOUD.2009.5071534}, tags = {deployment, software architecture, software components, distributed deployment, meta-model, architecture, software deployment, Nix, software component, Meta-Environment}, researchr = {https://researchr.org/publication/BurgDV09}, cites = {0}, citedby = {0}, booktitle = {CLOUD '09: Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing}, editor = {Kamal Bhattacharya and Martin Bichler and Stefan Tai}, address = {Vancouver, Canada}, publisher = {IEEE Computer Society}, } @inproceedings{DolstraVP13, title = {Crowdsourcing GUI Tests}, author = {Eelco Dolstra and Raynor Vliegendhart and Johan A. Pouwelse}, year = {2013}, doi = {10.1109/ICST.2013.44}, url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2013.44}, researchr = {https://researchr.org/publication/DolstraVP13}, cites = {0}, citedby = {0}, pages = {332-341}, booktitle = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013}, publisher = {IEEE}, isbn = {978-1-4673-5961-0}, } @inproceedings{Dolstra05:0, title = {Secure sharing between untrusted users in a transparent source/binary deployment model}, author = {Eelco Dolstra}, year = {2005}, doi = {10.1145/1101908.1101933}, url = {http://doi.acm.org/10.1145/1101908.1101933}, tags = {deployment, source-to-source, open-source}, researchr = {https://researchr.org/publication/Dolstra05%3A0}, cites = {0}, citedby = {0}, pages = {154-163}, booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA}, editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman}, publisher = {ACM}, } @inproceedings{DolstraBV05, title = {Service configuration management}, author = {Eelco Dolstra and Martin Bravenboer and Eelco Visser}, year = {2005}, doi = {10.1145/1109128.1109135}, url = {http://doi.acm.org/10.1145/1109128.1109135}, tags = {programming languages, SCM, deployment, software components, software deployment, Nix, software component, software configuration, service configuration management, context-aware, systematic-approach}, researchr = {https://researchr.org/publication/DolstraBV05}, cites = {0}, citedby = {0}, pages = {83-98}, booktitle = {Proceedings of the 12th International Workshop on Software Configuration Management, SCM 2005, Lisbon, Portugal, September 5-6, 2005}, publisher = {ACM}, isbn = {1-59593-310-7}, } @phdthesis{basesearch-1061, title = {The purely functional software deployment model}, author = {Eelco Dolstra}, year = {2006}, url = {https://www.base-search.net/Record/a08129eedcb8dd41edc5134cf8566ada4a47661d260060bc635445e825564b73}, note = {base-search.net (ftunivutrecht:oai:dspace.library.uu.nl:1874/7540)}, researchr = {https://researchr.org/publication/basesearch-1061}, cites = {0}, citedby = {0}, school = {Utrecht University, Netherlands}, } @inproceedings{DolstraVL13, title = {Charon: declarative provisioning and deployment}, author = {Eelco Dolstra and Rob Vermaas and Shea Levy}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2663365}, researchr = {https://researchr.org/publication/DolstraVL13}, cites = {0}, citedby = {0}, pages = {17-20}, booktitle = {Proceedings of the 1st International Workshop on Release Engineering, RELENG 2013, San Francisco, California, USA, May 20, 2013}, editor = {Bram Adams and Christian Bird and Foutse Khomh and Kim Moir}, publisher = {IEEE}, isbn = {978-1-4673-6441-6}, } @phdthesis{Dolstra2006, title = {The Purely Functional Software Deployment Model}, author = {Eelco Dolstra}, year = {2006}, month = {January}, tags = {programming languages, rule-based, deployment, completeness, meta programming, software components, meta-model, modeling language, modeling, language modeling, functional programming, software component, source-to-source, information models, programming, Meta-Environment, process modeling, systematic-approach, open-source}, researchr = {https://researchr.org/publication/Dolstra2006}, cites = {0}, citedby = {0}, school = {Utrecht University}, address = {Utrecht, The Netherlands}, advisor = {Eelco Visser and S. Doaitse Swierstra}, } @inproceedings{HemelKVD11, title = {Finding software license violations through binary code clone detection}, author = {Armijn Hemel and Karl Trygve Kalleberg and Rob Vermaas and Eelco Dolstra}, year = {2011}, doi = {10.1145/1985441.1985453}, url = {http://doi.acm.org/10.1145/1985441.1985453}, researchr = {https://researchr.org/publication/HemelKVD11}, cites = {0}, citedby = {0}, pages = {63-72}, booktitle = {Proceedings of the 8th International Working Conference on Mining Software Repositories, MSR 2011 (Co-located with ICSE), Waikiki, Honolulu, HI, USA, May 21-28, 2011, Proceedings}, editor = {Arie van Deursen and Tao Xie and Thomas Zimmermann}, publisher = {IEEE}, isbn = {978-1-4503-0574-7}, } @inproceedings{vanderburg10disnix, title = {Disnix: A toolset for distributed deployment}, author = {Sander van der Burg and Eelco Dolstra}, year = {2010}, month = {September}, tags = {deployment, completeness, case study, architecture, type system}, researchr = {https://researchr.org/publication/vanderburg10disnix}, cites = {0}, citedby = {0}, booktitle = {Third International Workshop on Academic Software Development Tools and Techniques (WASDeTT-3)}, publisher = {WASDeTT}, } @techreport{preprint-BravenboerDV-SCP-2009, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2010}, month = {July}, tags = {programming languages, Java, generic programming, injection attack, XML, embedded software, XML Schema, SQL, programming, context-aware, systematic-approach, grammar, query language}, researchr = {https://researchr.org/publication/preprint-BravenboerDV-SCP-2009}, cites = {0}, citedby = {0}, type = {Preprint}, } @inproceedings{BeaumontBCDH12, title = {Mixed Data-Parallel Scheduling for Distributed Continuous Integration}, author = {Olivier Beaumont and Nicolas Bonichon and Ludovic Courtès and Eelco Dolstra and Xavier Hanin}, year = {2012}, doi = {10.1109/IPDPSW.2012.7}, url = {http://doi.ieeecomputersociety.org/10.1109/IPDPSW.2012.7}, researchr = {https://researchr.org/publication/BeaumontBCDH12}, cites = {0}, citedby = {0}, pages = {91-98}, booktitle = {26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, IPDPS 2012, Shanghai, China, May 21-25, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-0974-5}, } @inproceedings{BurgD10, title = {Automating System Tests Using Declarative Virtual Machines}, author = {Sander van der Burg and Eelco Dolstra}, year = {2010}, doi = {10.1109/ISSRE.2010.34}, url = {http://dx.doi.org/10.1109/ISSRE.2010.34}, tags = {testing}, researchr = {https://researchr.org/publication/BurgD10}, cites = {0}, citedby = {0}, pages = {181-190}, booktitle = {IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010}, publisher = {IEEE Computer Society}, } @inproceedings{BravenboerDV07, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2007}, doi = {10.1145/1289971.1289975}, url = {http://doi.acm.org/10.1145/1289971.1289975}, tags = {programming languages, syntax embedding, Java, preventing injection attacks, generic programming, injection attack, SDF, XML, embedded software, XML Schema, SQL, security, language embedding, DSL, programming, systematic-approach, ASF+SDF, grammar, query language}, researchr = {https://researchr.org/publication/BravenboerDV07}, cites = {0}, citedby = {4}, pages = {3-12}, booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007}, editor = {Charles Consel and Julia L. Lawall}, address = {Salzburg, Austria}, publisher = {ACM}, isbn = {978-1-59593-855-8}, } @article{Dolstra09, title = {Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs}, author = {Eelco Dolstra}, year = {2009}, doi = {10.1016/j.entcs.2009.09.042}, url = {http://dx.doi.org/10.1016/j.entcs.2009.09.042}, tags = {laziness, DSL}, researchr = {https://researchr.org/publication/Dolstra09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {5}, pages = {81-99}, } @article{BravenboerDV10, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2010}, doi = {10.1016/j.scico.2009.05.004}, url = {http://dx.doi.org/10.1016/j.scico.2009.05.004}, tags = {injection attack}, researchr = {https://researchr.org/publication/BravenboerDV10}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {75}, number = {7}, pages = {473-495}, } @inproceedings{DolstraHHHJLLMRS08, title = {Report on the tenth ICFP programming contest}, author = {Eelco Dolstra and Jurriaan Hage and Bastiaan Heeren and Stefan Holdermans and Johan Jeuring and Andres Löh and Clara Löh and Arie Middelkoop and Alexey Rodriguez and John van Schie}, year = {2008}, doi = {10.1145/1411204.1411259}, url = {http://doi.acm.org/10.1145/1411204.1411259}, tags = {programming languages, C++, programming}, researchr = {https://researchr.org/publication/DolstraHHHJLLMRS08}, cites = {0}, citedby = {0}, pages = {397-408}, booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008}, editor = {James Hook and Peter Thiemann}, publisher = {ACM}, isbn = {978-1-59593-919-7}, } @article{DolstraLP08, title = {NixOS: A purely functional Linux distribution}, author = {Eelco Dolstra and Andres Löh and Nicolas Pierron}, year = {2008}, doi = {10.1017/S0956796810000195}, url = {http://dx.doi.org/10.1017/S0956796810000195}, researchr = {https://researchr.org/publication/DolstraLP08}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {20}, number = {5-6}, pages = {577-615}, } @article{BurgD14, title = {Disnix: A toolset for distributed deployment}, author = {Sander van der Burg and Eelco Dolstra}, year = {2014}, doi = {10.1016/j.scico.2012.03.006}, url = {http://dx.doi.org/10.1016/j.scico.2012.03.006}, researchr = {https://researchr.org/publication/BurgD14}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {79}, pages = {52-69}, } @inproceedings{Dolstra05, title = {Efficient Upgrading in a Purely Functional Component Deployment Model}, author = {Eelco Dolstra}, year = {2005}, doi = {10.1007/11424529_15}, url = {http://dx.doi.org/10.1007/11424529_15}, tags = {deployment}, researchr = {https://researchr.org/publication/Dolstra05}, cites = {0}, citedby = {0}, pages = {219-234}, booktitle = {Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings}, editor = {George T. Heineman and Ivica Crnkovic and Heinz W. Schmidt and Judith A. Stafford and Clemens A. Szyperski and Kurt C. Wallnau}, volume = {3489}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25877-9}, } @inproceedings{DolstraH07, title = {Purely Functional System Configuration Management}, author = {Eelco Dolstra and Armijn Hemel}, year = {2007}, url = {http://www.usenix.org/events/hotos07/tech/full_papers/dolstra/dolstra.pdf}, researchr = {https://researchr.org/publication/DolstraH07}, cites = {0}, citedby = {0}, booktitle = {Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA}, editor = {Galen C. Hunt}, publisher = {USENIX Association}, } @inproceedings{BurgDMDGH14, title = {Tracing software build processes to uncover license compliance inconsistencies}, author = {Sander van der Burg and Eelco Dolstra and Shane McIntosh and Julius Davies and Daniel M. Germán and Armijn Hemel}, year = {2014}, doi = {10.1145/2642937.2643013}, url = {http://doi.acm.org/10.1145/2642937.2643013}, researchr = {https://researchr.org/publication/BurgDMDGH14}, cites = {0}, citedby = {0}, pages = {731-742}, booktitle = {ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014}, editor = {Ivica Crnkovic and Marsha Chechik and Paul Grünbacher}, publisher = {ACM}, isbn = {978-1-4503-3013-8}, } @inproceedings{BurgD11, title = {A self-adaptive deployment framework for service-oriented systems}, author = {Sander van der Burg and Eelco Dolstra}, year = {2011}, doi = {10.1145/1988008.1988039}, url = {http://doi.acm.org/10.1145/1988008.1988039}, researchr = {https://researchr.org/publication/BurgD11}, cites = {0}, citedby = {0}, pages = {208-217}, booktitle = {2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011}, editor = {Holger Giese and Betty H. C. Cheng}, publisher = {ACM}, isbn = {978-1-4503-0575-4}, } @inproceedings{DolstraL08, title = {NixOS: a purely functional Linux distribution}, author = {Eelco Dolstra and Andres Löh}, year = {2008}, doi = {10.1145/1411204.1411255}, url = {http://doi.acm.org/10.1145/1411204.1411255}, tags = {meta-model, modeling language, language modeling, Meta-Environment, state machines}, researchr = {https://researchr.org/publication/DolstraL08}, cites = {0}, citedby = {0}, pages = {367-378}, booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008}, editor = {James Hook and Peter Thiemann}, publisher = {ACM}, isbn = {978-1-59593-919-7}, } @inproceedings{VliegendhartDP12, title = {Crowdsourced user interface testing for multimedia applications}, author = {Raynor Vliegendhart and Eelco Dolstra and Johan A. Pouwelse}, year = {2012}, doi = {10.1145/2390803.2390813}, url = {http://doi.acm.org/10.1145/2390803.2390813}, researchr = {https://researchr.org/publication/VliegendhartDP12}, cites = {0}, citedby = {0}, pages = {21-22}, booktitle = {Proceedings of the ACM multimedia 2012 workshop on Crowdsourcing for multimedia, CrowdMM@ACM Multimedia 2012, Nara, Japan, October 29, 2012}, editor = {Kuan-Ta Chen and Wei-Ta Chu and Martha Larson and Wei Tsang Ooi}, publisher = {ACM}, isbn = {978-1-4503-1589-0}, } @inproceedings{vanderburg11selfadaptive, title = {A Self-Adaptive Deployment Framework for Service-Oriented Systems}, author = {Sander van der Burg and Eelco Dolstra}, year = {2011}, month = {May}, tags = {rule-based, deployment, meta-model, Meta-Environment, process modeling, meta-objects}, researchr = {https://researchr.org/publication/vanderburg11selfadaptive}, cites = {0}, citedby = {0}, booktitle = {6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, publisher = {ACM}, } @techreport{vanderburg10ddeploymentandtesting, title = {Declarative Testing and Deployment of Distributed Systems}, author = {Sander van der Burg and Eelco Dolstra}, year = {2010}, month = {July}, tags = {deployment, meta-model, testing, Meta-Environment, systematic-approach, meta-objects}, researchr = {https://researchr.org/publication/vanderburg10ddeploymentandtesting}, cites = {0}, citedby = {0}, institution = {Delft University of Technology}, number = {TUD-SERG-2010-020}, address = {Delft, The Netherlands}, } @inproceedings{DolstraJV04, title = {Nix: A Safe and Policy-Free System for Software Deployment}, author = {Eelco Dolstra and Merijn de Jonge and Eelco Visser}, year = {2004}, url = {http://www.usenix.org/publications/library/proceedings/lisa04/tech/dolstra.html}, tags = {deployment, software components, software deployment, Nix, software component}, researchr = {https://researchr.org/publication/DolstraJV04}, cites = {0}, citedby = {0}, pages = {79-92}, booktitle = {Proceedings of the 18th Conference on Systems Administration (LISA 2004), Atlanta, USA, November 14-19, 2004}, publisher = {USENIX}, } @inproceedings{Dolstra03, title = {Integrating Software Construction and Software Deployment}, author = {Eelco Dolstra}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2649/26490102.htm}, tags = {deployment}, researchr = {https://researchr.org/publication/Dolstra03}, cites = {0}, citedby = {0}, pages = {102-117}, booktitle = {Software Configuration Management, ICSE Workshops SCM 2001 and SCM 2003 Toronto, Canada, May 14-15, 2001 and Portland, OR, USA, May 9-10, 2003. Selected Papers}, editor = {Bernhard Westfechtel and André van der Hoek}, volume = {2649}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-14036-0}, } @article{DolstraV02, title = {Building Interpreters with Rewriting Strategies}, author = {Eelco Dolstra and Eelco Visser}, year = {2002}, doi = {10.1016/S1571-0661(04)80427-4}, url = {https://doi.org/10.1016/S1571-0661(04)80427-4}, tags = {laziness, programming languages, optimization, semantics, rule-based, pattern language, dynamic rewrite rules, interpreter, Stratego/XT, dynamic rules, parallel programming, reuse, graph-rewriting, rules, pattern matching, programming, program optimization, rewriting, systematic-approach, rewriting strategies, interpreters, Stratego}, researchr = {https://researchr.org/publication/DolstraV02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {3}, pages = {57-76}, } @inproceedings{BurgD10-0, title = {Automated Deployment of a Heterogeneous Service-Oriented System}, author = {Sander van der Burg and Eelco Dolstra}, year = {2010}, doi = {10.1109/SEAA.2010.10}, url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.10}, researchr = {https://researchr.org/publication/BurgD10-0}, cites = {0}, citedby = {0}, pages = {183-190}, booktitle = {36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010}, publisher = {IEEE}, isbn = {978-1-4244-7901-6}, } @article{DolstraFJV04, title = {Transparantie in variabiliteit: Heldere keuzes in een eenduidige configuratieomgeving}, author = {Eelco Dolstra and Gert Florijn and Merijn de Jonge and Eelco Visser}, year = {2004}, month = {February}, researchr = {https://researchr.org/publication/DolstraFJV04}, cites = {0}, citedby = {0}, journal = {Informatie}, volume = {46}, number = {1}, pages = {18-21}, } @article{vanderburg13disnix, title = {Disnix: A toolset for distributed deployment}, author = {Sander van der Burg and Eelco Dolstra}, year = {2013}, month = {May}, note = {(To appear)}, researchr = {https://researchr.org/publication/vanderburg13disnix}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming (SCP)}, } @inproceedings{vanderburg10automateddeployment, title = {Automated Deployment of a Heterogeneous Service-Oriented System}, author = {Sander van der Burg and Eelco Dolstra}, year = {2010}, month = {Sep}, doi = {10.1109/SEAA.2010.10}, url = {http://www.st.ewi.tudelft.nl/~sander/pdf/publications/vanderburg10-automateddeployment.pdf}, tags = {deployment, type system, source-to-source, Meta-Environment, systematic-approach, open-source}, researchr = {https://researchr.org/publication/vanderburg10automateddeployment}, cites = {0}, citedby = {0}, pages = {183-190}, booktitle = {36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4170-9}, } @inproceedings{DolstraVJ04, title = {Imposing a Memory Management Discipline on Software Deployment}, author = {Eelco Dolstra and Eelco Visser and Merijn de Jonge}, year = {2004}, doi = {10.1109/ICSE.2004.1317480}, url = {https://doi.org/10.1109/ICSE.2004.1317480}, tags = {programming languages, rule-based, program analysis, deployment, completeness, meta programming, generic programming, software components, program verification, meta-model, memory management, modeling language, language modeling, software deployment, Nix, software component, analysis, programming, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/DolstraVJ04}, cites = {0}, citedby = {0}, pages = {583-592}, booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom}, publisher = {IEEE Computer Society}, isbn = {0-7695-2163-0}, } @inproceedings{BurgDJ08, title = {Atomic Upgrading of Distributed Systems}, author = {Sander van der Burg and Eelco Dolstra and Merijn de Jonge}, year = {2008}, doi = {10.1145/1490283.1490294}, url = {http://doi.acm.org/10.1145/1490283.1490294}, researchr = {https://researchr.org/publication/BurgDJ08}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, HotSWUp 2008, Nashville, TN, USA, October 20, 2008}, editor = {Tudor Dumitras and Danny Dig and Iulian Neamtiu}, publisher = {ACM}, isbn = {978-1-60558-304-4}, } @misc{homepages-82-1700, title = {Home Page}, author = {Eelco Dolstra}, researchr = {https://researchr.org/publication/homepages-82-1700}, cites = {0}, citedby = {0}, }