Microkernels Meet Recursive Virtual Machines. - Bryan Ford; Mike Hibler; Jay Lepreau; Patrick Tullmann; Godmar Back; Stephen Clawson (OSDI, 1996)

Formal Methods: A Practical Tool for OS Implementors. - Patrick Tullmann; Jeff Turner; John McCorquodale; Jay Lepreau; Ajay Chitturi; Godmar Back (Workshop on Hot Topics in Operating Systems, 1997)

The Flux OSKit: A Substrate for Kernel and Language Research. - Bryan Ford; Godmar Back; Greg Benson; Jay Lepreau; Albert Lin; Olin Shivers (SOSP, 1997)

Drawing the Red Line in Java. - Godmar Back; Wilson C. Hsieh (Workshop on Hot Topics in Operating Systems, 1999)

Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. - Godmar Back; Wilson C. Hsieh; Jay Lepreau (OSDI, 2000)

Quantifying the energy consumption of a pocket computer and a Java virtual machine. - Keith I. Farkas; Jason Flinn; Godmar Back; Dirk Grunwald; Jennifer-Ann M. Anderson (SIGMETRICS, 2000)

Techniques for the Design of Java Operating Systems. - Godmar Back; Patrick Tullmann; Leigh Stoller; Wilson C. Hsieh; Jay Lepreau (USENIX ATC, General Track, 2000)

Reverse-Engineering Instruction Encodings. - Wilson C. Hsieh; Dawson R. Engler; Godmar Back (USENIX ATC, General Track, 2001)

DataScript - A Specification and Scripting Language for Binary Data. - Godmar Back (GPCE, 2002)

Isolation, Resource Management and Sharing in the Kaffeos Java Runtime System. - Godmar Back (2002)

The KaffeOS Java runtime system. - Godmar Back; Wilson C. Hsieh (ACM Trans. Program. Lang. Syst., 2005)

Automatic Memory Management in Utility Accrual Scheduling Environments. - Shahrooz Feizabadi; Godmar Back (ISORC, 2006)

From Uncertainty to Belief: Inferring the Specification Within. - Ted Kremenek; Paul Twohey; Godmar Back; Andrew Y. Ng; Dawson R. Engler (OSDI, 2006)

The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation. - Craig Bergstrom; Srinidhi Varadarajan; Godmar Back (PADS, 2006)

LibX - a Firefox extension for enhanced library access. - Annette Bailey; Godmar Back (Libr. Hi Tech, 2006)

An operation stacking framework for large ensemble computations. - Mehmet Belgin; Calvin J. Ribbens; Godmar Back (ICS, 2007)

Garbage collection-aware utility accrual scheduling. - Shahrooz Feizabadi; Godmar Back (Real Time Syst., 2007)

"Program, enhance thyself!": demand-driven pattern-oriented program enhancement. - Eli Tilevich; Godmar Back (AOSD, 2008)

VT-ASOS: Holistic system software customization for many cores. - Dimitrios S. Nikolopoulos; Godmar Back; Jyotirmaya Tripathi; Matthew Curtis-Maury (IPDPS, 2008)

Increasing the visibility of web-based information systems via client-side mash-ups. - Godmar Back; Annette Bailey (JCDL, 2008)

HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java. - Jaishankar Sundararaman; Godmar Back (SOFTVIS, 2008)

A Fast JPEG2000 Encoder That Preserves Coding Efficiency: The Split Arithmetic Encoder. - Krishnaraj Varma; Hima B. Damecharla; Amy E. Bell; Joan Carletta; Godmar V. Back (IEEE Trans. Circuits Syst. I Regul. Pap., 2008)

Pattern-based sparse matrix representation for memory-efficient SMVM kernels. - Mehmet Belgin; Godmar Back; Calvin J. Ribbens (ICS, 2009)

The pintos instructional operating system kernel. - Ben Pfaff; Anthony Romano; Godmar Back (SIGCSE, 2009)

Diagnosing memory leaks using graph mining on heap dumps. - Evan K. Maxwell; Godmar Back; Naren Ramakrishnan (KDD, 2010)

