Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Cok
conf.researchr.org general profile
* ICSE 2018 * profile
PLDI 2016 profile
Not registered as user
Name:
David Cok
Affiliation:
GrammaTech, Inc
Contributions
2018
ICSE
Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
2016
PLDI
Author of Polymorphic Type Inference for Machine Code within the Research Papers-track
Share
x
Fri 16 May 01:03
