Skip to content

Mark P. Bridgman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2015–2017

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2017SPResearch Report: Hardware-Enforcement of Walther-Recursive Program Functions.Jacob I. Torrey, Mark P. Bridgman, Tomasz Tuzel
2015SPVerification State-Space Reduction through Restricted Parsing Environments.Jacob I. Torrey, Mark P. Bridgman