CMPUT 605 COMPUTER ORGANIZATION AND ARCHITECTURE II Department of Computing Science University of Alberta

Fall 2003/Winter 2004

LATEST ANNOUNCEMENT:

TIME: W 300-430
PLACE: CSC 249

INSTRUCTORS:

• Paul Lu
• Duane Szafron
• José Nelson Amaral

Papers For Discussion in (2003/2004)

Date	Paper	Download
March 16 3:00 PM	Peng Zhao, Shimin Cui, Yaoqing Gao, Raul Silvera, Jose Nelson Amaral, "Forma: A Framework for Safe Automatic Array Reshaping." (under review).	.pdf, .ps
March 22 3:00 PM CSC 349	Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhotak, Ondrej Lhotak, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble, "abc: An extensible AspectJ compiler," International Conference on Aspect-Oriented Software Development (AOSD), March, 2005, Chicago, USA.	.pdf, .ps
July 14 3:00 PM	Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding, "Array regrouping and structure splitting using whole-program reference affinity." Programming language design and implementation (PLDI) 2004, pp. 255 - 266.	.pdf
July 28 3:00 PM	Manish Vachharajani, Neil Vachharajani, David I. August, "The liberty structural specification language: a high-level modeling language for component reuse", Programming language design and implementation (PLDI) 2004, pp. 195-206.	.pdf
August 11 3:00 PM	Prasad Kulkarni, Stephen Hines, Jason Hiser, David Whalley, Jack Davidson, Douglas Jones,"Fast searches for effective optimization phase sequences", Programming language design and implementation (PLDI) 2004, pp. 171 - 182.	.pdf
March 31 3:00 PM	C. Amza, A. Cox, and W. Zwaenepoel, "Distributed Versioning: Consistent Replication for Scaling Back-end Databases of Dynamic Content Web Sites," Proceedings of the ACM/IFIP/Usenix Middleware Conference, June 2003.	.ps
March 24 3:00 PM	Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, "Xen and the Art of Virtualization", SOSP, 2003	.pdf
March 17 3:00 PM	DeQing Chen, Chunqiang Tang, Brandon Sanders, Sandhya Dwarkadas, Michael Scott, "Exploiting High-level Coherence Information to Optimize Distributed Shared State," ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, June, 2003.	.pdf
March 10 3:00 PM	Katherine Yelick, Dan Bonachea, Charles Wallace, "A Proposal for a UPC Memory Consistency Model," UPC Community Forum, 2003.	.pdf
March 10 3:00 PM	W. Kuchera, C. Wallace, "The UPC Memory Model: Problems and Prospects," International Symposium on Parallel and Distributed Systems, Santa Fe, NM, April, 2004.	.ps
February 25 3:00 PM	Dawson Engler, Ken Ashcraft, "RacerX: Effective, Static Detection of Race Conditions and Deadlocks," 19th ACM Symposium on Operating Systems Principles , Bolton Landing, NY, October, 2003.	.pdf
February 11 3:00 PM	Tarek El-Ghazawi, Francois Cantonnet, "UPC Performance and Potential: A NPB Experimental Study," SuperComputing 2002 , Baltimore, MD, November, 2002.	.pdf
February 04 3:00 PM	Maria Cutumisu, Calvin Chan, Paul Lu, Duane Szafron, "MCI-Java: A Modified Java Virtual Machine Approach to Multiple Inheritance," 3rd Virtual Machine Research and Technology Symposium (USENIX-VM), San Jose, CA, May, 2004.	.pdf
January 21 3:00 PM	Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew P. Black, Traits: Composable Units of Behavior," Proceedings of ECOOP , May 2003.	.pdf
November 27 3:30 PM	Youngsoo Choi, Allan Knies, Luke Gerke, Tin-Fook Ngai, "The impact of if-conversion and branch prediction on program execution on the Intel Itanium processor," International Symposium on Microarchitecture , Austin, Texas December, 2001, pp. 182-191.	.pdf
January 07, 3:00 PM	Michael Kaminsky, George Savvides, David Mazieres, M. Frans Kaashoek, "Decentralized User Authentication in a Global File System," 19th ACM Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY, October, 2003.	.pdf
November 20	Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer, "Capriccio: Scalable Threads for Internet Services," 19th ACM Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY, October, 2003.	.pdf
November 13	T. Sherwood and S. Sair and B. Calder, "Phase tracking and prediction," 30th International Conference on Computer Architecture (ISCA) , San Diego, CA, June, 2003, pp. 336-349.	.pdf
November 06	Duesterwald, E., Cascaval, C., Dwarkadas, S., "Characterizing and Predicting Program Behavior and its Variability", Parallel Architectures and Compilation Techniques (PACT) 2003, New Orleans, LO, September, 2003, pp. 220-231.	.pdf .ps
October 30	Niewiadomski, R., Amaral, J. N., Holte, R. C., "Crafting Data Structures: A Study of Reference Locality in Refinement-Based Pathfinding", manuscript to be submitted to the ACM Journal of Experimental Algorithmics, October, 2003.	.pdf
October 23	Ghemawat, S., Gobioff, H., Leung, S-T., The Google File System, SOSP'03, October, 2003.	.pdf
October 16	Dulong, C., Krishnaiyer, R., Kulkarni, D., Lavery, D., Li, W., Ng, J., Sehr, D., "An Overview of the Intel IA-64 Compiler", Intel Technology Journal, 4th quarter 1999.	.pdf
October 09	Golm, M., Felser, M., Wawersich, C. and Kleinoder, J., "The JX Operating System", 2002 USENIX Annual Technical Conference, June, 2002.	.pdf
September 26	Skadron, K., Martonosi, M., August, D. I., Hill, M. D., Lilja, D. J., Pai, V. S., "Challenges in Computer Architecture Evaluation," IEEE Computer, August, 2003, Vol. 36, N. 8, pp. 30-35.	.pdf
None	Smith, Alan Jay, "The Task of the Referee", IEEE Computer, April, 1990, pp. 65-71.	.pdf
September 26	Skadron, K., Martonosi, M., August, D. I., Hill, M. D., Lilja, D. J., Pai, V. S., "Challenges in Computer Architecture Evaluation," IEEE Computer, August, 2003, Vol. 36, N. 8, pp. 30-35.	.pdf
September 18	Rob Holte, Rob Schapirei, and Marie desJardins, "The Three R's of Publishing Machine Learning Papers: Research, 'Riting, and Reviews", Mini-Tutorial at ICML03.	slides
September 12	Wolf, Wayne, "A Decade of Hardware/Software Codesign," IEEE Computer, April, 2003, Vol. 36, N. 4, pp. 38-43.	.pdf

