Benjamin Boskin

According to our database, Benjamin Boskin authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Gamification of Loop-Invariant Discovery from Code.

Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios

Proceedings of the Seventh AAAI Conference on Human Computation and Crowdsourcing, 2019