- A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
- Modular specification and dynamic enforcement of syntactic language constraints when generating code
- Efficient use of the Noise Budget at Schiphol Airport through Minimax Optimization of Runway Allocations