cse

| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Gerwin Klein's Information Page

Gerwin Klein

Senior Lecturer NICTA Conjoint

Research Areas
To update this page please go to myCSE.
Office:	L5 NICTA
Phone:	+61 2 9385 7349 (Internal: x57349)
Fax:	+61 2 9385 7942 (Internal: x57942)
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
	Formal Methods for Program Reasoning and Verification Semantics and Type Systems of Programming Languages Operating Systems Formal Methods Formal Specification and Refinement Functional Programming Logic in Computer Science
Publications
	Types, Bytes, And Separation Logic H Tuch, G Klein, M Norrish, 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, Proceedings, M. Felleisen. ACM, New York, 2007, pp. 97 - 108
	Towards Trustworthy Computing Systems: Taking Microkernels To The Next Level G Heiser, K Elphinstone, I Kuz, G Klein, S Petters, Operating systems review, . ACM, NY, USA, 2007, pp. 3 - 11
	Towards A Practical, Verified Kernel K Elphinstone, G Klein, P Derrin, T Roscoe, 11th workshop on hot topics in operating systems proceedings, . IEEE, san diego, 2007
	On The Automated Synthesis Of Proof-Carrying Temporal Reference Monitors S Winwood, G Klein, M Chakravarty, Logic-based program synthesis and transformation, G. Puebla. Springer Verlag, Heidelberg, D-69121, Germany, Heidelberg, D-69121, Germany, 2007, pp. 111 - 126
	A Termination Checker For Isabelle Hoare Logic G Klein, J Meng, L Paulson, 4th International Verfication Workshop - VERIFY '07, Berhard Beckert. CEUR Workshop Proceedings, online, 2007, pp. 104 - 118
	Running The Manual: An Approach To High-Assurance Microkernel Development D Cock, K Elphinstone, G Klein, M Chakravarty, P Derrin, 2006 ACM SIGPLAN Haskell workshop, Proceedings, A. Loh. ACM press, New York, NY, USA, 2006, pp. 60 - 71
	A Machine-Checked Model For A Java-Like Language, Virtual Machine, And Compiler G Klein, T Nipkow, ACM Transactions on Programming Languages and Systems, . Assoc Computing Machinery, New York, 2006, pp. 619 - 695
	Os Verification - Now! H Tuch, G Klein, G Heiser, Proceedings of the 10th workshop on hot topics in operating systems, . USENIX association, Berkeley, CA, USA, 2005, pp. 7 - 12
	A Unified Memory Model For Pointers H Tuch, G Klein, Logic for programming, artificial intelligence, and reasoning, . Springer, Berlin, Heidelberg, 2005, pp. 474 - 488

To update this page please go to myCSE

Top Of Page

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement