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 | 288 | 2013 |
Optimising embedded dsls using template haskell S Seefried, M Chakravarty, G Keller International Conference on Generative Programming and Component Engineering …, 2004 | 51 | 2004 |
Plugging haskell in A Pang, D Stewart, S Seefried, MMT Chakravarty Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 10-21, 2004 | 37 | 2004 |
Goanna: Syntactic software model checking R Huuck, A Fehnker, S Seefried, J Brauer Automated Technology for Verification and Analysis: 6th International …, 2008 | 23 | 2008 |
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 | 16 | 2008 |
Counterexample guided path reduction for static program analysis A Fehnker, R Huuck, S Seefried Concurrency, Compositionality, and Correctness: Essays in Honor of Willem …, 2010 | 13 | 2010 |
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 | 9 | 2010 |
Multi language software code analysis R Huuck, F Rauch, B Blackham, S Seefried US Patent 8,869,120, 2014 | 8 | 2014 |
Why Functional Programming Really Matters PAC Bailes, CJ Kemp, I Peake, SD Seefried IASTED International Multi-Conference on Applied Informatics 21, 919-926, 2003 | 6 | 2003 |
Incremental false path elimination for static software analysis A Fehnker, R Huuck, S Seefried International Symposium on Automated Technology for Verification and …, 2009 | 2 | 2009 |
Solving the expression problem with true separate compilation S Seefried, MMT Chakravarty Technical report, The University of New South Wales, 2007 | 2 | 2007 |
Language extension via dynamically extensible compilers. S Seefried UNSW Sydney, 2006 | 2 | 2006 |
A combinator parser for Earley’s algorithm I Peake, S Seefried | 1 | 2004 |
Haskell Communities and Activities Report C Reinke, M Chakravarty, O Chitil, M Gross, W Guttmann, J Hage, ... | 1 | 2003 |
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 | | |