@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},
  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 = {SLE},
}

@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 = {promas},
}

@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 = {JCL (JVLC)},
  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 = {SLE},
}

@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 = {SLE},
}

@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},
}