[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - A coinductive monad for prop-bounded recursionMegacz, Adam · 2007

[ACM Press the 2004 workshop - Washington, D.C. (2004.06.07-2004.06.07)] Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators - IVME '04 - Complete translation of unsafe native code to safe bytecodeAlliet, Brian; Megacz, Adam · 2004

[IEEE 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007) - Napa, CA, USA (2007.04.23-2007.04.25)] 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007) - A Library and Platform for FPGA Bitstream ManipulationMegacz, Adam · 2007