Concepedia

Adam Wick

AW

Statistics

Publications

4

Citations

115

H-Index

4

Active since

2004

Affiliations

University of Utah(Current)

Galois (United States)

Adam Wick is an author at University of Utah specializing in computing, computer science, and computer engineering.

Publications per year

2004–2023

4

Publications

4

Precise garbage collection for C

Jon Rafkind, Adam Wick, John Regehr et al. · 2009 · 40 citations

, , +13

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats

Jared Chandler, Adam Wick, Kathleen Fisher · 2023 · 34 citations

, , +13

Hardware/software co-verification of cryptographic algorithms using Cryptol

Levent Erkök, Magnus Carlsson, Adam Wick · 2009 · 23 citations

, , +15

Memory accounting without partitions

Adam Wick, Matthew Flatt · 2004 · 18 citations

, , +9

1–4 of 4