Amir Kamil
Graduate Student
575 Soda Hall
(510) 642-9583

Teaching:

• CS61B: Data Structures (Summer 2002, Fall 2002, Spring 2003)
• CS70: Discrete Mathematics (Fall 2003)
• CS162: Operating Systems (Spring 2004)

Research:

I am currently doing research with the Titanium and Fleet groups. My current work involves program analysis, languages, and compilers for parallel computing. My advisor is Kathy Yelick, and I also work with Ivan Sutherland.

Titanium:

Code:

• Parallel sort implementation in Titanium. (documentation)

Papers:

• Concurrency Analysis for Parallel Programs with Textually Aligned Barriers (slides [ppt])
  Amir Kamil and Katherine Yelick. 18th International Workshop on Languages and Compilers for Parallel Computing, Hawthorne, New York, October 2005.
• Making Sequential Consistency Practical in Titanium (slides [ppt])
  Amir Kamil, Jimmy Su, and Katherine Yelick. Supercomputing 2005 (SC|05), Seattle, Washington, November 2005.
• Towards a Sequentially Consistent Memory Model for PGAS Languages
  Amir Kamil, Jimmy Su, and Katherine Yelick. The Second Conference on Partitioned Global Address Space Programming Models (PGAS 2006), Washington, D.C., October 2006.
• Parallel Languages and Compilers: Perspective from the Titanium Experience
  Katherine Yelick, Paul Hilfinger, Susan Graham, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, and Tong Wen. The International Journal of High Performance Computing Applications, Volume 21, No. 2, Summer 2007.
• Productivity and Performance Using Partitioned Global Address Space Languages
  Katherine Yelick, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta, Jason Duell, Susan L. Graham, Paul Hargrove, Paul Hilfinger, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael Welcome, and Tong Wen. Parallel Symbolic Computation 2007, London, Ontario, July 2007.
• Hierarchical Pointer Analysis for Distributed Programs (slides [ppt])
  Amir Kamil and Katherine Yelick. The 14th International Static Analysis Symposium (SAS 2007), Kongens Lyngby, Denmark, August 2007.

Technical Reports:

• Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
  Amir Kamil and Katherine Yelick. Technical Report No. EECS-2006-41, EECS Department, University of California, Berkeley, April 2006.

• Analysis of Partitioned Global Address Space Programs
  Amir Kamil. Master's Report, Computer Science Division, University of California, Berkeley, December 2006.

Miscellaneous:

• Modifications to Java Since 1.0, Proposed Modifications to Java, and Titanium Compatibility With Java, 2003. (errata)
• Problems with the Titanium Type System for Alignment of Collectives, 2006.

Fleet:

Memos:

• Unified Copies, October 2006.
• Goals for the Admiral Language, July 2007.

Classes:

CS191 (Quantum Information Science and Technology):

• Quantum Computability and Complexity and the Limits of Quantum Computation, December 2003.

CS267 (Applications of Parallel Computers):

• Optimization and Evaluation of a Titanium Adaptive Mesh Refinement Code, May 2004. (poster [ppt])

CS261 (Security in Computer Systems):

• Pretty Good Voting, December 2004. (poster [ppt])

CS262A (Advanced Topics in Computer Systems):

• pobj: A Lightweight Persistent Objects Library and Its Application to Persistency in Titanium/Java, December 2004. (poster [ppt])

CS264 (Program Analysis):

• Making Sequential Consistency Practical in Titanium, May 2005. (slides [ppt])

CS270 (Combinatorial Algorithms and Data Structures):

• Concurrency Analysis for Sequential Consistency in Titanium, May 2005.

CS263 (Design and Analysis of Programming Languages):

• Hierarchical Pointer Analysis for Distributed Programs, December 2005. (slides [ppt])

CS294-2 (Software Synthesis):

• Synthesis of Distributed Arrays in Titanium, May 2006. (slides [ppt])

CS294-11 (Research in Architecture):

• MIPS on FLEET, December 2006. (slides [ppt])
• MIPS on FLEET Update, May 2007.

CS294-2 (Quantum Computation):

• Adiabatic Quantum Computation on a 2D Grid, May 2007.

Organizations:

• Muslim Students Association
• Eta Kappa Nu
• Epsilon Pi
• Society for Industrial and Applied Mathematics
• Association for Computing Machinery