Jerry James

Curriculum Vitae

Interests

Concurrent systems, data consistency, reproducible concurrency, formal methods.

Education

Ph.D. Computer Science, University of California at Santa Barbara
1993–2000, 3.89 GPA, Advisor: Ambuj K. Singh
Dissertation title: Reliable Distributed Objects—Reasoning, Analysis, and Implementation

M.S. Computer Science, Brigham Young University
1992–1993, 3.90 GPA, Advisor: Douglas M. Campbell
Douglas M. Campbell
Thesis title: The Graph Coloring Problem

B.S. Computer Science (Mathematics minor), Brigham Young University
1985–1992, 3.89 GPA (Magna Cum Laude)

Publications

Jerry James. "Erratum to Lamport's `On Interprocess Communication — Part I: Basic Formalism'". Appears on Leslie Lamport's web page.

Douglas Niehaus, Jerry James, and Christopher Gill. "Closing the Programmer's Universe: A Pattern Language for Reproducibility in Concurrent Programming Environments". Proc. of PLoP '03, Allerton House, Illinois, 8-12 Sept. 2003.

Jerry James and Douglas Niehaus. "A Method for Providing Complete Access to the Concurrent Programming Model". Proc. of the RTAS 2003 Workshop on Model-Driven Embedded Systems, 27 May 2003, Washington, D.C.

Jerry James, Jed Miadowicz, Sivaprasath Murugeshan, and Mangal Singh. "Shifting Arguments Without Global Time". Proc. of the 16th International Symposium on Distributed Computing (DISC), 28-30 October 2002, Toulouse, France, Brief Announcements pp. 9-16.

Jerry James and Ambuj Singh. "Recovering Distributed Objects". Information Processing Letters, vol. 77 (nos. 2-4), pp. 143-50, Special Issue in Honor of Edsger W. Dijkstra, Feb. 2001.

Jerry James and Ambuj Singh. "Design of the Kan Distributed Object System". Concurrency: Practice & Experience, vol. 12 (no. 8), pp. 755-797, July 2000.

Jerry James and Ambuj Singh. "Brief Announcement: External Logging on a Logical Ring". Proc. of 18th Annual ACM Symp. on Principles of Distributed Computing (PODC), 4-6 May 1999, Atlanta, GA, p. 275.

Jerry James. "Review of Algorithms and Programming: Problems and Solutions by Alexander Shen". SIGACT News, vol. 29 (no. 3), pp. 48-52, 1998.

Jerry James and Ambuj Singh. "Fault Tolerance Bounds for Memory Consistency". 11th International Workshop on Distributed Algorithms (WDAG), 24-26 Sep. 1997, Saarbrücken, Germany, Lecture Notes in Computer Science, vol. 1320, pp. 200-14.

Jerry James and Ambuj Singh. "Compositional Proofs for Concurrent Objects". Proc. of COMPOS '97: Compositionality—The Significant Difference, 8-12 Sep. 1997, Bad Malente, Germany, Lecture Notes in Computer Science, vol. 1536, pp. 301-26.

Jerry James and Ambuj Singh. "Brief Announcement: Fault Tolerance Bounds for Memory Consistency". Proc. of 16th Annual ACM Symp. on Principles of Distributed Computing (PODC), 21-24 Aug. 1997, Santa Barbara, CA, p. 285.

Jerry James and Ambuj Singh. "The Impact of Hardware Models on Shared Memory Consistency Conditions". CONCUR '96: Concurrency Theory, 26-29 Aug. 1996, Pisa, Italy, Lecture Notes in Computer Science, vol. 1119, pp. 719-734.

Jerry James and Ambuj Singh. "Brief Announcement: Complete Implementations for Shared Memory Consistency Conditions". Proc. of 14th Annual ACM Symp. on Principles of Distributed Computing (PODC), 20-23 Aug. 1995, Ottawa, Ontario, Canada, p. 273.

Scholarly Works

JParse, a freely available Java parser.
Kan, a freely available distributed Java object system.
BThreads, a freely available user-level thread library.
Machine-checkable formalization of Leslie Lamport's axioms for interprocess communication.
Refactoring of the definition of function inverses in the PVS prelude.
Primary contributor to the orders and sets_aux theories available from NASA Langley.

Experience

