Case Studies

The following table provides links to the output of Chord on 12 Java programs, along with our analysis of the output, developers' responses, and the resolution of bugs we reported.

The number of bugs in column 4 denotes the number of distinct fixes to the source code.

The discussions in column 5 are the most accurate description of the bugs. (Bug reports in column 6 were filed for some projects but not for others because developers of some projects chose to fix the bugs discussed in column 5 without filing bug reports.)

Programs with "N.A." in columns 5 and 6 have been analyzed in previous work on race detection.

More details may be found in a technical paper.

Chord output	Program description	LOC	# Bugs	Discussions with developers	Bugs filed
vect 1.1	JDK 1.1 java.util.Vector	2632	1	N.A.	N.A.
htbl 1.1	JDK 1.1 java.util.Hashtable	2688	0	N.A.	N.A.
htbl 1.4	JDK 1.4 java.util.Hashtable	75342	0	N.A.	N.A.
vect 1.4	JDK 1.4 java.util.Vector	75675	0	N.A.	N.A.
tsp	Traveling Salesman Problem implementation from ETH	76026	1	N.A.	N.A.
hedc	web crawler from ETH	82992	1	N.A.	N.A.
ftp	Apache FTP Server, an FTP server	103183	12	1, 2, 3	1
jdbm	JDBM, a lightweight transactional persistence engine	115364	2	1	none
jdbf	JdbF, an object-relational mapping system	121569	18	1, 2	1, 2, 3, 4, 5
pool	Apache Commons Pool, a generic object-pooling library	123878	17	1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19	1, 2, 3, 4, 5
jtds	jTDS, a JDBC driver	164820	16	1	none
derby	Apache Derby, an RDBMS	646447	319	1, 2, 3, 4	1

Papers

• Mayur Naik and Alex Aiken. Conditional Must Not Aliasing for Static Race Detection. In Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07), Nice, France, January 2007.
• Mayur Naik, Alex Aiken, and John Whaley. Effective Static Race Detection for Java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06), Ottawa, Canada, June 2006.

Talks

• Effective Static Race Detection for Java

  A comprehensive technical presentation of the Chord project.

  • Alex Aiken, Google Inc., Mountain View, CA, June 4, 2007.
    • [video]
  • Mayur Naik, UCSB, Santa Barbara, CA, May 9, 2007.
  • Mayur Naik, Intel Research, Berkeley, CA, May 1, 2007.
  • Mayur Naik, Georgia Tech, Atlanta, GA, April 19, 2007.
  • Mayur Naik, IBM Research, Hawthorne, NY, April 16, 2007.
  • Mayur Naik, Microsoft Research, Redmond, WA, April 5, 2007.
    • [video]
  • Mayur Naik, Cornell University, Ithaca, NY, March 15, 2007.
  • Mayur Naik, UIUC, Urbana-Champaign, IL, March 6, 2007.

• Conditional Must Not Aliasing for Static Race Detection

  • Mayur Naik, POPL'07, Nice, France, January 19, 2007.

• Effective Static Race Detection for Java

  • Mayur Naik, IBM Research, Hawthorne, NY, September 7, 2006.
  • Mayur Naik, PLDI'06, Ottawa, Canada, June 13, 2006.
  • Mayur Naik, Coverity Inc., San Francisco, CA, March 1, 2006.
  • Alex Aiken, Microsoft Research, Redmond, WA, January 17, 2006.
    • [video]

People

• Mayur Naik (graduate student and lead developer)
• Alex Aiken (faculty advisor)

Acknowledgments

The Chord project is supported by grants from the National Science Foundation, an equipment grant from Intel, and a Microsoft graduate student fellowship.

Contact

Please send questions and comments about the Chord project to <chord@cs.stanford.edu>.