Benjamin Boskin

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Instruction Scheduling

Scientific Discovery

Quasi Invariant

Software Engineering

Top Venues

Publications

Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios
Gamification of Loop-Invariant Discovery from Code. HCOMP (2019)