Meeting Agenda

Wednesday, December 10, 1997

Location:

DC2303

Time:

1:30

Chair:

Navid Sadikali (Dec 10)

1. Adoption of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour this week:

Leo Magalhaes

Coffee hour next week:

3. Next meeting

Date:

Wednesday, December 17, 1997

Location:

DC2303 - The Lab

Time:

1:30

Chair:

Faramarz Samavat (Dec 17)

Technical presentation:

Mark Riddellães (Dec 17)

4. Forthcoming

Chairs:

1. Ian Stewart (After Holidays)
2. Teresa Yeung (switched with Clara Tsang)
3. Ion Vasilian

Tech Presenters:

1. Navid Sadikali (After Holidays)
2. Faramarz Samavat
3. Ian Stewart

5. Technical Presentations

Presenter:

Leo Magalhaes (Dec 10)

Title:

Petri Nets and Animation Modeling

Abstract:

This talk introduces the use of Petri Nets as a modeling
and analysis tool for animation environments. The original
formulation for Petri Nets is presented followed by some
application examples.

6. General Discussion Items

• The Eurographics submission deadline is January 9, 1998. Please see
  http://www.eg98.gpcg.pt/submissions/ for requirements.
  
  
• SIGGRAPH deadline (for North America) is January 14, 1998.
  
  
• Bill's Big Bash - December 17th
  
  




7. Action List






8. Director's Meeting

9. Seminars

DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

MASTER'S ESSAY PRESESENTATION

                    -Friday, December 19, 1997

Simon  Gammage,  graduate  student,  Dept.  Comp. Sci.,
Univ.  Waterloo,  will  speak  on ``Compiling ML to the
Java Virtual Machine''.

TIME:                11:30-12:30 p.m. (NOTE TIME CHANGE)

ROOM:                DC 1331

ABSTRACT

The emergence of the Java programming language has been
one  of the most remarkable developments in programming
language  research  in recent years. Despite its sudden
popularity,  Java  is  only  a  small  step  forward in
language  design,  and  lacks  many  features  of  more
advanced  languages  like  Standard ML (SML), including
first-class  functions,  parametric  polymorphism,  and
type  inference.  The real innovation of Java therefore
appears  to  be  the proliferation Java Virtual Machine
(JVM)  bytecode interpreters - one is tempted, then, to
dispense  with Java altogether, and instead use the JVM
as a 'universal' machine code.

In  this  presentation,  I  will discuss the design and
implementation   of   a   compiler  which  adopts  this
strategy,  compiling a subset of SML to the JVM. I will
discuss    the    difficulties   encountered   in   the
translation,  and  their  resolution through the use of
modern  compilation techniques, including type-directed
compilation,  representation analysis, A-normalization,
and typed closure conversion.

---

10. Lab Cleanup