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