Sean Seefried

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Multi Context Systems

Information Flows

Top Venues

IEEE Symposium on Security and Privacy

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp
Fade to Grey: Tuning Static Program Analysis. Electron. Notes Theor. Comput. Sci. 266 (2010)
Ansgar Fehnker, Ralf Huuck, Sean Seefried
Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness (2010)
Ansgar Fehnker, Ralf Huuck, Sean Seefried
Incremental False Path Elimination for Static Software Analysis. ATVA (2009)
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
Goanna: Syntactic Software Model Checking. ATVA (2008)
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
Some Assembly Required - Program Analysis of Embedded System Code. SCAM (2008)
Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
Optimising Embedded DSLs Using Template Haskell. GPCE (2004)
André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty
Plugging Haskell in. Haskell (2004)
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried
Why Functional Programming Really Matters. Applied Informatics (2003)