Assistant Professor, Computer Science Department, Utah State University, 2005—present.
Assistant Professor, EECS Department, University of Kansas, 1999—2005.
Research Assistant, Distributed Systems Laboratory, UC Santa Barbara, 1994—1999.
Lead TA, UCSB Computer Science Dept., 1998—9 academic year.
Lecturer, UCSB Computer Science Dept., Winter 1999 quarter.
Lecturer, UCSB Computer Science Dept., Fall 1995 quarter.
Research Assistant, BYU Computer Science Dept., 1992—3.
Lisp Programmer, BYU Psychology Dept., 1991—2.

Funded Research

"ITR: Computation and Communication in Sensor Webs", PI, David Andrews Co-I. Sponsored by NSF from August 2003 to August 2006 for $210,000.
"Autonomous Negotiating Teams: CP task", PI. Sponsored by DARPA from December 2001 to December 2002 for $50,000.
"Evaluation of IP Control Plane for QoS Networks", V. Frost and D. Niehaus Co-PIs, J. Evans and J. James Co-Is. Sponsored by Sprint Corporation from June 2000 to June 2001 for $150,000.
"Architecture and Prototype of an Ambient Computational Environment", G. Minden and J. Evans Co-PIs, A. Agah, R. Jonkman, L. Searl and J. James Co-Is. Sponsored by DARPA from June 2000 to June 2003 for $1,321,205.
"Ambient Computational Environments", J. Evans and G. Minden Co-PIs, V. Frost, A. Agah, and J. James Co-Is. Sponsored by Sprint Corporation from May 2000 to May 2001 for $360,000.

Teaching (Utah State University)

CS 4700, Programming Languages (F2005)
CS 6890, Concurrent Software Systems (S2006)

Teaching (University of Kansas)

EECS 168, Programming I (F1999, S2000, S2003)
EECS 678, Introduction to Operating Systems (F2000, F2001, S2002, S2003, S2004, S2005)
EECS 690, Advanced Operating Systems (S2005)
EECS 750, Operating Systems (S2001, S2002)
EECS 752, Concurrent Systems (F2002, F2003, F2004)
EECS 800, Concurrent Systems (F2000)
Also directed readings, projects, and thesis hours in various semesters.

Teaching (University of California, Santa Barbara)

CS 5JA, Introduction to Programming with Java (W1999)
CS 6LI, Lisp Programming (F1995)

Honors

UCSB Computer Science Department Travel Scholarship, 1995, 1996, and 1998
UC Trustee's Fellowship (4-year), 1993
NSF Fellowship, Honorable Mention, 1993
Phi Kappa Phi National Honor Society, 1991
Golden Key National Honor Society, 1990
Phi Eta Sigma National Honor Society, 1986
BYU Trustees Scholarship (4-year), 1985
National Merit Scholarship (4-year), 1985

Professional Activities

Kansas NSF EPSCoR Summer Research Program mentor, 2004.
Coach of the KU team for the ACM Programming Contest, 2002–2004.
Member of the IEEE Computer Society, 1999–present.
Member of the Association for Computing Machinery (ACM), 1991–present.
Member of the American Society for Engineering Education (ASEE), 1999–present.
Local arrangements for PODC '97 (Principles of Distributed Computing).
Graduate student representative on faculty committees, 1995–1997.
Referee for 1 textbook and over 40 papers for the following journals:
   ACM Transactions on Database Systems (1995, 1996)
   Acta Informatica (1996, 1997)
   Concurrency: Practice & Experience (1999)
   Data & Knowledge Engineering (2001, 2002)
   Distributed Computing (1999, 2000)
   Information Processing Letters (1996)
   Journal of Parallel and Distributed Computing (2000, 2001, 2003, 2004)
   SIAM Journal on Computing (1995)
and for the following conferences:
   Asian Computing Science Conference (ASIAN)
   Formal Methods for Parallel Programming: Theory and Applications (FMPPTA)
   International Conference on Distributed Computing Systems (ICDCS)
   International Conference on Parallel Processing (ICPP)
   International Parallel Processing Symposium (IPPS)
   Principles of Distributed Computing (PODC)

Synergistic Activities

Official developer and Review Board member of the XEmacs project, a freely available editor
Contributor to Uno, a C program checker

Last modified: Tue Feb 7 14:57:34 MST 2006 by Jerry James