Recent Papers for Amer Diwan

Papers published by the Association for Computing Machinery are Copyright © by the Association for Computing Machinery, Inc.  Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.  Copyrights for components of this work owned by others than ACM must be honored.  Abstracting with credit is permitted.  To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.  Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.

Papers published by the Institute of Electrical and Electronics Engineers, Inc. (IEEE) are Copyright © by IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Papers published in the Lecture Notes in Computer Science (LNCS), which include the proceedings for ECOOP, are Copyright by Springer-Verlag


 

Compiler Analyses and Optimizations

Finding reasons for analysis failure.  Daniel von Dincklage and Amer Diwan.  ACM Conference on Programming Language Design and Implementation,  2008.

Design, Implementation, and Evaluation of a Compilation Server.  Han B. Lee, Amer Diwan, and J. Eliot B. Moss.  ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 29, Issue 4, August 2007 A previous version of this paper is available as a University of Colorado at Boulder, Department of Computer Science Technical Report CU-CS-978-04, 2004.

Fast online pointer analysis, Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind.  Transactions on Programming Languages and Systems (TOPLAS), Volume 29, Issue 2, April 2007 (an early version also available as an IBM Research Report RC23638, June 2005).

Understanding the behavior of compiler optimizations, Han Lee, Daniel von Dincklage, Amer Diwan, J. Eliot B. Moss, Software Practice and Experience, 36(8), July 2006, pp 835-844.  A previous version of this paper is available as a University of Colorado at Boulder, Department of Computer Science Technical Report CU-CS-972-04, 2004.

Pointer Analysis in the Presence of Dynamic Class Loading (or save trees and get 2up).  Martin Hirzel, Amer Diwan, and Michael Hind. To appear in European Conference on Object-Oriented Programming (ECOOP), June 2004.  An earlier version of this paper is available as CU Technical Report CU-CS-966-03

Partial redundancy elimination for access path expressions. Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin Cutts, and Amer Diwan.  Software-Practice and Experience 31, 2001

Partial Redundancy Elimination for Access Path Expressions. Nathaniel Nystrom, Antony L. Hosking, David Whitlock, Quintin Cutts and Amer Diwan. In Proceedings of the International Workshop on Aliasing  in Object-Oriented Systems (Lisbon, Portugal, June 1999)

 Using types to analyze and optimize object-oriented programs. Amer Diwan, Kathryn McKinley, and Eliot Moss.  ACM Transactions on Programming Languages and Systems, 23(1), 2001.

Type-Based Alias Analysis, Amer Diwan, Kathryn McKinley, and Eliot Moss. ACM Conference on Programming Language Design and Implementation,  1998.

Understanding and improving the performance of modern programming languages, PhD Dissertation October 1996, Amer Diwan.

Goals and Design of the Whole Program Optimizer, Amer Diwan. MASPLAS 1996.

The Whole Program Optimizer., Amer Diwan. Modula-3 Threads newsletter.

Simple and effective analysis of statically-typed object-oriented programs, Amer Diwan, Eliot Moss, Kathryn Mckinley. ACM Conference on Object Oriented Programming Systems, Languages, and Applications 1996.

Computer Science Education

Design and implementation of a modern compiler course.  William M. Waite, Assad Jarrahian, Michele H. Jackson, Amer Diwan.  ITiCSE 2006: 18-22

Generalizing the PL-Detective: The Knowledge Discovery Framework, Christian Doerr, Amer Diwan, and Michele Jackson. 11th Annual World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (E-Learn) 2006

PL-Detective: A system for teaching programming language concepts.  Amer Diwan, William M. Waite, Michele H. Jackson, and Jacob Dickerson.  ACM Journal on Educational Resources in Computing, 4(4), December 2004

Occupational work styles and organizational change: A constitutive perspective on engineering culture.  Paul Leonardi, Michele Jackson, William Waite, and Amer Diwan. Academy of Management Conference, Honolulu, August 2005.

PL-Detective: Experience and results.  Amer Diwan, Michele Jackson, William Waite, and Jacob Dickerson. 36th ACM Technical Symposium on Computer Science Education, 2005.

Student culture versus group work in computer science.  William Waite, Michele Jackson, Amer Diwan, Paul Leonardi.  35th ACM Technical Symposium on Computer Science Education, 2004.

 

