CIS Homeline
   
arrow About CIS
spacer spacer
arrow Events
spacer spacer
arrow People
spacer spacer
arrow Research
spacer spacer
arrow Undergraduate program
spacer spacer
arrow Graduate program
spacer spacer
arrow Job Openings
   

 
CIS Home divider Penn Engineering divider PENN   spacer  

 
 Technical Report 2005 

2004 . 2003 . 2002 . 2001 . 2000 . 1999 . 1998 . 1997 . 1996 . 1995 . 1994 . 1993 . 1992 . 1991 . 1990

 

MS-CIS-05-01

BioGuide: Managing Biological Sources and Tools with a User Perspective
Susan Davidson, Christine Froidevaux, Sarah Cohen-Boulakia (Universite Paris-Sud)

MS-CIS-05-02

Schema-Directed Data Synchronization
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce and Alan Schmitt

MS-CIS-05-03

Sound Code Generation from Hybrid Systems Models : Some Theoretical Results
Madhukar Anand, Jesung Kim, and Insup Lee

MS-CIS-05-04

Generalizing Parametricity Using Information-flow
Geoffrey Washburn and Stephanie Weirich

MS-CIS-05-05

Cause and effect: type systems for effects and dependencies
Geoffrey Washburn

MS-CIS-05-06

Extracting Relations from Unstructured Text
Ryan McDonald

MS-CIS-05-07

PolyAML: A polymorphic aspect-oriented functional programmming language (extended version)
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich

MS-CIS-05-08

Better k-best Parsing
Liang Huang and David Chiang

MS-CIS-05-09

CCGbank Manual
Julia Hockenmaier and Mark Steedman

MS-CIS-05-10

Approximate metrics for discrete and continuous systems
Antoine Girard and George J. Pappas

MS-CIS-05-11

Spanning Tree Methods for Discriminative Training of Dependency Parsers
Ryan McDonald, Koby Crammer and Fernando Pereira

MS-CIS-05-12

An efficient XPath query processor for XML steams
Yi Chen, Susan B. Davidson and Yifeng Zheng

MS-CIS-05-13

A DISE Framework for Securing Software
Marc L. Corliss and E Christopher Lewis

MS-CIS-05-14

Practical type inference for arbitrary-rank types \\ Technical Appendix
SL. Peyton Jones, D. Vytiniotis, S. Weirich, M. Shields

MS-CIS-05-15

Building an LTAG Treebank
Libin Shen and Aravind K. Joshi

MS-CIS-05-16

An Introduction to Multi-Valued Model Checking
Georgios E. Fainekos

MS-CIS-05-17

Automated Computer System Diagnosis by Machine Learning Approaches

Yun Mao

MS-CIS-05-18

The Unique Games Conjecture and some of it's Implications on Inapproximability

Boulos Harb

MS-CIS-05-19

MS-CIS-05-20

Optimal Control of Software ensuring Safety and Functionality

Arvind Easwaran, Sampath Kannan, Insup Lee

MS-CIS-05-21

Statically Typed Document Transformation: An Xtatic Experience

Vladimir Gapeyev, Francois Garillot, Benjamin C. Pierce

MS-CIS-05-22

Simple unification-based type inference for GADTs, Technical Appendix

Simon Peyton-Jones, and Dimitrios Vytiniotis, and Stephanie Weirich, and Geoffrey Washburn

MS-CIS-05-23

Boxy types: type inference for higher-rank types and impredicativity, Technical Appendix

Dimitrios Vytiniotis, and Stephanie Weirich, and Simon Peyton-Jones

MS-CIS-05-24

The Eavesdropper's Dilemma

Eric Cronin and Micah Sherr and Matt Blaze

MS-CIS-05-25

Verification and Testing of Natural Language Policy Documents

David Arney, Arvind Easwaran, Nikhil Dinesh and Insup Lee.

MS-CIS-05-26

Dynamic Translation as a Systems Service
Marc L. Corliss, Vlad Petric, and E Christopher Lewis

MS-CIS-05-27

Relational Lenses: A Language for Upadatable Views

Aaron Bohannon, Bejamin C. Pierce and Jeffery A. Vaughan

 
 
CIS Home divider Penn Engineering divider PENN   spacer
  Send comments on this page to