Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser (2018), Intrinsically-Typed Definitional Interpreters for Imperative Languages, In Proceedings of the ACM on Programming Languages Volume 2 p.1-34.

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer (2018), Iris from the ground up: A modular foundation for higher-order concurrent separation logic, In Journal of Functional Programming Volume 28 p.1-73.

Urko Rueda Molina, Fitsum Kifetew, Annibale Panichella (2018), Java unit testing tool competition: Sixth round, Alessandra Gorla , Juan Pablo Galeotti (Eds.), In SBST'18 p.22-29, Association for Computing Machinery (ACM).

Yihuan Zhang, Qin Lin, Jun Wang, Sicco Verwer, John M. Dolan (2018), Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving, In IEEE Transactions on Intelligent Vehicles Volume 3 p.276-286.

Jason. S. Rhuggenaath, Yingqian Zhang, Alp Akcay, Uzay Kaymak, Sicco Verwer (2018), Learning fuzzy decision trees using integer programming, In 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) p.1-8, IEEE.

Ashrujit Ghoshal, Rajat Sadhukhan, Sikhar Patranabis, Nilanjan Datta, Stjepan Picek, D Mukhopadhyay (2018), Lightweight and Side-channel Secure 4 × 4 S-Boxes from Cellular Automata Rules, In IACR Transactions on Symmetric Cryptology Volume 2018 p.311-334.

Daco C. Harkes, Elmer van Chastelet, Eelco Visser (2018), Migrating Business Logic to an Incremental Computing DSL: A Case Study, D. Pearce , S. Friedrich , T. Mayerhofer (Eds.), In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.83-96, Association for Computing Machinery (ACM).

Jasper Denkers, Louis van Gool, Eelco Visser (2018), Migrating Custom DSL Implementations To a Language Workbench (Tool Demo), In Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.205-209, Association for Computing Machinery (ACM).

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer (2018), MoSeL: A general, extensible modal framework for interactive proofs in separation logic, In Proceedings of the ACM on Programming Languages Volume 2 p.77:1-77:30.

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer (2018), Mtac2: Typed tactics for backward reasoning in Coq, In Proceedings of the ACM on Programming Languages Volume 2 p.78:1-78:31.