Amir Kamil
Graduate Student
517 Soda Hall

Teaching:

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

Research:

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

Titanium:

Code:

• Parallel sort implementation in Titanium. (documentation)

Papers:

• Concurrency Analysis for Parallel Programs with Textually Aligned Barriers (slides)
  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)
  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)
  Amir Kamil and Katherine Yelick. The 14th International Static Analysis Symposium (SAS 2007), Kongens Lyngby, Denmark, August 2007.
• Enforcing Textual Alignment of Collectives Using Dynamic Checks (slides)
  Amir Kamil and Katherine Yelick. 22nd International Workshop on Languages and Compilers for Parallel Computing, Newark, Delaware, October 2009.

• 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.
• The Hierarchical SPMD Programming Model
  Amir Kamil. Technical Report No. EECS-2011-28, EECS Department, University of California, Berkeley, April 2011.
• Hierarchical Additions to the SPMD Programming Model
  Amir Kamil and Katherine Yelick. Technical Report No. EECS-2012-20, EECS Department, University of California, Berkeley, February 2012.
• Single Program, Multiple Data Programming for Hierarchical Computations (slides)
  Amir Kamil. Dissertation Talk, EECS Department, University of California, Berkeley, May 2012.

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.
• Problems with Concurrent Dock Use in Admiral, December 2007.
• The Admiral Language Proposal, June 2008.
• StreamIt on Fleet, July 2008.
• Fleet Programming Paradigms, October 2008.
• Relocatable Fleet Code, October 2008.

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