James Ezick's Homepage!

A Great Place To Be

Not an actual likeness.  Want to see a real picture of me?

Contact Information: James Ezick Department of Computer Science Cornell University (Interested in my resume?) Office Address: 4139 Upson Hall Ithaca, New York 14853 Email: ezick@cs.cornell.edu Phone: (607) 255-4934 Home Address: 802 N. Cayuga St., Apt. 1 Ithaca, New York 14850-3673 Phone: (607) 272-7791 "Just four short blocks north of Uranus on the Sagan Planet Walk!"

Research Interests:

I am a doctoral student in Computer Science at Cornell University.  My advisor is  Keshav Pingali and I am a member of the Intelligent Software Systems Group.  My current research work is in software model checking with specific interests that include:

• Context-sensitive algorithms for validating modal logic formulas over unrestricted hierarchical state machines.
• Resolving queries over pre-existing context-sensitive analyses.
• Generation of space efficient models for specified program properties.
• Practical source level counter-example generation.
• Techniques for specifying high-level design and usage constraints in formal language.
• Making existing code instantly accessible to newly hired experienced programmers.

I am the architect of the Carnauba model checking system, an end-to-end system for model checking over context-sensitive analyses.

As part of my work I am also engaged in an ongoing collaboration with GrammaTech, Inc.  I have implemented a number of my ideas, including Carnauba, as plug-ins to CodeSurfer^®, their proprietary software analysis tool.

Prior to joining the ISS group I spent a year working with Dexter Kozen on Efficient Code Certification (ECC).

Publications:

Application-Level Checkpointing (Cornell Checkpointing Compiler)

• Man vs. Machine: Comparing Handwritten and Compiler-generated Application-Level Checkpointing
  James Ezick, Daniel Marques, Keshav Pingali and Paul Stodghill
  UNPUBLISHED DRAFT
  [abstract, ps, pdf]

Model Checking over Context-Sensitive Analyses (Carnauba)

• Resolving and Applying Constraint Queries over Context-Sensitive Analyses
  James Ezick
  Workshop on Program Analysis for Software Tools and Engineering (PASTE), June 2004
  [abstract, ps, pdf, bibtex]
• An Optimizing Compiler for Batches of Temporal Logic Formulas
  James Ezick
  International Symposium on Software Testing and Analysis (ISSTA), July 2004
  [abstract, ps, pdf, bibtex]
• Resolving Constrained Existential Queries over Context-Sensitive Analyses
  James Ezick
  Cornell University Computing and Information Science Technical Report TR2003-1913, June 2003
  [abstract, ps, pdf, bibtex]

Interprocedural Program Analysis

• Efficient Computation of Interprocedural Control Dependence
  James Ezick, Gianfranco Bilardi, and Keshav Pingali
  Cornell University Technical Report TR2001-1850, September 2001
  [abstract, ps, pdf, bibtex]

Teaching:

I have taught courses for the Cornell University Department of Computer Science.

• CS 202: Transition to Java (Spring 2002)

• CS 202: Transition to Java (Fall 2001)

• CS 202: Transition to Java (Fall 2000)

• CS 202: Transition to Java (Spring 2000)

• CS 213: Introduction to C++ (Spring 1999)

• CS 415: Practicum in Operating Systems (Fall 1997)

Other (Mostly) Professional Activities:

• I am a regular participant in our department's weekly Languages and Compilers Seminar as well as our less formal Programming Languages Discussion Group.
• I am a proud and active member of the Engineering Graduate Student Association.
• For the 2002-2003 academic year I served as a member of the Student Assembly committee on Information and Technologies.
• For the 1999-2000 academic year I represented the CS department on the Graduate and Professional Student Association Council of Representatives (GPSA COR)
• I am a member of the ACM (as well as SIGPLAN, SIGSOFT, and SIGACT) and the IEEE Computer Society.
• I am a goalie and czar emeritus for the CS Department Hockey Team, the MegaHurtz.  I currently play in the Ithaca Adult Hockey League.  Check out my Goaltending Page.
• I am a member and infrequent contributor to Bibliafiles, an online book discussion mailing list.

Personal and Fun:

• Education
• Employment  (Interested in my resume?)
• Cartoons
• Goaltending
• I used to contribute infrequently to Dr. Math, a Q&A service for math students and teachers.  Recently one of my contributions was published in their new book: Dr. Math Gets You Ready for Algebra.
• In the Fall of 2001 I attended a lecture given by filmmaker Kevin Smith at Cornell.  His lecture series was later released as a DVD.  I am told that I am visible in a few frames.
• I am a lifelong fan of the Oakland Raiders.  After they lost Super Bowl XXXVII, I sent a question about their coaching to Sports Illustrated.  Dr. Z. answered my question in his weekly column.
• I have completed over 7500 units for SETI@home.  My contribution ranks among the top 1% of all participants.
• I've been programming since I was 9 years old.  I started by entering listings out of Run Magazine for the best engineered computer ever sold - the Commodore 64!
• I don't play arcade games very often anymore but on Saturday, June 1, 2002 I put up a monster Galaga score.  My final score was 1,729,110 (only 6 digits are provided to display the score).  I played for nearly two hours on a single quarter.
• These days if I play anything it's mostly Madden 2004 for the PS2.  Check out my stats.
• I used to be really heavy.  Now I'm not.  I owe it all to The Hacker's Diet.

Came the sixth, and here it was, that one special moment that you always
look for when Joe Frazier is in a fight. Most of his fights have shown
this: You can go so far into that desolate and dark place where the heart
of Frazier pounds, you can waste his perimeters, you can see his head
hanging in the public square, may even believe that you have him, but then
suddenly you learn that you have not. Once more the pattern emerged ...

--Mark Kram on Joe Frazier,
1 October 1975

Last Updated: Thursday, July 15, 2004 11:21:42 PM