PL-Detective: A system for teaching programming language concepts.  Amer Diwan, William Waite, and Michele Jackson.  35th ACM Technical Symposium on Computer Science Education, 2004.

 

The Conversational Classroom. William Waite, Michele Jackson, and Amer Diwan.  34th ACM Technical Symposium on Computer Science Education, 2004. 2003.

An infrastructure for teaching skills for group decision making and problem solving in programming projects.  Amer Diwan, William M. Waite, and Michele H. Jackson.  In 33rd ACM Technical Symposium on Computer Science Education, 2002.

Group support tools as a scaffold for developing group skills: desiring to be dispensable. Michele Jackson, William Waite, and Amer Diwan.  Group decision and Negotiation, 2001.

Memory Management

The DaCapo Benchmarks: Java Benchmarking Development and Analysis Stephen M Blackburn, Robin Garner, Chris Hoffmanng, Asjad M Khan, Kathryn S McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J Eliot B Moss, Aashish Phansalkar, Darko Stefanovi´c, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann ACM Conference on Object Oriented Programming Systems, Languages, and Applications 2006

Connectivity-based garbage collection.  Martin Hirzel PhD Dissertation

Choosing a set of partitions to collect in a connectivity-based garbage collector.  Martin Hirzel, Harold Gabow, and Amer Diwan.  University of Colorado Technical report CU-CS-958-03

Connectivity-Based Garbage Collection.  Martin Hirzel, Amer Diwan, and Matthew Hertz.  ACM Conference on Object Oriented Programming Systems, Languages, and Applications 2003

 

On the usefulness of type and liveness accuracy for garbage collection and leak detection.  Martin Hirzel, Amer Diwan, and Johannes Henkel.  Transactions on Programming Languages and Systems (TOPLAS), pages 593-624, November 2002.

 

Understanding the connectivity of heap objects.  Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind.  International Symposium on Memory Management 2002.

On the Usefulness of Liveness for Garbage Collection and Leak Detection , Martin Hirzel, Amer Diwan, and Antony Hosking.  European conference on Object-Oriented Programming (Budapest, June 2001)

On the type accuracy of garbage collection, Martin Hirzel and Amer Diwan.  International Symposium on Memory Management, October 2000.

Measuring the cost of storage management, David Tarditi (CMU), Amer Diwan. Lisp and Symbolic Computation, Volume 9, Number 4, December 1996. Also available as CMU TR CMU-CS-94-201.

The full cost of a generational copying garbage collection implementation , David Tarditi (CMU), Amer Diwan . OOPSLA '93 Workshop on Memory Management and Garbage Collection.

Compiler Support for Garbage Collection in a Statically Typed Language , Amer Diwan, Eliot Moss, and Richard Hudson. ACM Conference on Programming Language Design and Implementation  1992, pp. 273-282.

A Language-Independent Garbage Collector Toolkit , Richard Hudson, Eliot Moss, Amer Diwan, and Christopher F. Weight. University of Massachusetts at Amherst technical report TR 91-47.
 

Memory System Performance

We have it easy, but do we have it right?  Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney.  NGS workshop at IPDPS 2008.

Time Interpolation: So Many Metrics, So Few Registers.  Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswirth, Amer Diwan.  40th International Symposium on Microarchitecture (MICRO  2007).

Understanding Measurement Perturbation in Trace-based Data.  Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney.  NGS workshop at IPDPS 2007: 1-6

Aligning traces for performance evaluation.  Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter F. Sweeney.  Next generation systems workshop (NGS) 2006.

Understanding performance of multi-core systems using trace-based visualizations.  Peter F. Sweeney, Matthias Hauswirth, Amer Diwan, Marina Biberstein, and Yuval Harel.  STMCS: First Workshop on Software Tools for Multi-Core Systems 2006.

Vertical Profiling: Evaluating Computer Architectures using Commercial Applications. Peter F. Sweeney, Matthias Hauswirth, and Amer Diwan.  Ninth Workshop on Computer Architecture Evaluation using Commercial Workloads 2006.

Automating vertical profiling.  Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, and Michael Mozer.  ACM Conference on Object Oriented Programming Systems, Languages, and Applications 2005.

