Sean Seefried

According to our database, Sean Seefried authored at least 10 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2010

Counterexample Guided Path Reduction for Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Concurrency, 2010

2009

Fade to Grey: Tuning Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Incremental False Path Elimination for Static Software Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Some Assembly Required - Program Analysis of Embedded System Code.

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Goanna: Syntactic Software Model Checking.

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Language extension via dynamically extensible compilers.

Sean Seefried

PhD thesis, 2006

2004

Plugging Haskell in.

André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Optimising Embedded DSLs Using Template Haskell.

Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

Why Functional Programming Really Matters.

Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003