Godmar Back
Godmar Back
Associate Professor of Computer Science, Virginia Tech
Verified email at
Cited by
Cited by
The Flux OSKit: A substrate for kernel and language research
B Ford, G Back, G Benson, J Lepreau, A Lin, O Shivers
Proceedings of the sixteenth ACM symposium on Operating systems principles …, 1997
Microkernels meet recursive virtual machines
B Ford, M Hibler, J Lepreau, P Tullmann, G Back, S Clawson
OSDI 96 (16), 137-151, 1996
Processes in {KaffeOS}: Isolation, Resource Management, and Sharing in Java
G Back, WH Hsieh, J Lepreau
Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), 2000
From uncertainty to belief: Inferring the specification within
T Kremenek, P Twohey, G Back, A Ng, D Engler
Proceedings of the 7th symposium on Operating systems design and …, 2006
Quantifying the energy consumption of a pocket computer and a Java virtual machine
KI Farkas, J Flinn, G Back, D Grunwald, JM Anderson
Proceedings of the 2000 ACM SIGMETRICS international conference on …, 2000
DataScript-A specification and scripting language for binary data
G Back
International Conference on Generative Programming and Component Engineering …, 2002
Java Operating Systems: Design and Implementation
G Back, P Tullmann, L Stoller, WC Hsieh, J Lepreau
š Technical Report UUCS-98-015, Univ. of Utah, 1998
VirtuOS: An operating system with kernel virtualization
R Nikolaev, G Back
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
Pattern-based sparse matrix representation for memory-efficient SMVM kernels
M Belgin, G Back, CJ Ribbens
Proceedings of the 23rd international conference on Supercomputing, 100-109, 2009
Drawing the red line in Java
G Back, W Hsieh
Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 116-121, 1999
The kaffeos java runtime system
G Back, WC Hsieh
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 583-630, 2005
Techniques for the Design of Java Operating Systems
G Back, P Tullmann, L Stoller, WC Hsieh, J Lepreau
Usenix Annual Technical Conference, 2000
Diagnosing memory leaks using graph mining on heap dumps
EK Maxwell, G Back, N Ramakrishnan
Proceedings of the 16th ACM SIGKDD international conference on Knowledge …, 2010
The pintos instructional operating system kernel
B Pfaff, A Romano, G Back
Proceedings of the 40th ACM technical symposium on computer science …, 2009
Perfctr-xen: a framework for performance counter virtualization
R Nikolaev, G Back
Acm Sigplan Notices 46 (7), 15-26, 2011
Reverse-Engineering Instruction Encodings.
WC Hsieh, DR Engler, G Back
USENIX Annual Technical Conference, General Track, 133-145, 2001
The distributed open network emulator: Using relativistic time for distributed scalable simulation
C Bergstrom, S Varadarajan, G Back
20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06 …, 2006
LibX–a Firefox extension for enhanced library access
A Bailey, G Back
Library hi tech, 2006
HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java
J Sundararaman, G Back
Proceedings of the 4th ACM Symposium on Software Visualization, 47-56, 2008
Formal methods: a practical tool for OS implementors
P Tullmann, J Turner, J McCorquodale, J Lepreau, A Chitturi, G Back
Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No …, 1997
The system can't perform the operation now. Try again later.
Articles 1–20