Ben Horsfall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2012
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ECOOP | Verifying the reflective visitor pattern. | Ben Horsfall, Nathaniel Charlton, Bernhard Reus |
| 2012 | VMCAI | Crowfoot: A Verifier for Higher-Order Store Programs. | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |
| 2011 | ICDE | Formal reasoning about runtime code update. | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |