COCO: CONTINUOUS COMPILATION

Compilers, Programming Languages, and Architecture Group
Department of Computer Science, University of Pittsburgh

Overview People Projects Publications Meetings Conferences  

Our next series of group meetings will start in the Spring 2004 semester in January. During these meetings, we will read papers and discuss research ideas related to the continuous compilation project. All students from the department are welcome to attend and see what CoCo is about!

Tentative meeting time: Tuesday, 1:00-2:00 PM, Board Room, Sennott Square

If you'd like to receive future notices about the CoCo reading group, send Dr. Childers an e-mail to be added to the CoCo mailing list.

READING GROUP MEETINGS

Meeting Date Paper Title Leader
January 6 A comparison of empirical and model-driven optimization, Kamen Yotov, Xiaoming Li, Gang Ren et al., Programming Language Design and Implementation, 2003. Min
January 13 Cancelled (ISSTA deadline!)  
January 20 Efficient algorithms for bidirectional debugging, Bob Boothe, Programming Language Design and Implementation, 2000. Naveen
January 27 A region-based compilation technique for a Java Just-in-Time compiler, Toshio Suganuma, Toshiaki Yasue and Toshio Nakatani, Programming Language Design and Implementation, 2003. Shukang
February 3 Recompilation for debugging support in a JIT compiler, M. Tikir, J. K. Hollingsworth, and G-Y Lueh, PASTE'02 Jon
February 10 DATE Practice Talks Shukang,
Dr. Childers
February 17 Cancelled (DATE'04)  
February 24 The design and implementation of a certifying compiler, G. Necula and P. Lee, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1998. Yuqiang
March 2 Instruction-level reverse execution for debugging, Tankut Akgul and Vincent Mooney, PASTE 2003. Naveen
March 9 Cancelled (Spring Break!)  
March 16 Cancelled (ASPLOS deadline looms!)  
March 23 Adaptive optimizing compilers for the 21st century, K. Cooper, D. Subramanian, and L. Torczon, Proc. of the 2001 LACSI Symposium, Santa Fe, NM, 2001. Min
March 30 TBD TBD
April 1 FULLDOC: A full reporting debugger for optimized code, C. Jaramillo, R. Gupta, and M. L. Soffa, Int'l. Static Analysis Symposium, 2000 Jon
April 8 Coupling on-line and off-line profile information to improve program performance, C. Krintz, Int'l. Symp. on Code Generation and Optimization, 2003. Shukang
April 15 Automatically proving the correctness of compiler optimizations, S. Lerner, T. Millstein, and C. Chambers, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2003. Yuqiang
April 22 TBD TBD