Godmar Back
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
15
Active years
1996–2020
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SIGCSE | 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 |
| 2020 | SC | Lightning Talks of EduHPC 2020. | Joel C. Adams, Godmar Back, Piotr Bala, Michael K. Bane, Kirk W. Cameron, Henri Casanova, Margaret Ellis, Rafael Ferreira da Silva, Gautam Jethwani, William Koch, Tabitha Lee, Tongyu Zhu |
| 2018 | SIGCSE | Teaching Variability in a Core Systems Course: (Abstract Only). | Godmar Back, Lance Chao, Pratik Anand, Thomas Lux, Bo Li, Ali Raza Butt, Kirk W. Cameron |
| 2018 | SIGCSE | 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, Kira R. Gantt |
| 2016 | SAC | Rich cloud-based web applications with CloudBrowser 2.0. | Xiaozhong Pan, Godmar Back |
| 2013 | SOSP | VirtuOS: an operating system with kernel virtualization. | Ruslan Nikolaev, Godmar Back |
| 2012 | OOPSLA | The CloudBrowser web application framework. | Brian McDaniel, Godmar Back |
| 2011 | VEE | Perfctr-Xen: a framework for performance counter virtualization. | Ruslan Nikolaev, Godmar Back |
| 2010 | KDD | Diagnosing memory leaks using graph mining on heap dumps. | Evan K. Maxwell, Godmar Back, Naren Ramakrishnan |
| 2009 | ICS | Pattern-based sparse matrix representation for memory-efficient SMVM kernels. | Mehmet Belgin, Godmar Back, Calvin J. Ribbens |
| 2009 | SIGCSE | The pintos instructional operating system kernel. | Ben Pfaff, Anthony Romano, Godmar Back |
| 2007 | ICS | An operation stacking framework for large ensemble computations. | Mehmet Belgin, Calvin J. Ribbens, Godmar Back |
| 2006 | ISORC | Automatic Memory Management in Utility Accrual Scheduling Environments. | Shahrooz Feizabadi, Godmar Back |
| 2006 | OSDI | From Uncertainty to Belief: Inferring the Specification Within. | Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler |
| 2006 | PADS | The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation. | Craig Bergstrom, Srinidhi Varadarajan, Godmar Back |
| 2002 | GPCE | DataScript - A Specification and Scripting Language for Binary Data. | Godmar Back |
| 2001 | USENIX | Reverse-Engineering Instruction Encodings. | Wilson C. Hsieh, Dawson R. Engler, Godmar Back |
| 2000 | OSDI | Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. | Godmar Back, Wilson C. Hsieh, Jay Lepreau |
| 2000 | SIGMETRICS | 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 |
| 2000 | USENIX | Techniques for the Design of Java Operating Systems. | Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau |
| 1999 | HotOS | Drawing the Red Line in Java. | Godmar Back, Wilson C. Hsieh |
| 1997 | HotOS | Formal Methods: A Practical Tool for OS Implementors. | Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back |
| 1997 | SOSP | The Flux OSKit: A Substrate for Kernel and Language Research. | Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers |
| 1996 | OSDI | Microkernels Meet Recursive Virtual Machines. | Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson |