Complete translation of unsafe native code to safe bytecode. - Brian Alliet; Adam Megacz (IVME, 2004)

Scannerless Boolean Parsing. - Adam Megacz (LDTA@ETAPS, 2006)

A Library and Platform for FPGA Bitstream Manipulation. - Adam Megacz (FCCM, 2007)

A coinductive monad for prop-bounded recursion. - Adam Megacz (PLPV, 2007)

Inferring Channel Buffer Bounds Via Linear Programming. - Tachio Terauchi; Adam Megacz (ESOP, 2008)

Multi-Stage Programs are Generalized Arrows - Adam Megacz (CoRR, 2010)

Multi-Level Languages are Generalized Arrows - Adam Megacz (CoRR, 2010)

Hardware Design with Generalized Arrows. - Adam Megacz (IFL, 2011)