Follow
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
2852013
Optimising embedded dsls using template haskell
S Seefried, M Chakravarty, G Keller
International Conference on Generative Programming and Component Engineering …, 2004
512004
Plugging haskell in
A Pang, D Stewart, S Seefried, MMT Chakravarty
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 10-21, 2004
372004
Goanna: Syntactic software model checking
R Huuck, A Fehnker, S Seefried, J Brauer
Automated Technology for Verification and Analysis: 6th International …, 2008
232008
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
162008
Counterexample guided path reduction for static program analysis
A Fehnker, R Huuck, S Seefried
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem …, 2010
132010
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
92010
Multi language software code analysis
R Huuck, F Rauch, B Blackham, S Seefried
US Patent 8,869,120, 2014
82014
Why Functional Programming Really Matters
PAC Bailes, CJ Kemp, I Peake, SD Seefried
IASTED International Multi-Conference on Applied Informatics 21, 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
Solving the expression problem with true separate compilation
S Seefried, MMT Chakravarty
Technical report, The University of New South Wales, 2007
22007
Language extension via dynamically extensible compilers.
S Seefried
UNSW Sydney, 2006
22006
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
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