Why Functional Programming Really Matters. - Paul A. Bailes; Colin J. M. Kemp; Ian Peake; Sean Seefried (Applied Informatics, 2003)

Optimising Embedded DSLs Using Template Haskell. - Sean Seefried; Manuel M. T. Chakravarty; Gabriele Keller (GPCE, 2004)

Plugging Haskell in. - André T. H. Pang; Don Stewart; Sean Seefried; Manuel M. T. Chakravarty (Haskell, 2004)

Language extension via dynamically extensible compilers. - Sean Seefried (2006)

Goanna: Syntactic Software Model Checking. - Ralf Huuck; Ansgar Fehnker; Sean Seefried; Jörg Brauer (ATVA, 2008)

Some Assembly Required - Program Analysis of Embedded System Code. - Ansgar Fehnker; Ralf Huuck; Felix Rauch; Sean Seefried (SCAM, 2008)

Incremental False Path Elimination for Static Software Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (ATVA, 2009)

Fade to Grey: Tuning Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried; Michael Tapp (TTSS, 2009)

Counterexample Guided Path Reduction for Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (Concurrency, Compositionality, and Correctness, 2010)

seL4: From General Purpose to a Proof of Information Flow Enforcement. - Toby C. Murray; Daniel Matichuk; Matthew Brassil; Peter Gammie; Timothy Bourke; Sean Seefried; Corey Lewis; Xin Gao; Gerwin Klein (IEEE Symposium on Security and Privacy, 2013)