Research papers/Archive

From Embedded XINU

This is a listing of papers we have read in the XINU discussion group. Before the paper title is the date (or approximate date) when the paper was read.

Contents 1 ASPLOS 2 CASES 3 EuroSys 4 ICSE 5 IEEE 6 LCTES 7 Linux Symposium 8 PLDI 9 PLOS 10 PODC 11 SIGCSE 12 SOSP 13 USENIX

[edit] ASPLOS

• [January 30, 2008] Nathan L. Binkert, Ali G. Saidi, Steven K. Reinhardt. Integrated Network Interfaces for High-Bandwidth TCP/IP. Architectural Support for Programming Languages and Operating Systems. San Jose, California. 2006.

• [February 4, 2008] David Tarditi, Sidd Puri, Jose Oglesby. Accelerator: using data Parallelism to Program GPUs for General-Purpose Uses. Architectural Support for Programming Languages and Operating Systems. San Jose, California. 2006.

[edit] CASES

• [April 21, 2008] Andrea Lodi, Mario Toma, Fabio Campi. Application Driven Embedded System Design: A Face Recognition Case Study. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. Salzburg, Austria. 2007.

[edit] EuroSys

• [Fall 2007] Galen Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber. Sealing OS processes to improve dependability and safety. In Proceedings of the 2007 conference on EuroSys, Lisbon, Portugal, 2007.

• [Fall 2007] Z. Zhang and K. Ghose. hFS: a hybrid file system prototype for improving small file and metadata performance. In Proceedings of the 2007 conference on EuroSys, Lisbon, Portugal, 2007.

• [Fall 2007] Orran Krieger, Marc Auslander, Bryan Rosenburg, Robert W. Wisniewski, Jimi Xenidis, Dilma Da Silva, Michal Ostrowski, Jonathan Appavoo, Maria Butrico, Mark Mergen, Amos Waterland, Volkmar Uhlig. K42: building a complete operating system. In Proceedings of the 2007 conference on EuroSys, Leuven, Belgium, 2006.

• [Fall 2007] J. Wires and M. J. Feeley. Secure file system versioning at the block level. In Proceedings of the 2007 conference on EuroSys, Lisbon, Portugal, 2007.

• [Fall 2007] Mogul, J. C. 2006. Emergent (mis)behavior vs. complex software systems. In Proceedings of the 2006 Eurosys Conference (Leuven, Belgium, April 18 - 21, 2006). EuroSys '06. ACM Press, New York, NY, 293-304.

[edit] ICSE

• [April 23, 2008] D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In Proceedings of the 23rd International Conference on Software Engineering. Toronto, Ontario, Canada. pp. 47--56.

[edit] IEEE

• [March 10, 2008] Mario Aldea Rivas and Michael González Harbour. "Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms"

• [March 26, 2008] Partridge, C. and Pink, S. 1993. A faster UDP. IEEE/ACM Trans. Netw. 1, 4 (Aug. 1993), 429-440.

• [April 7, 2008] Thekkath, C. A., Nguyen, T. D., Moy, E., and Lazowska, E. D. 1993. Implementing network protocols at user level. SIGCOMM Comput. Commun. Rev. 23, 4 (Oct. 1993), 64-73.

[edit] LCTES

• [January 28, 2008] Yau-Tsun Steven Li, Sharad Malik. Performance Analysis of Embedded Software Using Implicit Path Enumeration Conference on Languages, Compilers, and Tools for Embedded Systems. 1995.

• [February 27, 2008] John Regehr and Usit Duongsaa. Preventing interrupt overload. In Proceedings of the 2005 Conference on Languages, Compilers, and Tools for Embedded Systems. Chicago, IL. pp. 50--58.

• [April 16, 2008] F. Pizlo, A. L. Hosking, and J. Vitek. Hierarchical real-time garbage collection. In Proceedings of the 2007 Conference on Languages, Compilers, and Tools for Embedded Systems. San Diego, CA. pp. 123--133.

[edit] Linux Symposium

• [March 3, 2008] Alain Volmat and Shigeki Ouchi. "Linux on a Digital Camera"

[edit] PLDI

• [February 11, 2008] Maged M. Michael. Scalable Lock-Free Dynamic Memory Allocation. In SIGPLAN Conference on Programming Language Design and Implementation, pages 35-46, June 2004.

[edit] PLOS

• [February 25, 2008] Paul E. McKenney, Maged M. Michael, and Jonathan Walpole. "Why The Grass May Not Be Greener On The Other Side: A Comparison of Locking vs. Transactional Memory"

[edit] PODC

• [February 18, 2008] Prasad Jayanti and Srdjan Petrovic. Efficient and practical constructions of LL/SC variables. In Proceedings of the twenty-second annual symposium on Principles of distributed computing, pages 285 - 294, 2003.

[edit] SIGCSE

• [Summer 2007] W. Birmingham and L. Acker. Software-Defined Radio for Undergraduate Projects. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Summer 2007] M. Ruckert. Teaching Compiler Construction and Language Design. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Summer 2007] M. Pedroni, T. Bay, M. Oriol, and A. Pedroni. Open Source Projects in Programming Courses. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Summer 2007] K. Wong, T. Wolf, S. Gorinksy, and J. Turner. Teaching Experiences With a Virtual Network Laboratory. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Summer 2007] W. Du, Z. Teng, and R. Wang. SEED: A Suite of Instructional Laboratories for Computer SEcurity EDucation. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Summer 2007] H. Liu, X. Chen, and Y. Gong. BabyOS: A Fresh Start. In Proceedings of the 38th SIGCSE technical symposium on Computer science education, Covington, Kentucky, 2007.

• [Fall 2007] D. Hovemeyer, J. K. Hollingsworth, and B. Bhattacharjee. Running on the Bare Metal with GeekOS. In Proceedings of the 35th SIGCSE technical symposium on Computer science education, Norfolk, Virginia, 2004.

• [Fall 2007] T. Nicholas and J. A. Barchanski. TOS: an educational distributed operating system in Java. In Proceedings of the 32nd SIGCSE technical symposium on Computer science education, Charlotte, North Carolina, 2001.

• [February 13, 2008] McCormick, J. W. 2005. We've been working on the railroad: a laboratory for real-time embedded systems. SIGCSE Bull. 37, 1 (Feb. 2005), 530-534.

[edit] SOSP

• [January 23, 2008] Zuberi, K. M., Pillai, P., and Shin, K. G., EMERALDS: a small-memory real-time microkernel. 17th ACM Symposium on Operating System Principles (SOSP99), 1999.

[edit] USENIX

• [Fall 2007] & [April 9, 2008] Frank W. Miller. Simple Memory Protection for Embedded Operating System Kernels. In Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference.

• [Fall 2007] Marshall K. McKusick, Michael J. Karels, and Keith Bostic. A Pageable Memory Based Filesystem. USENIX Summer, pp. 137-144, 1990.

• [Fall 2007] Nathan K. Edel, Deepa Tuteja, Ethan L. Miller, and Scott A. Brandt. MRAMFS: A Compressing File System for Non-Volatile RAM. MASCOTS, pp. 596-603, IEEE Computer Society, 2004.