| 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 | 424 | 1997 |
| Microkernels meet recursive virtual machines B Ford, M Hibler, J Lepreau, P Tullmann, G Back, S Clawson OSDI 96 (16), 137-151, 1996 | 291 | 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 | 273 | 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 | 203 | 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 | 193 | 2000 |
| DataScript-A specification and scripting language for binary data G Back International Conference on Generative Programming and Component Engineering …, 2002 | 117 | 2002 |
| VirtuOS: An operating system with kernel virtualization R Nikolaev, G Back Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013 | 105 | 2013 |
| 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 | 93 | 1998 |
| 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 | 89 | 2009 |
| The kaffeos java runtime system G Back, WC Hsieh ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 583-630, 2005 | 80 | 2005 |
| 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 | 73 | 2010 |
| Drawing the red line in Java G Back, W Hsieh Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 116-121, 1999 | 71 | 1999 |
| The pintos instructional operating system kernel B Pfaff, A Romano, G Back Proceedings of the 40th ACM technical symposium on computer science …, 2009 | 63 | 2009 |
| Techniques for the Design of Java Operating Systems G Back, P Tullmann, L Stoller, WC Hsieh, J Lepreau Usenix Annual Technical Conference, 2000 | 63 | 2000 |
| Perfctr-xen: a framework for performance counter virtualization R Nikolaev, G Back Acm Sigplan Notices 46 (7), 15-26, 2011 | 56 | 2011 |
| Reverse-Engineering Instruction Encodings. WC Hsieh, DR Engler, G Back USENIX Annual Technical Conference, General Track, 133-145, 2001 | 46 | 2001 |
| 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 | 41 | 2008 |
| LibX–a Firefox extension for enhanced library access A Bailey, G Back Library hi tech 24 (2), 290-304, 2006 | 40 | 2006 |
| 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 | 39 | 2006 |
| 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 | 34 | 1997 |
