Compiler Reading Group

This page is writable by anyone in the flux Unix group. It is under RCS, and is in the directory /services/www/wilson/compilers/.

We have a mailing list compilers@cs.utah.edu, which a majordomo list (mail majordomo@cs.utah.edu).

Schedule (in reverse chronological order)

• Monday, November 26, 2pm, CSL library Extensible Algebraic Types with Defaults, by Zenger and Odersky, ICFP 2001.
• Monday, November 19, 2pm, CSL library Object-Oriented Composition Untangled, by Ostermann and Mezini, OOPSLA 2001.
• Monday, November 5, 2pm, CSL library Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML, by Ganz, Sabry, and Taha, ICFP 2001.

  ---

• Monday, October 29, 2pm, CSL library Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless, by Bowen Alpern, Anthony Cocchi, Stephen Fink, David Grove, and Derek Lieber, OOPSLA 2001.
• Monday, October 22, 2pm, CSL library Developing a Stage Lighting from Scratch, by Michael Sperber, ICFP 2001.
• Monday, October 8, 2pm, CSL library Encapsulating Objects with Confined Types, by Christian Grothoff, Jens Palsberg, and Jan Vitek, OOPSLA 2001.
• Monday, October 1, 2pm, CSL library The Java Syntactic Extender, by Jonathan Bachrach and Keith Playford, to appear at OOPSLA 2001.

  ---

• Monday, September 24, 2pm, CSL library Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations, Blume and Appel, ICFP 1997.
• Monday, September 17, 2pm, CSL library A Network Protocol Stack in Standard ML, Edoardo Biagioni, Robert Harper, and Peter Lee, Higher Order and Symbolic Computation, 2001.
• Wednesday, September 12, 3pm, CSL library, Modular Mixin-Based Inheritance for Application Frameworks, Dominic Duggan and Ching Ching Techaubol, OOPSLA 2001. This is the postscript for a workshop paper at MASPLAS '01; I don't know if the full OOPSLA version is different.
• Thursday, September 6, 3pm, CSL library, Separating Features in Source Code: An Exploratory Study, Gail Murphy et al., ICSE 2001.

  ---

• Wednesday, August 29, 3pm, CSL library, brief organizational meeting.
• Thursday, August 23, 2pm, CSL library, Compositional Explanation of Types and Algorithmic Debugging of Type Errors, Olaf Chitil, ICFP 2001.

Possible Future Papers/Topics

• case studies on language expressiveness/domain-specific languages
• some of Phil Wadler's papers?
• Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity
• systems building in functional/semi-functional languages
• Principled Scavenging, PLDI 01 (2 votes)
• separation of concerns/aspects
• no papers
• distributed computation: pi-calculus, CSP, Obliq, Ambit
• no papers yet
• OOPSLA '01 papers
• ICFP '01 papers
• Recursive Structures for Standard ML, by Russo
• Java papers
  • On Inner Classes (1 vote) Suggested by Jason.
    I haven't read the paper, but I've been thinking about this on my own:

    Object m(boolean once)
    {
      class C { void n() { } };
      if (once)
        return new C();
      else {
        Object r = m(true);
        System.err.println("Classes are "
    		       + ((r instanceof C) ? "not " : "")
                           + "local to methods");
        return r;
      }
    }
    

    So, Java programmers must think of inner classes as global classes with locally bound names.
  • On Inner Classes (journal version) (0 votes)