Operation Stacking for Ensemble Computations With Variable Convergence. - Mehmet Belgin; Godmar Back; Calvin J. Ribbens (Int. J. High Perform. Comput. Appl., 2010)

Applicability of Pattern-based sparse matrix representation for real applications. - Mehmet Belgin; Godmar Back; Calvin J. Ribbens (ICCS, 2010)

Perfctr-Xen: a framework for performance counter virtualization. - Ruslan Nikolaev 001; Godmar Back (VEE, 2011)

A Library for Pattern-based Sparse Matrix Vector Multiply. - Mehmet Belgin; Godmar Back; Calvin J. Ribbens (Int. J. Parallel Program., 2011)

Bringing creative web 2.0 programming into CS1: conference workshop. - Stephen H. Edwards; Godmar Back (J. Comput. Sci. Coll., 2011)

The CloudBrowser web application framework. - Brian McDaniel; Godmar Back (SPLASH, 2012)

VirtuOS: an operating system with kernel virtualization. - Ruslan Nikolaev 001; Godmar Back (SOSP, 2013)

LUC: Limiting the Unintended Consequences of Power Scaling on Parallel Transaction-Oriented Workloads. - Hung-Ching Chang; Bo Li 032; Godmar Back; Ali Raza Butt; Kirk W. Cameron (IPDPS, 2015)

Rich cloud-based web applications with CloudBrowser 2.0. - Xiaozhong Pan; Godmar Back (SAC, 2016)

Novel meshes for multivariate interpolation and approximation. - Thomas C. H. Lux; Layne T. Watson; Tyler H. Chang; Jon Bernard; Bo Li 032; Xiaodong Yu 001; Li Xu; Godmar Back; Ali Raza Butt; Kirk W. Cameron; Danfeng Yao; Yili Hong 001 (ACM Southeast Regional Conference, 2018)

Teaching Variability in a Core Systems Course: (Abstract Only). - Godmar Back; Lance Chao; Pratik Anand; Thomas Lux; Bo Li 032; Ali Raza Butt; Kirk W. Cameron (SIGCSE, 2018)

Development and Analysis of a Spiral Theory-based Cybersecurity Curriculum: (Abstract Only). - Debarati Basu; N. Dwight Barnette; Godmar Back; David McPherson; William M. Naciri; Paul E. Plassmann; Calvin J. Ribbens; Vinod K. Lohani; Margaret Ellis 001; Kira R. Gantt (SIGCSE, 2018)

Predicting system performance by interpolation using a high-dimensional delaunay triangulation. - Tyler H. Chang; Layne T. Watson; Thomas C. H. Lux; Jon Bernard; Bo Li 032; Li Xu; Godmar Back; Ali Raza Butt; Kirk W. Cameron; Yili Hong 001 (SpringSim (HPC), 2018)

Predictive modeling of I/O characteristics in high performance computing systems. - Thomas C. H. Lux; Layne T. Watson; Tyler H. Chang; Jon Bernard; Bo Li 032; Li Xu; Godmar Back; Ali Raza Butt; Kirk W. Cameron; Yili Hong 001 (SpringSim (HPC), 2018)

Lightning Talks of EduHPC 2020. - Joel C. Adams; Godmar Back; Piotr Bala; Michael K. Bane; Kirk W. Cameron; Henri Casanova; Margaret Ellis 001; Rafael Ferreira da Silva; Gautam Jethwani; William Koch; Tabitha Lee; Tongyu Zhu (EduHPC@SC, 2020)

Integration and Evaluation of Spiral Theory based Cybersecurity Modules into core Computer Science and Engineering Courses. - Debarati Basu; Harinni K. Kumar; Vinod K. Lohani; N. Dwight Barnette; Godmar Back; David McPherson; Calvin J. Ribbens; Paul E. Plassmann (SIGCSE, 2020)

A Detailed Historical and Statistical Analysis of the Influence of Hardware Artifacts on SPEC Integer Benchmark Performance. - Yueyao Wang; Samuel Furman; Nicolás Hardy; Margaret Ellis 001; Godmar Back; Yili Hong 001; Kirk W. Cameron (IEEE Trans. Computers, 2024)