Godmar Back
Godmar Back
Associate Professor of Computer Science, Virginia Tech
Verified email at vt.edu
TitleCited byYear
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
3841997
Processes in KaffeOS: Isolation, resource management, and sharing in Java
G Back, WC Hsieh, J Lepreau
Proceedings of the 4th conference on Symposium on Operating System Design …, 2000
2672000
Microkernels meet recursive virtual machines
B Ford, M Hibler, J Lepreau, P Tullmann, G Back, S Clawson
OSDI 96 (16), 137-151, 1996
2671996
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
1752000
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
1622006
DataScript-A specification and scripting language for binary data
G Back
International Conference on Generative Programming and Component Engineering …, 2002
912002
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
871998
Drawing the red line in Java
G Back, W Hsieh
Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 116-121, 1999
731999
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
692009
VirtuOS: an operating system with kernel virtualization
R Nikolaev, G Back
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
612013
The kaffeos java runtime system
G Back, WC Hsieh
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 583-630, 2005
602005
Techniques for the Design of Java Operating Systems
G Back, P Tullmann, L Stoller, WC Hsieh, J Lepreau
Usenix Annual Technical Conference, 2000
59*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
512010
The pintos instructional operating system kernel
B Pfaff, A Romano, G Back
Proceedings of the 40th ACM technical symposium on Computer science …, 2009
472009
Perfctr-Xen: a framework for performance counter virtualization
R Nikolaev, G Back
Acm Sigplan Notices 46 (7), 15-26, 2011
442011
Reverse-Engineering Instruction Encodings.
WC Hsieh, DR Engler, G Back
USENIX Annual Technical Conference, General Track, 133-145, 2001
402001
LibX–a Firefox extension for enhanced library access
A Bailey, G Back
Library hi tech, 2006
392006
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
362006
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
331997
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
292008
The system can't perform the operation now. Try again later.
Articles 1–20