Jerome White - Caltech Computer Science

The Bellagio ⋅ Las Vegas, NV ⋅ Dec 2003

Jerome White
jerome at cs.caltech.edu

IBM India Research Lab »
D4 Block, 2nd Floor
Manyata Embassy Business Park
Outer Ring Road, Nagawara
Bangalore 560 045, India

ph: +91-80-4303-6943
fx: +91-80-2805-7444

Welcome Back Veterans

I am currently a member of IBM's India Research Lab (IRL). Prior to joining IRL, I was a graduate student (here) at Caltech and was an undergrad at RPI. As a graduate student, my research dealt with formal methods and distributed algorithms. Today my focus is on building technology to encourage human development.

When I'm not working, I enjoy spending time with my sisters, playing sports, and taking pictures.

Current Research

"Designing a Voice-Based Employment Exchange for Rural India," with Mayuri Duggirala, Krishna Kummamuru, and Saurabh Srivastava. To appear: International Conference on Information and Communication Technologies and Development, March 2012.

Other Work

"Applying Formal Methods to Distributed Algorithms Using Local-Global Relations," Dissertation (Ph.D.), California Institute of Technology, June 2011 (etd).

"Consensus on Asynchronous Communication Networks in Presence of External Input," with K. Mani Chandy, and Concetta Pilotto. IEEE Conference on Decision and Control, December 2010 (doi).
"Verification of Distributed Systems with Local-Global Predicates," with K. Mani Chandy, Brian Go, Sayan Mitra, and Concetta Pilotto. Formal Aspects of Computing, Volume 23, Issue 5, pp. 649--679, September 2011 (online April 2010) (doi).

"Towards Verified Distributed Software Through Refinement of Formal Archetypes," with K. Mani Chandy, Brian Go, and Sayan Mitra. IFIP Working Conference on Verified Software: Workshop on Experiments, October 2008.

"Towards a Verification Framework for Faulty Message Passing Systems in PVS," with Concetta Pilotto. Innovations in Systems and Software Engineering, Volume 7, Issue 2, pp. 109--118, June 2011 (doi).

"Verification of Faulty Message Passing Systems with Continuous State Space in PVS," with Concetta Pilotto. NASA Formal Methods Symposium, April 2010.

"Receive buffer dynamics and OS scheduling," Master's thesis, California Institute of Technology, February 2008 (etd).

"Effect of Receive Buffer Size: An OS-based Perspective," with Xiaoliang (David) Wei. International Workshop on Protocols for FAST Long-Distance Networks, February 2007.

"Before-Commit Client State Management Services for AJAX Applications," with Paul Castro, Frederique Giraud, Ravi Konuru, and John Ponzo. IEEE Workshop on Hot Topics in Web Systems and Technologies, November 2006 (doi).
"Live Data Views: Programming Pervasive Applications That Use "Timely" and "Dynamic" Data," with Jay Black, Paul Castro, and Archan Misra. International Conference on Mobile Data Management, May 2005 (doi).
"A Mechanism for Sequential Consistency in a Distributed Objects System," with Cristian Ţãpuş, Aleksey Nogin, and Jason Hickey. ISCA International Conference on Parallel and Distributed Computing Systems, September 2004.
"Scalability and performance of an agent-based network management middleware," with Alan Bivens, Rashim Gupta, Ingo McLean, and Boleslaw Szymanski. International Journal of Network Management, Volume 14, Issue 2, pp. 131--146, March/April 2004 (doi).

RPI → Caltech → IBM