Description

• Reading research papers and discussing them during class time.
• Research talks given by faculty members in the Software Systems Research group, other researchers who are visiting the group and senior graduate students not enrolled in the course.
• Research survey talks given by students who are enrolled in the course.

Prerequisites

Objectives

After completing the course, students should be familiar with many current research problems in each of the four Software Systems areas that are covered in this course. Students should also be capable of beginning thesis research to solve one or more of the problems discussed. In fact, this course is essential to any student who plans to do thesis research in Software Systems. However, students who elect to do thesis research in other sub-disciplines of Computing Science should gain valuable insight into how software system issues can affect their research problems and solutions.

Course Structure

• First Term - Meet for 50 minutes once per week and do one of the following:
• Participate in the discussion about a research paper that was assigned the previous week, or
• Lead the discussion about a research paper that was assigned the previous week or
• Listen to a research or survey talk given by a faculty member, visitor or senior graduate student who is not enrolled in the course.
• Second Term - Meet for 110 minutes once per week and do one of the following:
• Participate in the discussion about a research paper that was assigned the previous week, or
• Lead the discussion about a research paper that was assigned the previous week, or
• Listen to a research or survey talk given by a faculty member, visitor, senior graduate student not enrolled in the course or student enrolled in the course, or
• Prepare an essay about one of the topics covered in the course.
• Present a research or survey talk

Essay

Write a 5 page research proposal (12 point times font with 1 inch margins) that is based on the information in one of the papers we read this year in the seminar (either semester). The research proposal should not be about doing the research that has already been done and is described in the paper. Instead, the proposal should be about research that could be done as a result of the research described in the paper. For example, you can start with the "future work" section of the paper. However, you can also include research that you think can be undertaken as a result of what is in the paper. Although you can use ideas from the "future work" secton of the paper, do not simply copy sections from it. The proposal must be in your own words.

The research proposal should include: goals, a plan of how to conduct the research and evaluation criteria that can be used to evaluate the research. It should also includes a discussion of the "State of the Art" in the field where the future research is situated. This discussion of the state of the art gives you an opportunity to review important and relevant past work that is related to or will have an influence in the future research. The paper you are using is the primary source for this information, but you can use other sources as well.

Grades

Your final grade will depend on the entire profile of the grades in the seminar and a particular composite score does not guarantee a particular final grade. However, your composite score will be computed using the following weights:

Participation in Discussion	40%
Presentation	30%
Essay	30%

Some Papers Discussed in (2002/2003)

• Evaluating Servers with Commercial Workloads Kimberly Keeton, Russel Clapp, and Ashwini Nanda IEEE Computer, February 2003, pp. 29-32.
• Benchmarking Internet Servers on Superscalar Machines Yue Luo, Juan Rubio, Lizy Kurian John, Pattabi Seshadri, and Alex Mericas, IEEE Computer, February 2003, pp. 34-40.
• Executing a Program on the MIT Tagged-Token Dataflow Architecture Arvind and R. S. Nikhil IEEE Transactions on Computers.
• Software-Controlled Multithreading Using Informing Memory Operations Todd C. Mowry and Sherwyn R. Ramkissoon High-Performance Computer Architecture (HPCA) 2000.
• Adaptive Optimization in the Jalapeno JVM M. Arnold et al. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Minneapolis, Minnesota, October, 2000
• The Jalapeno Virtual Machine B. Alpern et al. IBM Systems Journal, Vol. 39, No. 1, 2000, pp. 211-238
• Global Instruction Scheduling for Superscalar Machines David Bernstein and Michael Rodeh Conference on Programming Language Design and Implementation, Toronto, Ontario, Canada, June, 1991, 241-255.

Some Papers Discussed in (2001/2002)

• "Making pointer-based data structures cache conscious" Chilimbi, T.M.; Hill, M.D.; Larus, J.R IEEE Computer, Dec. 2000, Page(s): 67 -74
• Composing High-Performance Memory Allocators Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley PLDI 2001, Snowbird, Utah, June 2001.
• Simultaneous Multithreading: A Platform for Next-Generation Processors Eggers, S. J., Emer, J. S., Levy, H. M., Lo, J. L., Stamm, R. L., Tullsen, D. M. IEEE Micro, 1997.
• A Framework for Reducing the Cost of Instrumented Code Matthew Arnold and Barbara G. Ryder, PLDI 2001, Snowbird, Utah, June 2001, pp. 168-179.
• Semantics of Multithreaded Java Jeremy Manson and William Pugh, Tech. Rep., Comp. Science, University of Maryland, College Park, MD.

University of Alberta

Computing Science