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
semester on Friday, January 7. During these meetings,
we will read papers and discuss research ideas related to
the continuous compilation project.
In the first half of the meeting (3:30-4:30 PM), we
discuss a paper. In the second half of the meeting
(4:30-5:40 PM), we will talk about our current research
progress, results and any problems. All students are welcome
to attend any part of the meeting and see what CoCo is
all about!
Here
is the list of papers we discussed Spring, 2004.
Here
is the list of papers we discussed Fall, 2004.
Meeting time: Friday, 3:30-5:30 PM, Eli Lilly Conference Room, Sennott Square.
If you'd like to receive future notices about the CoCo reading group,
send
Bruce Childers
an e-mail to
be added to the CoCo mailing list.
READING GROUP MEETINGS
|
Meeting
Date |
Paper Title |
Leader
|
January 7
|
An
overview of virtual machine architectures, Jim Smith and Ravi
Nair (book excerpt)
|
Naveen
|
January 13 (Thu)
|
Computer simulation: The SimOS approach, Mendel Rosenblum, Stephen A. Herrod, Emmett Witchel, and Anoop Gupta, IEEE Parallel and Distributed Technology, 1995.
|
Min
|
January 21
|
No meeting - out of town.
|
|
January 28
|
Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor, J. Sugerman, G. Venkitachalam and B-H Lim, 2001 USENIX Conference
|
Yuqiang
|
February 4
|
IA-32 execution layer: A two-phase dynamic translator designed
to support IA-32 applications on Itanium-based systems, L. Baraz
et al., Int'l. Symposium on Microarchitecture (MICRO-36), 2003
|
Jon
|
February 11
|
Maintaining Consistency and Bounding Capacity of Software Code Caches, Derek Bruening and Saman Amarasinghe, Int'l. Symp. on Code Generation and Optimization, 2005
|
Jim
|
February 18
|
No meeting - out of town.
|
|
February 25
|
Secure Execution Via Program Shepherding, Vladimir Kiriansky, Derek Bruening, and Saman Amarasinghe
|
Jon
|
March 4
|
Mate: A Tiny Virtual Machine for Sensor Networks, P. Levis and D. Culler, Int'l. Conf.
on Architectural Support for Programming Languages and Operating Systems (ASPOLS X), 2002
|
Jim
|
March 11
|
Spring Break!
|
|
March 18
|
Practice talk on Profit-Driven Optimization
|
|
March 25
|
No meeting - out of town.
|
|
April 1
|
Practice talk on Jazz
|
|
April 8
|
No meeting - out of town.
|
|
April 15
|
Building a Better Backtrace: Techniques for Postmortem Program Analysis, Ben Liblit and Alex Aiken, UC Berkeley Technical Report
|
Naveen
|
April 21 (Thu)
|
Bug Isolation via Remote Program Sampling, Ben Liblit, Alex Aiken, Alice X. Zheng,
and Michael I. Jordan, PLDI 2003.
|
Yuqiang
|
April 29
|
Locating
Causes of Program Failures, H. Cleve and A. Zeller, ICSE 2005
|
Min
|
|
Last modified: January 4, 2005.
This page is maintained by Bruce Childers
|