Ximeng Sun



Fall 2005

COMP-520 Compiler Design
WIG Compiler project [pdf] [ps]
COMP-525 Formal Verification

Winter 2005

COMP-762 Modelling and Simulation based Design
Parallel DEVS modelling of Traffic in AToM3 [pdf] [ppt]
The Parallel DEVS Formalism and the DEVSJAVA tool [pdf] [ppt]
COMP-523 Language-based Security
ESLN-590 Writing for Graduate Students

Fall 2004

COMP-522 Modelling and Simulation
Project (Presentation)
COMP-535 Computer Networks
COMP-577 Distributed Database Systems
Project (Presentation)
ESLN-650 Pronunciation and Communication
Maintained by Ximeng Sun. Last Modified: 2008/12/19 16:42:02.