Bernard Blackham
PhD Student
Research Interests
Bernard's research interests include worst-case execution time analysis, operating system design, process checkpointing, and generally messing with executables. He now works at Nvidia.
Contact Details
| Email: | bernardb@trustworthy.systems |
|---|
More contact information is available at the Contact page.
Projects
Past |
Bernard was a graduate researcher with the Software Systems Research Group at NICTA and a PhD student at the University of New South Wales. He worked on the construction of dependable multi-criticality real-time systems. This incorporated aspects such as performing worst-case execution time analyses of OS kernels, and exploring the interactions between formal verification and real-time behaviour.
Career Summary
Bernard was a developer at Open Kernel Labs, working on the OKL4 microkernel. He also has worked for for Tieline Technology, developing embedded DSP-based audio/video systems. Until recently, Bernard was the Director of Training for the Australian Informatics Olympiad Committee.
Qualifications
Bernard was awarded a PhD from the University of New South Wales, having worked as a graduate researcher with the Trustworthy Systems group at NICTA. His thesis examined the ingredients for building trustworthy mixed-criticality real-time systems with formal verification and static analysis. Bernard also holds a BE (Electrical Engineering) with first class honours, and a BCM (Computer Science, Pure Mathematics), both from the University of Western Australia.
Affiliations
Bernard was an organiser of the 2013 International Olympiad in Informatics, which was held in July 2013 at the University of Queensland.
Publications
Best Papers
 
|
 |
Bernard Blackham, Yao Shi and Gernot Heiser Improving interrupt response time in a verifiable protected microkernel EuroSys Conference, pp. 323–336, Bern, Switzerland, April, 2012 |
Trustworthy Systems Group Papers
2014
|
|
|
Bernard Blackham, Mark Liffiton and Gernot Heiser Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 169–178, Berlin, Germany, April, 2014 |
2013
|
|
|
Bernard Blackham Towards verified microkernels for real-time mixed-criticality systems PhD Thesis, UNSW, Sydney, Australia, October, 2013 2013 ACM SIGBED Paul Caspi Memorial Dissertation Award and John Makepeace Bennett Award for Australasian Distinguished Doctoral Dissertation |
|
|
|
Yao Shi, Bernard Blackham and Gernot Heiser Code optimizations using formally verified properties Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 427–442, Indianapolis, USA, October, 2013 |
|
|
|
Bernard Blackham and Gernot Heiser Sequoll: A framework for model checking binaries IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 97–106, Philadelphia, USA, April, 2013 Best Paper Award |
2012
|
|
|
Bernard Blackham and Gernot Heiser Correct, fast, maintainable — choose any three! Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012 |
|
|
|
Bernard Blackham, Vernon Tang and Gernot Heiser To preempt or not to preempt, that is the question Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012 |
|
|
|
Bernard Blackham, Yao Shi and Gernot Heiser Improving interrupt response time in a verifiable protected microkernel EuroSys Conference, pp. 323–336, Bern, Switzerland, April, 2012 |
2011
|
|
|
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser Timing analysis of a protected operating system kernel IEEE Real-Time Systems Symposium, pp. 339–348, Vienna, Austria, November, 2011 |
|
|
|
Bernard Blackham, Yao Shi and Gernot Heiser Protected hard real-time: The next frontier Asia-Pacific Workshop on Systems (APSys), pp. 5, Shanghai, China, July, 2011 |
|
|
|
Etienne Le Sueur and Bernard Blackham e4meter: Power management for the people Linux.conf.au, Brisbane, Australia, January, 2011 |