2002, September 8-13, Ithaca, New York, USA. Concerned with all aspects of computing with constraints. Submission deadline 3 May 2002.

Support vector machines, machine learning and natural language, statistical learning theory, text classification.

Ithaca, New York

Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002.

Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horus research.

a modular network simulator featuring a java GUI

Programming contest open to any student of Cornell University.

Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type c...

A Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.

TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...