Systems Software Laboratory

Contact: Godmar Back

2013
Bailey, A., and G. Back, Robots in Academic LibrariesStreamlining Access to Library Resources with LibX, : IGI Global, pp. 62 - 89, 2013.
2012
McDaniel, B., and G. Back, "The CloudBrowser web application framework", the 3rd annual conferenceProceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12, Tucson, Arizona, USANew York, New York, USA, ACM Press, pp. 141, 2012.
2010
Belgin, M., G. Back, and C. J. Ribbens, "Applicability of pattern-based sparse matrix representation for real applications", International Conference on Computational Science (ICCS 2010), Amsterdam, Elsevier, pp. 203-211, 2010.
2009
Ibrahim, A. H., W. R. Cook, M. Fisher II, and E. Tilevich, "Remote batch invocation for web services: Document-oriented web services with object-oriented interfaces", European Conference on Web Services, November, 2009.
Belgin, M., G. Back, and C. J. Ribbens, "A Pattern-based Sparse Matrix Representation for Memory-efficient SMVM Kernels", ICS '09: Proceedings of the 23rd international conference on Supercomputing: ACM, New York, pp. 100-109, 2009.
2008
C.N., G., J. Sundararaman, A. R. Butt, and G. Back, ReplayCache: Exploiting Similarities for Predicting the Future, , San Jose, CA, 2008.
Tilevich, E., and G. Back, "Program, Enhance Thyself! Demand-Driven Pattern-Oriented Program Enhancement", AOSD '08: Proceedings of the Seventh International Conference on Aspect-Oriented Software Development, Brussels, Belgium, ACM Press, April, 2008.
Back, G., and A. Bailey, "Increasing the visibility of web-based information retrieval systems via client-side mash-ups", JCDL '08: Joint Conference on Digital Libraries, Pittsburgh, PA, ACM Press, June, 2008.
Nikolopoulos, D. S., G. Back, J. Tripathi, and M. Curtis-Maury, "VT-ASOS: Holistic System Software Customization for Many Cores", Proceedings of the Workshop on the NSF Next Generation Software Program, held in conjunction with the 22nd IEEE International Parallel and Distributed Processing Symposium, Miami, FL, IEEE Computer Society, pp. 5pp, 2008.
2007
Bailey, A., and G. Back, "Retrieving Known Items with LibX", The Serials Librarian, vol. 53, no. 4: Haworth Press, Inc., pp. 125–140, 2007.
Feizabadi, S., and G. Back, "Garbage collection-aware utility accrual scheduling", Real-Time Systems, vol. 36, no. 1-2, Norwell, MA, USA, Kluwer Academic Publishers, pp. 3–22, 2007.
Back, G., and D. S. Nikolopoulos, "Application-Specific System Customization on Many-Core Platforms: The VT-ASOS Framework", STMCS: Second Workshop on Software Tools for Multi-Core Systems, San Jose, CA, March, 2007.
Back, G., and D. S. Nikolopoulos, "Application-Specific Customization on Many-Core Platforms: The VT-ASOS Framework", Proceedings of the Second Workshop on Software and Tools for Multi-Core Systems, held in conjunction with the 2007 International Symposium on Code Generation and Optimization, San Jose, CA, pp. 6pp, March, 2007.
Belgin, M., C. J. Ribbens, and G. Back, "An operation stacking framework for large ensemble computations", Proceedings of the 21st ACM International Conference on Supercomputing (ICS07), New York, B. Smith (ed.), 2007, ACM, pp. 83–92, 2007.
2006
Kremenek, T., P. Twohey, G. Back, D. Engler, and A. Ng, "From Uncertainty to Belief: Inferring the Specification Within", accepted to Seventh Symposium on Operating Systems Design and Implementation (OSDI '06), Seattle, WA, USENIXASSOC, pp. 161–176, 2006.
Feizabadi, S., and G. Back, "Automatic Memory Management in Utility Accrual Scheduling Environments", Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2006), Gyeongju, South Korea, IEEE, pp. 11–19, 2006.
Bailey, A., and G. Back, "LibX - A Firefox Extension for Enhanced Library Access", Library Hi Tech, vol. 24, no. 2, pp. 290–304, 2006.
Bergstrom, C., S. Varadarajan, and G. Back, "The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation", Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, Singapore, IEEE Computer Society, pp. 19–28, may, 2006.
2005
Feizabadi, S., and G. Back, "Java Garbage Collection Scheduling in Utility Accrual Scheduling Environments", 3rd Workshop on Java Technologies for Real-time and Embedded Systems (JTRES) colocated with OOPSLA 2005: ACM, October, 2005.
Back, G., and W. C. Hsieh, "The KaffeOS Java Runtime System", ACM Transactions on Programming Languages and Systems, vol. 27, no. 4, New York, NY, USA, ACM Press, pp. 583–630, 2005.
2002
Back, G., Isolation, Resource Management and Sharing in the KaffeOS Java Runtime System, : University of Utah, 2002.
Back, G., "DataScript - A Specification and Scripting Language for Binary Data", Proceedings of the ACM Conference on Generative Programming and Component Engineering Proceedings (GPCE 2002), published as LNCS 2487, Pittsburgh, {PA}, ACM, pp. 66-77, oct, 2002.
2001
Hsieh, W. C., D. R. Engler, and G. Back, Reverse-Engineering Instruction Encodings, , Boston, {MA}, pp. 133–146, jun, 2001.
2000
Farkas, K., J. Flinn, G. Back, D. Grunwald, and J. Anderson, "Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine", Proceedings of SIGMETRICS '00, Santa Clara, CA, pp. 252–263, 2000.
Back, G., W. C. Hsieh, and J. Lepreau, Processes in KaffeOS: Isolation, Resource Management, and Sharing in {Java}, , San Diego, CA, USENIXASSOC, pp. 333–346, 2000.
Back, G., P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau, Techniques for the Design of Java Operating Systems, , San Diego, {CA}, USENIXASSOC, pp. 197–210, jun, 2000.
1999
Back, G., and W. C. Hsieh, Drawing the Red Line in Java, , Rio Rico, Arizona, IEEE Computer Society, pp. 116–121, 1999.
1997
Ford, B., G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers, The Flux OSKit: A Substrate for OS and Language Research, , St. Malo, France, pp. 38–51, oct, 1997.
Tullmann, P., J. Turner, J. McCorquodale, J. Lepreau, A. Chitturi, and G. Back, Formal Methods: A Practical Tool for OS Implementors, , Cape Cod, {MA}, IEEE Computer Society, pp. 20–25, may, 1997.
1996
Ford, B., M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson, Microkernels Meet Recursive Virtual Machines, , Seattle, WA, USENIXASSOC, pp. 137–151, oct, 1996.