Sean Seefried
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SP | 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 |
| 2009 | ATVA | Incremental False Path Elimination for Static Software Analysis. | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
| 2008 | ATVA | Goanna: Syntactic Software Model Checking. | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jrg Brauer |
| 2008 | SCAM | Some Assembly Required - Program Analysis of Embedded System Code. | Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried |
| 2004 | GPCE | Optimising Embedded DSLs Using Template Haskell. | Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller |
| 2004 | HASKELL | Plugging Haskell in. | Andr T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty |