@mastersthesis{TuinRJS13, title = {WebLab project}, author = {Tuin, Marieke van der and A. Bastiaan Reijm and Jong, Tim K. de and Jeff Smits}, year = {2013}, month = {7}, url = {http://resolver.tudelft.nl/uuid:bb2d7a13-1bef-4545-bca0-f2b084a04240}, researchr = {https://researchr.org/publication/TuinRJS13}, cites = {0}, citedby = {0}, school = {Delft University of Technology}, type = {Bachelor's thesis}, advisor = {Eelco Visser}, } @article{SmitsKV20, title = {Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System}, author = {Jeff Smits and Gabriël Konat and Eelco Visser}, year = {2020}, doi = {10.22152/programming-journal.org/2020/4/16}, url = {https://doi.org/10.22152/programming-journal.org/2020/4/16}, researchr = {https://researchr.org/publication/SmitsKV20}, cites = {0}, citedby = {0}, journal = {Programming Journal}, volume = {4}, number = {3}, pages = {16}, } @inproceedings{SmitsV20, title = {Gradually typing strategies}, author = {Jeff Smits and Eelco Visser}, year = {2020}, doi = {10.1145/3426425.3426928}, url = {https://doi.org/10.1145/3426425.3426928}, researchr = {https://researchr.org/publication/SmitsV20}, cites = {0}, citedby = {0}, pages = {1-15}, booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020}, editor = {Ralf Lämmel and Laurence Tratt and Juan de Lara}, publisher = {ACM}, isbn = {978-1-4503-8176-5}, } @inproceedings{DekkerHHLOSH11, title = {HactarV2: An Agent Team Strategy Based on Implicit Coordination}, author = {Marc Dekker and Pieter Hameete and Michiel Hegemans and Sebastiaan Leysen and Joris van den Oever and Jeff Smits and Koen V. Hindriks}, year = {2011}, doi = {10.1007/978-3-642-31915-0_10}, url = {http://dx.doi.org/10.1007/978-3-642-31915-0_10}, researchr = {https://researchr.org/publication/DekkerHHLOSH11}, cites = {0}, citedby = {0}, pages = {173-184}, booktitle = {Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers}, editor = {Louise A. Dennis and Olivier Boissier and Rafael H. Bordini}, volume = {7217}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31914-3}, } @article{SmitsWV20, title = {FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow Analysis}, author = {Jeff Smits and Guido Wachsmuth and Eelco Visser}, year = {2020}, doi = {10.1016/j.cola.2019.100924}, url = {https://doi.org/10.1016/j.cola.2019.100924}, researchr = {https://researchr.org/publication/SmitsWV20}, cites = {0}, citedby = {0}, journal = {Journal of Computer Languages}, volume = {57}, pages = {100924}, } @inproceedings{SmitsKV19, title = {From Whole Program Compilation to Incremental Compilation: A Critical Case}, author = {Jeff Smits and Gabriël Konat and Eelco Visser}, year = {2019}, month = {10}, researchr = {https://researchr.org/publication/SmitsKV19}, cites = {0}, citedby = {0}, booktitle = {Second Workshop on Incremental Computing (IC 2019)}, } @misc{SmitsV20-Artifact, title = {Gradually Typing Strategies - Artifact}, author = {Jeff Smits and Eelco Visser}, year = {2020}, month = {September}, doi = {10.5281/zenodo.4032445}, url = {https://doi.org/10.5281/zenodo.4032445}, researchr = {https://researchr.org/publication/SmitsV20-Artifact}, cites = {0}, citedby = {0}, howpublished = {Zenodo}, } @inproceedings{SmitsHC22, title = {Optimising First-Class Pattern Matching}, author = {Jeff Smits and Toine Hartman and Jesper Cockx}, year = {2022}, doi = {10.1145/3567512.3567519}, url = {https://doi.org/10.1145/3567512.3567519}, researchr = {https://researchr.org/publication/SmitsHC22}, cites = {0}, citedby = {0}, pages = {74-83}, booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022}, editor = {Bernd Fischer and Lola Burgueño and Walter Cazzola}, publisher = {ACM}, isbn = {978-1-4503-9919-7}, } @inproceedings{SmitsV17, title = {{FlowSpec}: declarative dataflow analysis specification}, author = {Jeff Smits and Eelco Visser}, year = {2017}, doi = {10.1145/3136014.3136029}, url = {http://doi.acm.org/10.1145/3136014.3136029}, researchr = {https://researchr.org/publication/SmitsV17}, cites = {0}, citedby = {0}, pages = {221-231}, booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017}, editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe}, publisher = {ACM}, isbn = {978-1-4503-5525-4}, } @mastersthesis{Smits2016, title = {The Static Semantics of the {G}reen-{M}arl Graph Analysis Language}, author = {Jeff Smits}, year = {2016}, month = {2}, url = {http://resolver.tudelft.nl/uuid:4f07cbbb-d017-41e8-aba6-8ff0c19f258d}, researchr = {https://researchr.org/publication/Smits2016}, cites = {0}, citedby = {0}, school = {Delft University of Technology}, type = {Master's thesis}, advisor = {Guido Wachsmuth}, } @misc{SmitsV18, title = {Towards Incremental Compilation for Stratego}, author = {Jeff Smits and Eelco Visser}, year = {2018}, month = {10}, researchr = {https://researchr.org/publication/SmitsV18}, cites = {3}, citedby = {0}, howpublished = {Poster at SPLASH}, }