Get started
Author

Sean Seefried

Observed names: S. Seefried, Seefried, Sean
Observed institutions: UNSW Sydney, Data61
OpenAlex ID: A5052196572
seL4: From General Purpose to a Proof of Information Flow Enforcement
2013 · T. Murray, D. Matichuk, et al. · IEEE Symposium on Security and Privacy (S&P) · 211
PDF
Optimising Embedded DSLs Using Template Haskell
2004 · Sean Seefried, Manuel Chakravarty, et al. · Lecture notes in computer science · 36
Plugging Haskell in
2004 · André Pang, Don Stewart, et al. · International Symposium on Haskell · 18
Goanna: Syntactic Software Model Checking
2008 · Ralf Huuck, Ansgar Fehnker, et al. · Lecture notes in computer science · 17
Some Assembly Required - Program Analysis of Embedded System Code
2008 · Ansgar Fehnker, Ralf Huuck, et al. · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · 14
Fade to Grey: Tuning Static Program Analysis
2010 · Ansgar Fehnker, Ralf Huuck, et al. · Electronic Notes in Theoretical Computer Science · 11
Counterexample Guided Path Reduction for Static Program Analysis
2010 · Ansgar Fehnker, Ralf Huuck, et al. · Lecture notes in computer science · 9
Why functional programming really matters
2003 · Paul A. Bailes, Colin Kemp, et al. · Applied Informatics · 4
Incremental False Path Elimination for Static Software Analysis
2009 · Ansgar Fehnker, Ralf Huuck, et al. · Lecture notes in computer science · 2
Works count: 19
Citation count: 322
H-index: 7
I10-index: 6
Year
Topic
Type