Jessica Gronski, Kenneth Knowles, Aaron Tomb, Cormac Flanagan, Stephen Freund. Sage: Hybrid Checking for Expressive Specifications. Workshop on Scheme and Functional Programming, 2006. Workshop Version Tech Report

Jessica Gronski, Cormac Flanagan. Unifying Hybrid Types and Contracts. Transactions in Functional Programming, 2007 Conference Schedule Extended Abstract

Jessica Gronski. Link-Contexts for Ranking. The Fourth International Conference on Advanced Data Mining And Applications (ADMA) 2008 Technical Report