Rogardt Heldal

• Email: heldal@cs.chalmers.se
• Phone: +46-31-772-5408
• Room: 5482

My current research interest is in how to deal with security and correctness in software engineering. Previously, I worked in the field of partial evaluation.

Refereed Publications

• "Bridging Model-Based and Language-Based Security", R. Heldal and F. Hultin, Computer Security-ESORICS 2003, LNCS 2808
• "Binding-Time Analysis for Polymorphic Types", R. Heldal and J. Hughes, Perspectives of System Informatics, 2001
• "Extending a partial evaluator which supports separate compilation", R. Heldal and J. Hughes, Theoretical Computer Science 248, 2000
• "Module-Sensitive Program Specialisation", D. Dussart and R. Heldal and J. Hughes, Programming Language Design and Implementation, ACM SIGPLAN, 1997
• "Partial Evaluation and Separate Compilation", R. Heldal and J. Hughes, Partial Evaluation and Semantics-Based Program Manipulation, ACM SIGPLAN, 1997
• "Generating More Practical Compilers by Partial Evaluation", R. Heldal, Functional Programming, Springer-Verlag, 1991

Currently, I am teaching:

• Objektorienterad systemutveckling IT

• I enjoy most outdoor activities like hill walking, climbing, skiing mountaineering, canoeing etc. I am a canoe instructor in my spare time. My outdoor interests have brought me to some of the most interesting places on earth: Jotunheimen (Norway), The Annapurna Circuit (Nepal), Grand Canyon (America), Yosemite (America), Atay (Russia), Highlands (Scotland) etc.
• I am good at most sports, but have always enjoyed running. I mostly see sport as a complement to doing outdoor activities.