Publications

  1. Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang and Jason Nieh, "Pervasive Detection of Process Races in Deployed Systems" Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011). Cascais, Portugal, October 2011.
  2. Jeremy Andrus, Christoffer Dall, Alex Van't Hof, Oren Laadan and Jason Nieh, "Cells: A Virtual Mobile Smartphone Architecture" Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011). Cascais, Portugal, October 2011.
  3. Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Junfeng Yang and Jason Nieh, "Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races", Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS XIII), Napa, CA, May 9-11, 2011.
  4. Oren Laadan, Jason Nieh and Nicolas Viennot, "Structured Linux Kernel Projects for Teaching Operating Systems Concepts", Proceedings of the 42nd ACM Technical Symposium on Computer Science Education (SIGCSE 2011), Dallas, TX, March 9-12, 2011.
  5. Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh and Dan Rubenstein, "VMTorrent: Virtual Appliances On-Demand (Extended Abstract)", Proceedings of ACM SIGCOMM 2010, SRC: Graduate Finalist, New Delhi, India, August 2010.
  6. Oren Laadan and Serge E. Hallyn, "Linux-CR: Transparent Application Checkpoint-Restart in Linux", Proceedings of the 12th Annual Linux Symposium, Ottawa, Canada, July 2010. (slides).
  7. Shaya Potter, Oren Laadan, Ricardo Baratto and Jason Nieh, "MediaPod: A Pocketized and Personalized Multimedia Desktop", International Journal of Semantic Computing (IJSC), 4(2):181-202, June, 2010.
  8. Oren Laadan, Nicolas Viennot and Jason Nieh, "Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems", Proceedings of ACM SIGMETRICS 2010 Conference on Measurement and Modeling of Computer Systems, New York, NY, June 2010.
  9. Oren Laadan and Jason Nieh, "Operating System Virtualization: Practice and Experience", Proceedings of the 3rd Annual Haifa Experimental Systems Conference (SYSTOR 2010), Haifa, Israel, May 24-26, 2010.
  10. Oren Laadan, Jason Nieh and Nicolas Viennot, "Teaching Operating Systems Using Virtual Appliances and Distributed Version Control", Proceedings of the 41st ACM Technical Symposium on Computer Science Education (SIGCSE 2010), Milwaukee, WI, March 10-13, 2010.
  11. Shaya Potter, Ricardo Baratto, Oren Laadan, Leonard Kim and Jason Nieh, "MediaPod: A Personalized Multimedia Desktop In Your Pocket", Proceedings of the 11th IEEE International Symposium on Multimedia (ISM 2009), San Diego, CA, December 14-16, 2009.
  12. Shaya Potter, Ricardo Baratto, Oren Laadan and Jason Nieh, "GamePod: Persistent Gaming Sessions on Pocketable Storage Devices", Proceedings of the 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services, and Technologies (UBICOMM 2009), Sliema, Malta, October 11-16, 2009.
  13. Oren Laadan, Nicolas Viennot and Jason Nieh, "Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems", Technical Report CUCS-017-09, Columbia University, April, 2009.
  14. Stelios Sidiroglou, Oren Laadan, Nico Viennot, Carlos-René Pérez, Angelos D. Keromytis and Jason Nieh, "ASSURE: Automatic Software Self-healing Using REscue points", Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2009), pages 37-48, Washington, DC, March 2009.
  15. Oren Laadan and Jason Nieh, "Operating Systems Virtualization: Practice and Experience", Technical Report CUCS-058-08, Columbia University, December, 2008.
  16. Oren Laadan, Ricardo A. Baratto, Dan Phung, Shaya Potter and Jason Nieh, "DejaView: A Personal Virtual Computer Recorder", Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP 2007), pages 279-292, Stevenson, WA, October 2007.
  17. Oren Laadan and Jason Nieh, "Transparent Checkpoint/Restart of Multiple Processes on Commodity Operating Systems", Proceedings of the 2007 USENIX Annual Technical Conference (USENIX 2007), pages 323-336, Santa Clara, CA, June 2007.
  18. Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis and Jason Nieh, "Using Rescue Points to Navigate Software Recovery (Short Paper)", Proceedings of the IEEE Symposium on Security & Privacy, pages 273-280, Oakland, CA, May 2007.
  19. Oren Laadan, Dan Phung and Jason Nieh, "Transparent Checkpoint/Restart of Distributed Applications on Commodity Clusters", Proceedings of the 2005 IEEE International Conference on Cluster Computing (Cluster 2005), pages 1-13, Boston, MA, September 2005.
  20. Malcolm S. Cowler, Oren Laadan and Toshiaki Ohta, "High Performance Computing Using AUTODYN-3D", Proceedings of the 6th International Conference on Applications of High Performance Computing in Engineering, HPC-2000, pages 291-299, Maui, HI, January 2000.
  21. Amnon Barak, Oren Laadan and Amnon Shiloh, "Scalable Cluster Computing with MOSIX for Linux", Proceedings of the 5th Annual Linux Expo, pages 95-100, Raleigh, NC 1999.
  22. Oren Laadan and Amnon Barak, "Inter Process Communication Optimization in a Scalable Computing Cluster", In Y. C. Kwong, editor, Annual Review of Scalable Computing, vol 1, pages 121-180. World Scientific Pub., 1999.
  23. Malcolm S. Cowler, Travis Wilson and Oren Laadan, "A Parallel Algorithm for the Deformation and Interaction of Structures Modeled with Lagrange Meshes in AUTODYN-3D", In V. P. W. Shim, S. Tanimura, and C. T. Lim, editors, Impact Response of Materials and Structures, vol 1, pages 407-412, World scientific Pub. 1999.
  24. Amnon Barak and Oren Laadan, "The MOSIX Multi-Computer Operating System for High Performance Cluster Computing", Journal of Future Generation Computer Systems, 13(4-5):361-372, March, 1998.
  25. Oren Laadan, "Inter-Process Communication Optimization Under Load Balancing Constraints", Master's Thesis, Hebrew University of Jerusalem, January 1998.
  26. Akiva Novoselsky, Michelle Vallieres and Oren Laadan, "Full f-p Shell Calculations of 51CA and 51SC", Physical Review Letters, 79(22):4341-4344, December 1997.
  27. Akiva Novoselsky, Michelle Vallieres and Oren Laadan, "Full f-p Shell Study of Nuclei with 11-12 Nucleons by Using the DUPSM Code", Proceedings of Shell Model '97 Conference,, Shtokholm, October 1997.
  28. Amnon Barak and Oren Laadan, "Performance of the MOSIX Parallel System for a Cluster of PC's", Proceedings of the International Conference on High Performance Computing and Networking, HPCN Europe '97, vol 1225 of LNCS, pages 624-635, Springer-Verlag, May 1997.
  29. Amnon Barak and Oren Laadan, "Experience with a Scalable PC Cluster for HPC", Proceedings of the 1st Cluster Computer Conference, CCC '97,, Emory University, Atlanta, GA, March 1997.
  30. Amnon Barak, Avner Braverman, Ilia Gilderman and Oren Laadan, "The MOSIX Multicomputer Operating System for Scalable NOW and its Dynamic Resource Sharing Algorithms", Technical Report 96-11, The Hebrew University, July 1996.
  31. Amnon Barak, Avner Braverman, Ilia Gilderman and Oren Laadan, "Performance of PVM with the MOSIX Preemptive Process Migration", Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering,, pages 38-45, Herzliya, June, 1996.
  32. Amnon Barak, Yuval Yraom and Oren Laadan, "The NOW MOSIX and its Preemptive Process Migration Scheme", Bulletin of the IEEE Technical Committee on Operating Systems and Application Environments,, vol 7, pages 5-11, Summer, 1995.