Gregory Bonaert

According to our database, Gregory Bonaert authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Fast and precise certification of transformers.

Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021