Memory accounting without partitions. - Adam Wick; Matthew Flatt (ISMM, 2004)

Magpie: Precise Garbage Collection for C. - Adam Wick (2006)

Hardware/software co-verification of cryptographic algorithms using Cryptol. - Levent Erkök; Magnus Carlsson; Adam Wick (FMCAD, 2009)

Precise garbage collection for C. - Jon Rafkind; Adam Wick; John Regehr; Matthew Flatt (ISMM, 2009)

Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. - Jared Chandler; Kathleen Fisher; Erin Chapman; Eric Davis; Adam Wick (HICSS, 2020)

A type system for extracting functional specifications from memory-safe imperative programs. - Paul He; Eddy Westbrook; Brent Carmer; Chris Phifer; Valentin Robert; Karl Smeltzer; Andrei Stefanescu; Aaron Tomb; Adam Wick; Matthew Yacavone; Steve Zdancewic (Proc. ACM Program. Lang., 2021)

Deceptive Self-Attack for Cyber-Defense. - Jared Chandler; Adam Wick (HICSS, 2023)

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. - Jared Chandler; Adam Wick; Kathleen Fisher (NDSS, 2023)

Research Report: Synthesizing Intrusion Detection System Test Data from Open-Source Attack Signatures. - Jared Chandler; Adam Wick (SP (Workshops), 2023)