default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGernot Heiser
Person information
- affiliation: University of New South Wales, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j30]Nils Wistoff
, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini:
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning. IEEE Trans. Computers 72(5): 1420-1430 (2023)- [c85]Mathieu Paturel, Isitha Subasinghe, Gernot Heiser:
First steps in verifying the seL4 Core Platform. APSys 2023: 9-15 - [c84]Arnd Weber, Sylvain Guilley, René Rathfelder, Marc Stöttinger, Christoph Lüth, Maja Malenko, Torsten Grawunder, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Hagen Sankowski, Gernot Heiser:
Verified Value Chains, Innovation and Competition. CSR 2023: 470-476 - [c83]Gernot Heiser, Ivan Velickovic:
Tutorial: Using the seL4 Microkernel. DSN-S 2023: 4 - [c82]Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser:
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM 2023: 103-121 - [c81]Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi:
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware. MICRO 2023: 871-885 - [c80]Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser:
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP 2023: 1-9 - [i11]Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser:
Proving the Absence of Microarchitectural Timing Channels. CoRR abs/2310.17046 (2023) - 2022
- [c79]Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller:
Property-Based Testing: Climbing the Stairway to Verification. SLE 2022: 84-97 - [c78]Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie:
Can We Put the "S" Into IoT? WF-IoT 2022: 1-6 - [i10]Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini:
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning. CoRR abs/2202.12029 (2022) - 2021
- [c77]Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser:
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core. DATE 2021: 627-632 - 2020
- [j29]Gernot Heiser, Gerwin Klein, June Andronick:
seL4 in Australia: from research to real-world trustworthy systems. Commun. ACM 63(4): 72-75 (2020) - [j28]Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida:
Benchmarking Flaws Undermine Security Research. IEEE Secur. Priv. 18(3): 48-57 (2020) - [j27]Gernot Heiser, Toby Murray, Gerwin Klein:
Towards Provable Timing-Channel Prevention. ACM SIGOPS Oper. Syst. Rev. 54(1): 1-7 (2020) - [i9]Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser:
Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core. CoRR abs/2005.02193 (2020)
2010 – 2019
- 2019
- [c76]Yanyan Shen, Gernot Heiser, Kevin Elphinstone:
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. DSN 2019: 188-200 - [c75]Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida:
SoK: Benchmarking Flaws in Systems Security. EuroS&P 2019: 310-325 - [c74]Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser:
Time Protection: The Missing OS Abstraction. EuroSys 2019: 1:1-1:17 - [c73]Gernot Heiser, Gerwin Klein, Toby C. Murray:
Can We Prove Time Protection? HotOS 2019: 23-29 - [i8]Gernot Heiser, Gerwin Klein, Toby C. Murray:
Can We Prove Time Protection? CoRR abs/1901.08338 (2019) - 2018
- [j26]Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser:
Formally verified software in the real world. Commun. ACM 61(10): 68-77 (2018) - [j25]Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart:
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51(11): 14-23 (2018) - [j24]Gernot Heiser:
For Safety's Sake: We Need a New Hardware-Software Contract! IEEE Des. Test 35(2): 27-30 (2018) - [j23]Xiaobo Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim, Tetsuya Tohdo:
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact? IEEE Des. Test 35(6): 86-93 (2018) - [j22]Qian Ge, Yuval Yarom, David A. Cock, Gernot Heiser:
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware. J. Cryptogr. Eng. 8(1): 1-27 (2018) - [c72]Qian Ge, Yuval Yarom, Gernot Heiser:
No Security Without Time Protection: We Need a New Hardware-Software Contract. APSys 2018: 1:1-1:9 - [c71]Simon Biggs, Damon Lee, Gernot Heiser:
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security. APSys 2018: 16:1-16:7 - [c70]Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser:
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. EuroSys 2018: 26:1-26:16 - [i7]Erik van der Kouwe, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Gernot Heiser:
Benchmarking Crimes: An Emerging Threat in Systems Security. CoRR abs/1801.02381 (2018) - [i6]Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser:
Time Protection: the Missing OS Abstraction. CoRR abs/1810.05345 (2018) - 2017
- [j21]Gernot Heiser:
Technical Perspective: Proving file systems meet expectations. Commun. ACM 60(4): 74 (2017) - [j20]Thomas Sewell, Felix Kam, Gernot Heiser:
High-assurance timing analysis for a high-assurance real-time operating system. Real Time Syst. 53(5): 812-853 (2017) - [c69]Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser:
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. APSys 2017: 11:1-11:8 - [c68]Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser:
The Cogent Case for Property-Based Testing. PLOS@SOSP 2017: 1-7 - 2016
- [j19]Gernot Heiser, Kenji Kono, KyoungSoo Park, Robbert van Renesse:
Report on the Asia-Pacific Systems Workshop 2015 (APSys'15). ACM SIGOPS Oper. Syst. Rev. 50(1): 1-2 (2016) - [j18]Paolo Montuschi, Edward J. McCluskey, Samarjit Chakraborty, Jason Cong, Ramón M. Rodríguez-Dagnino, Fred Douglis, Lieven Eeckhout, Gernot Heiser, Sushil Jajodia, Ruby B. Lee, Dinesh Manocha, Tomás F. Pena, Isabelle Puaut, Hanan Samet, Donatella Sciuto:
State of the Journal. IEEE Trans. Computers 65(7): 2014-2018 (2016) - [j17]Gernot Heiser, Kevin Elphinstone:
L4 Microkernels: The Lessons from 20 Years of Research and Deployment. ACM Trans. Comput. Syst. 34(1): 1:1-1:29 (2016) - [c67]Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser:
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS 2016: 175-188 - [c66]Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee:
CATalyst: Defeating last-level cache side channel attacks in cloud computing. HPCA 2016: 406-418 - [c65]Thomas Sewell, Felix Kam, Gernot Heiser:
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. RTAS 2016: 185-195 - [i5]Anna Lyons, Gernot Heiser:
It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity. CoRR abs/1606.00111 (2016) - [i4]Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser:
An Evaluation of Coarse-Grained Locking for Multicore Microkernels. CoRR abs/1609.08372 (2016) - [i3]Qian Ge, Yuval Yarom, Gernot Heiser:
Do Hardware Cache Flushing Operations Actually Meet Our Expectations? CoRR abs/1612.04474 (2016) - [i2]Qian Ge, Yuval Yarom, David A. Cock, Gernot Heiser:
A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware. IACR Cryptol. ePrint Arch. 2016: 613 (2016) - 2015
- [c64]Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser:
For a Microkernel, a Big Lock Is Fine. APSys 2015: 3:1-3:7 - [c63]Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee:
Last-Level Cache Side-Channel Attacks are Practical. IEEE Symposium on Security and Privacy 2015: 605-622 - [e4]Dalit Naor, Gernot Heiser, Idit Keidar:
Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR 2015, Haifa, Israel, May 26-28, 2015. ACM 2015, ISBN 978-1-4503-3607-9 [contents] - [i1]Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee, Gernot Heiser:
Mapping the Intel Last-Level Cache. IACR Cryptol. ePrint Arch. 2015: 905 (2015) - 2014
- [j16]Aaron Carroll, Gernot Heiser:
Mobile multicores: use them or waste them. ACM SIGOPS Oper. Syst. Rev. 48(1): 44-48 (2014) - [j15]Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48(1): 58-64 (2014) - [j14]Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser:
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32(1): 2:1-2:70 (2014) - [j13]Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom:
A Scalable Lock Manager for Multicores. ACM Trans. Database Syst. 39(4): 29:1-29:29 (2014) - [c62]David A. Cock, Qian Ge, Toby C. Murray, Gernot Heiser:
The Last Mile: An Empirical Study of Timing Channels on seL4. CCS 2014: 570-581 - [c61]Bernard Blackham, Mark H. Liffiton, Gernot Heiser:
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. RTAS 2014: 169-178 - [c60]Aaron Carroll, Gernot Heiser:
Unifying DVFS and offlining in mobile multicores. RTAS 2014: 287-296 - 2013
- [c59]Aaron Carroll, Gernot Heiser:
The systems hacker's guide to the galaxy energy usage in a modern smartphone. APSys 2013: 5:1-5:7 - [c58]Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso:
RapiLog: reducing system complexity through verification. EuroSys 2013: 323-336 - [c57]Aleksander Budzynowski, Gernot Heiser:
The von Neumann Architecture Is Due for Retirement. HotOS 2013 - [c56]Yao Shi, Bernard Blackham, Gernot Heiser:
Code optimizations using formally verified properties. OOPSLA 2013: 427-442 - [c55]Bernard Blackham, Gernot Heiser:
Sequoll: A framework for model checking binaries. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 97-106 - [c54]Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom:
A scalable lock manager for multicores. SIGMOD Conference 2013: 73-84 - [c53]Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! PLOS@SOSP 2013: 1:1-1:7 - [c52]Aaron Carroll, Gernot Heiser:
Mobile multicores: use them or waste them. HotPower@SOSP 2013: 12:1-12:5 - [c51]Kevin Elphinstone, Gernot Heiser:
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? SOSP 2013: 133-150 - [e3]Steve Muir, Gernot Heiser, Stephen M. Blackburn:
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013. ACM 2013, ISBN 978-1-4503-1266-0 [contents] - 2012
- [j12]Gernot Heiser, Toby C. Murray, Gerwin Klein:
It's Time for Trustworthy Systems. IEEE Secur. Priv. 10(2): 67-70 (2012) - [c50]Bernard Blackham, Vernon Tang, Gernot Heiser:
To preempt or not to preempt, that is the question. APSys 2012: 8 - [c49]Bernard Blackham, Gernot Heiser:
Correct, fast, maintainable: choose any three! APSys 2012: 13 - [c48]Stefan M. Petters, Kevin Elphinstone, Gernot Heiser:
Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206 - [c47]Bernard Blackham, Yao Shi, Gernot Heiser:
Improving interrupt response time in a verifiable protected microkernel. EuroSys 2012: 323-336 - [e2]Gernot Heiser, Wilson C. Hsieh:
Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, Boston, MA, USA, June 13-15, 2012. USENIX Association 2012 [contents] - 2011
- [j11]Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser:
Architecture optimisation with currawong. Comput. Commun. Rev. 41(1): 115-119 (2011) - [c46]Bernard Blackham, Yao Shi, Gernot Heiser:
Protected hard real-time: the next frontier. APSys 2011: 1 - [c45]Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu:
Static analysis of device drivers: we can do better! APSys 2011: 8 - [c44]Prashant Varanasi, Gernot Heiser:
Hardware-supported virtualization on ARM. APSys 2011: 11 - [c43]Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved device driver reliability through hardware verification reuse. ASPLOS 2011: 133-144 - [c42]Gernot Heiser:
Low-overhead virtualization of mobile platforms. CASES 2011: 3-4 - [c41]Gernot Heiser:
Virtualizing embedded systems: why bother? DAC 2011: 901-905 - [c40]Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski:
What If You Could Actually Trust Your Kernel? HotOS 2011 - [c39]Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser:
Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348 - [c38]Etienne Le Sueur, Gernot Heiser:
Slow Down or Sleep, That Is the Question. USENIX ATC 2011 - [e1]Christoph M. Kirsch, Gernot Heiser:
European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011. ACM 2011, ISBN 978-1-4503-0634-8 [contents] - 2010
- [j10]Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood:
seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010) - [c37]Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk:
The road to trustworthy systems. STC@CCS 2010: 3-10 - [c36]Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved Device Driver Reliability Through Verification Reuse. HotDep 2010 - [c35]Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser:
Architecture optimisation with Currawong. ApSys 2010: 7-12 - [c34]Gernot Heiser, Ben Leslie:
The OKL4 microvisor: convergence point of microkernels and hypervisors. ApSys 2010: 19-24 - [c33]Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser:
The case for active device drivers. ApSys 2010: 25-30 - [c32]Aaron Carroll, Gernot Heiser:
An Analysis of Power Consumption in a Smartphone. USENIX ATC 2010
2000 – 2009
- 2009
- [c31]Gernot Heiser:
Hypervisors for Consumer Electronics. CCNC 2009: 1-5 - [c30]Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser:
Dingo: taming device drivers. EuroSys 2009: 275-288 - [c29]David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser:
Koala: a platform for OS-level power management. EuroSys 2009: 289-302 - [c28]Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser:
Automatic device driver synthesis with termite. SOSP 2009: 73-86 - [c27]Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood:
seL4: formal verification of an OS kernel. SOSP 2009: 207-220 - [c26]Matthew Chapman, Gernot Heiser:
vNUMA: A Virtual Shared-Memory Multiprocessor. USENIX ATC 2009 - 2008
- [c25]Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser:
Pre-virtualization: Soft layering for virtual machines. ACSAC 2008: 1-9 - [c24]Gernot Heiser:
Operating System Verification for Real Use. VERIFY 2008 - [c23]Gernot Heiser:
The role of virtualization in embedded systems. IIES@EuroSys 2008: 11-16 - 2007
- [j9]Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser:
CAmkES: A component model for secure microkernel-based embedded systems. J. Syst. Softw. 80(5): 687-699 (2007) - [j8]Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters:
Towards trustworthy computing systems: taking microkernels to the next level. ACM SIGOPS Oper. Syst. Rev. 41(4): 3-11 (2007) - [j7]Gernot Heiser:
Your System Is Secure? Prove It! login Usenix Mag. 32(6) (2007) - [c22]David C. Snowdon, Stefan M. Petters, Gernot Heiser:
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. EMSOFT 2007: 84-93 - [c21]Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser:
Towards a Practical, Verified Kernel. HotOS 2007 - [c20]Timothy Roscoe, Kevin Elphinstone, Gernot Heiser:
Hype and Virtue. HotOS 2007 - [c19]Leonid Ryzhyk, Ihor Kuz, Gernot Heiser:
Formalising device driver interfaces. PLOS@SOSP 2007: 10:1-10:5 - [c18]Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser:
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. USENIX ATC 2007: 337-350 - [c17]Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser:
Measurements or Static Analysis or Both?. WCET 2007 - 2006
- [j6]Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur:
Are virtual-machine monitors microkernels done right? ACM SIGOPS Oper. Syst. Rev. 40(1): 95-99 (2006) - [c16]Gernot Heiser:
Panel: Is University Systems Teaching and Research Relevant to Industry?. USENIX ATC, General Track 2006 - 2005
- [j5]Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser:
User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20(5): 654-664 (2005) - [j4]Gernot Heiser:
Secure Embedded Systems Need Microkernels. login Usenix Mag. 30(6) (2005) - [c15]Harvey Tuch, Gerwin Klein, Gernot Heiser:
OS Verification - Now! HotOS 2005 - [c14]Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser:
Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). USENIX ATC, General Track 2005: 265-278 - [c13]Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr:
Providing Dynamic Update in an Operating System. USENIX ATC, General Track 2005: 279-291 - [c12]Matthew Chapman, Gernot Heiser:
Implementing Transparent Shared Memory on Clusters Using Virtual Machines. USENIX ATC, General Track 2005: 383-386 - 2003
- [c11]