News

6/22/09:  General Co-Chair for the 2009 MobiSys PhD Forum.  6/17/08:  Best Presentation Award (2008 MobiSys Phd Forum)  7/4/07:  Major press about UMass TurtleNet

Research Interests

Generally: Mobile Systems, Pervasive Computing, and Challenged Networks

Specifically: Programming Languages, Operating Systems, Energy Management, Sensor Networks, and Distruption-Tolerant Networking.

Projects: Eon, TurtleNet, and Hierarchical Power Management (see Turducken and Triage papers).

Publications

• Energy Harvesting/Turtle Tracking

  • J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner, E.D. Berger. Eon: A Language and Runtime System for Perpetual Systems. In Proceedings of the Fifth International ACM Conference on Embedded Networked Sensor Systems (SenSys '07), Sydney, Australia, November 2007. (Previously as Technical Report  06-61. University of Massachusetts-Amherst, Amherst, MA. December, 2006. [PDF]  [Slides]
  • J. Sorber, A. Kostadinov, M. Brennan, M. D. Corner, E.D. Berger. eFlux: Simple Automatic Adaptation for Environmentally Powered Devices (Poster/Demo). In 7th IEEE Workshop on Mobile Computing Systems and Applications (HotMobile/WMCSA), Semiahmoo Resort, Washington, April 2006.

• Hierarchical Power Management

  • N. Banerjee, J. Sorber, M. D. Corner, S. Rollins, and D. Ganesan. Triage: Balancing Energy Consumption and Quality of Service in Tiered Microservers, Proceedings of the 5th International Conference on Mobile Systems, Applications, and Services (MobiSys 2007), Puerto Rico, June 2007.[PDF]
  • J. Sorber, N. Banerjee, M. D. Corner, and S. Rollins. Turducken: Hierarchical Power Management for Mobile Devices. Proceedings of The Third International Conference on Mobile Systems, Applications, and Services (MobiSys '05), Seattle, WA, June 2005. Previously as Technical Report 05-01. University of Massachusetts-Amherst, Amherst, MA. January, 2005. [PDF]  [Slides]

• Parallel Model Checking (at BYU)

  • M. D. Jones, J. Sorber, Parallel search for LTL violations, International Journal on Software Tools for Technology Transfer (STTT), Volume 7, Issue 1, Feb 2005, Pages 31 - 42. [PDF]
  • M. D. Jones, J. Sorber, Parallel Random Walk Search for LTL Violations, Workshop on Parallel and Distributed Model Checking(PDMC), Brno, Czeck Republic, August 2002
  • M. Jones, J. Sorber, Using Idle Workstations to find LTL property violations, Laboratory for Applied Logic Technical Report [FV-001], Brigham Young University, June 2002.

Awards

Best Poster, Ph.D. Forum, MobiSys 2008, Breckenridge, CO.

About Me

I am a doctoral student at the University of Massachusetts, in the Department of Computer Science, working in the PRISMS lab advised by Mark Corner.

Before moving to Massachusetts, I developed software for Mobile Productivity Inc (MPI) and before that at Wavetronix LLC. I also completed a BS in Computer Science at Brigham Young University and spent two great years in Cambodia on a volunteer mission for The Church of Jesus Christ of Latter-day Saints.

Family: My wife, Trisha, my three daughters Maren, Eliza, and Jane, and I have been in the Amherst area since Fall 2003 and we have had a great time.

Hobbies: I hike, cycle, run, swim, flyfish, and paddle when I get the chance. I also occasionally make cheese.