Work at UC Berkeley

Here is a collection of work I did at UC Berkeley.

Teaching

• CS61A: Structure and Interpretation of Computer Programs (Spring 2013)
• 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

At Berkeley, I worked with Kathy Yelick in the Titanium group and Ivan Sutherland in the Fleet group.

Titanium

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.
• Hierarchical Computation in the SPMD Programming Model (slides)
  Amir Kamil and Katherine Yelick. 26th International Workshop on Languages and Compilers for Parallel Computing, San Jose, California, September 2013.

Talks

• Single Program, Multiple Data Programming for Hierarchical Computations
  Amir Kamil. Dissertation Talk, EECS Department, University of California, Berkeley, May 2012.
• Three Challenges and Three Solutions for Exascale Computing
  Amir Kamil and Katherine Yelick. NSF Workshop on Research Directions in the Principles of Parallel Computing, Pittsburgh, Pennsylvania, June 2012.

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, EECS Department, 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.
• A Team Analysis Proposal for Recursive Single Program, Multiple Data Programs
  Amir Kamil. Technical Report No. EECS-2012-183, EECS Department, University of California, Berkeley, August 2012.
• Single Program, Multiple Data Programming for Hierarchical Computations
  Amir Kamil. PhD Thesis, EECS Department, University of California, Berkeley, August 2012.

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. (slides)

CS261 (Security in Computer Systems)

• Pretty Good Voting, December 2004. (slides)

CS262A (Advanced Topics in Computer Systems)

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

CS264 (Program Analysis)

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

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)

CS294-2 (Software Synthesis)

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

CS294-11 (Research in Architecture)

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

CS294-2 (Quantum Computation)

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