Not registered as user yet
Name:David Brumley
Affiliation:Carnegie Mellon University
Personal website:http://www.ece.cmu.edu/~dbrumley
Contributions
OCaml 2021 | Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile