contrapunctus, by Christopher League
• overview   • publications   » talks  

Talks

  1. Something for Everyone: AI Lab Assignments that Span Learning Styles and Aptitudes

    12 Apr 2008
    Consortium of Computing Sciences in Colleges (CCSC/NE) — Staten Island, NY

  2. Type-Based Compression of XML Data

    29 Mar 2007
    Data Compression Conference (DCC) — Snowbird, UT

  3. On the Construction of Convergent Transfer Subgraphs in General Labeled Directed Graphs

    7 Mar 2007
    Southeastern International Conference on Combinatorics, Graph Theory, and Computing — Boca Raton, FL

  4. MetaOCaml Server Pages: Web Publishing as Staged Computation

    27 Oct 2005
    New England Programming Languages Seminar — Providence, RI
    16 Sep 2005
    New Jersey Programming Languages Seminar — Hoboken, NJ
    25 Oct 2004
    First MetaOCaml Workshop — Vancouver, BC, Canada

  5. Typed Compilation Against Non-Manifest Base Classes

    21 Sep 2005
    Computer Science Systems Seminar — Yale University, New Haven, CT
    26 Jul 2005
    Workshop on Formal Techniques for Java-like Programs (FTfJP) — Glasgow, Scotland, UK
    8 Mar 2005
    Int’l Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS) — Nice, France

  6. Typed Compilation of Objects

    6 Nov 2003
    Seminar on Certifying Compilation — Stevens Institute of Technology, Hoboken, NJ

  7. Precision in Practice: A Type-Preserving Java Compiler

    7 Apr 2003
    Int’l Conf. on Compiler Construction (CC) — Warsaw, Poland
    24 Jun 2002
    Int’l Conf. on Dependable Systems and Networks (DSN ‘Fast Abstracts’) — Bethesda, MD

  8. A Type-Preserving Compiler Infrastructure

    17 May 2002
    Thesis defense — Yale University, New Haven, CT

  9. Functional Java Bytecode

    24 Jul 2001
    Intermediate Representation Engineering Workshop (IRE) — Orlando, FL

  10. Type-Preserving Compilation of Featherweight Java

    20 Jan 2001
    Foundations of Object-Oriented Languages Workshop (FOOL) — London, UK
    7 Dec 2000
    New England Programming Languages Seminar — Providence, RI

  11. Implementing Typed Intermediate Languages

    29 Sep 1998
    Int’l Conf. on Functional Programming (ICFP) — Baltimore, MD