Better Logging through Formality. - Chapman Flack; Mikhail J. Atallah (Recent Advances in Intrusion Detection, 2000)

Engineering a customizable intermediate representation. - Krzysztof Palacz; Jason Baker; Chapman Flack; Christian Grothoff; Hiroshi Yamauchi; Jan Vitek (IVME, 2003)

Engineering a common intermediate representation for the Ovm framework. - Krzysztof Palacz; Jason Baker; Chapman Flack; Christian Grothoff; Hiroshi Yamauchi; Jan Vitek (Sci. Comput. Program., 2005)

A Real-time Java Virtual Machine for Avionics - An Experience Report. - Jason Baker; Antonio Cunei; Chapman Flack; Filip Pizlo; Marek Prochazka; Jan Vitek; Austin Armbruster; Edward Pla; David Holmes (IEEE Real Time Technology and Applications Symposium, 2006)

A real-time Java virtual machine with applications in avionics. - Austin Armbruster; Jason Baker; Antonio Cunei; Chapman Flack; David Holmes; Filip Pizlo; Edward Pla; Marek Prochazka; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2007)