Sean Seefried
Sean Seefried
Research Engineer, NICTA
Verified email at nicta.com.au - Homepage
Title
Cited by
Cited by
Year
seL4: from general purpose to a proof of information flow enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
2013 IEEE Symposium on Security and Privacy, 415-429, 2013
2272013
Optimising embedded dsls using template haskell
S Seefried, M Chakravarty, G Keller
International Conference on Generative Programming and Component Engineering …, 2004
492004
Plugging haskell in
A Pang, D Stewart, S Seefried, MMT Chakravarty
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 10-21, 2004
382004
Goanna: Syntactic software model checking
R Huuck, A Fehnker, S Seefried, J Brauer
International Symposium on Automated Technology for Verification and …, 2008
202008
Some assembly required-program analysis of embedded system code
A Fehnker, R Huuck, F Rauch, S Seefried
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
142008
Counterexample guided path reduction for static program analysis
A Fehnker, R Huuck, S Seefried
Concurrency, Compositionality, and Correctness, 322-341, 2010
122010
Multi language software code analysis
R Huuck, F Rauch, B Blackham, S Seefried
US Patent 8,869,120, 2014
82014
Fade to grey: Tuning static program analysis
A Fehnker, R Huuck, S Seefried, M Tapp
Electronic Notes in Theoretical Computer Science 266, 17-32, 2010
82010
Why Functional Programming Really Matters.
PA Bailes, CJM Kemp, I Peake, S Seefried
Applied Informatics, 919-926, 2003
62003
Incremental false path elimination for static software analysis
A Fehnker, R Huuck, S Seefried
International Symposium on Automated Technology for Verification and …, 2009
22009
Language Extension via Dynamically Extensible Compilers
S Seefried
University of New South Wales, 2006
12006
A combinator parser for Earley’s algorithm
I Peake, S Seefried
12004
Haskell Communities and Activities Report
C Reinke, M Chakravarty, O Chitil, M Gross, W Guttmann, J Hage, ...
12003
Solving the expression problem with true separate compilation
S Seefried, MMT Chakravarty
2007
Analysing Embedded System Software
A Fehnker, R Huuck, F Rauch, S Seefried
2007
Improving Embedded Domain Specific Languages
S Seefried
2004
Analysing Embedded System Software–Extended Abstract–
A Fehnker, R Huuck, F Rauch, S Seefried
Program Analysis I
A Fehnker, R Huuck, F Rauch, S Seefried
Hosting Object-Oriented Programming in Totally Functional Programming with “Characteristic Methods”
P Bailes, C Kemp, S Seefried
The system can't perform the operation now. Try again later.
Articles 1–19