Phases in branch targets of Java programs.  Matthias Hauswirth and Amer Diwan.  University of Colorado Technical Report CU-CS-983-04

Vertical Profiling: Understanding the behavior of object-oriented applications.  Matthias Hauswirth, Peter Sweeney, Amer Diwan, and Michael Hind.  ACM Conference on Object Oriented Programming Systems, Languages, and Applications 2004

A Case for Vertical Profiling.  Matthias Hauswirth, Peter Sweeney, Amer Diwan, and Michael Hind
2nd Workshop on Managed Runtime Environments - MRE 2004

Using hardware performance monitors to understand the behavior of Java applications.   Peter F. Sweeney, Matthias Hauswirth, Brendon Cahoon, Perry Cheng, Amer Diwan, David Grove, and Michael Hind.  First published in USENIX 3rd Virtual Machine Research and Technology Symposium (VM'04), San Jose, CA, May 6-7, 20043.

Static load classification for improving the value predictability of data cache misses.  Martin Burtscher, Amer Diwan, and Matthias Hauswirth.  ACM Conference on Programming Language Design and Implementation, 2002.

Memory System Performance of Programs with Intensive Heap Allocation, Amer Diwan, David Tarditi (CMU), and Eliot Moss. ACM Transactions on Computer Systems, Volume 13, Number 3, August 1995, p. 244-273. An earlier version is available as CMU technical report CMU-CS-93-227

Memory Subsystem Performance of Programs Using Copying Garbage Collection , Amer Diwan, David Tarditi (CMU), and Eliot Moss. ACM Conference on Principles of Programming Languages  1994, pp 1--14. This paper is also available as a CMU technical report CMU-CS-93-210.

Power-Aware Computing

When to use a compilation service.  Jeffrey Palm, Han Lee, Amer Diwan, and J. Eliot B. Moss.  ACM Conference on Languages, Compilers, and Tools for Embedded Systems 2002.

Energy consumption and garbage collection in low-powered computing, Amer Diwan, Han Lee, Dirk Grunwald, and Keith Farkas.  Technical report CU-CS-930-02.

Software Engineering/Visualization Tools

Simplifying Web Traversals By Recognizing Behavior Patterns.  Christian Doerr, Daniel von Dincklage and Amer Diwan.   Eighteenth ACM Conference on Hypertext and Hypermedia (HT 07) 2007.

Discovering documentation for Java container classes. Johannes Henkel, Christoph Reichenbach, and Amer Diwan. IEEE Transactions on Software Engineering, Volume 33, Number 8, August 2007. (An older version of this paper is available as a University of Colorado Technical Report CU-CS-985-04).

Developing and debugging algebraic specifications for Java classes.  Johannes Henkel, Christoph Reichenbach, and Amer Diwan.  To appear in ACM Transactions on Software Engineering and Methodology.  (An earlier version of this paper is available as a University of Colorado Technical Report CU-CS-984-04).

CatchUp! Capturing and Replaying Refactorings to Support API Evolution. Johannes Henkel and Amer Diwan.  International Conference on Software Engineering (ICSE) 2005.

Case Study: Debugging a discovered specification for java.util.ArrayList by using algebraic interpretation.  Johannes Henkel and Amer Diwan.  University of Colorado Technical Report CU-CS-970-04.

Converting Java classes to use generics.  Daniel von Dincklage and Amer Diwan.  ACM Conference on Object Oriented Programming Systems, Languages, and Applications 2004

Discovering and Debugging Algebraic Specifications for Java Classes. Johannes Henkel, PhD dissertation.

A Tool for Writing and Debugging Algebraic Specifications.  Johannes Henkel and Amer Diwan.
International Conference on Software Engineering (ICSE) 2004. Edinburgh, Scotland 2004.  Winner of distinguished paper award.

Discovering algebraic specifications from Java classes.  Johannes Henkel and Amer Diwan.  European Conference on Object-Oriented Programming,  July 2003.

An evaluation of data slicing techniques, Amer Diwan and Monica Lam. Unpublished.

The SUIF Explorer, Shih-Wei Liao, Amer Diwan, Robert Bosch, Anwar Gholoum, Monica Lam. ACM Conference on Principles and Practices of Parallel Programming 1999