Publications

Conference Papers

• "Model Composition in Rosetta". (preparing camera-ready)
  Frisby, N., Peck, M., Snyder, M., Alexander, P. In: Engineering of Computer-Based Systems (2011). Las Vegas, NV.
• "Monad Factory: Type-Indexed Monads".
  Snyder, M., Alexander, P. In: TFP 2010: Post-proceedings of Trends in Functional Programming. Norman, OK. (2010) 106-120.
• "Writing Composable Software with InterpreterLib".
  Snyder, M, Frisby, N, Kimmell, G, and Alexander, P. Software Composition 2009. ETH, Zurich, Switzerland.

Theses

• "Type Directed Specification Refinement". Dissertation. Snyder, M. The University of Kansas. July 2011.
• "A Modular, Algebra-Sequenced Paramorphic Constraint-Based Type Checker for Rosetta".
  Master's Thesis, Snyder, M. The University of Kansas. September 2007.

Technical Reports

• "The 2009 ICFP Programming Contest Problem Specification." Kimmell, G., K. Matlage, T. Bull, N. Frisby, A. Gill, M. Jantz, E. Komp, M. Peck, W. Peck, M. Snyder, et al., ITTC Tech Report: Information Telecommunication and Technology Center, University of Kansas, Lawrence, KS, 2009.
• "Fast Trigonometric Functions using Intel's SSE2 Instructions".
  Nyland, N., and Snyder, M. Technical Report TR03-041, Department of Computer Science, UNC-Chapel Hill.

Poster Sessions

• "Type-Driven Specification Refinement." Snyder, M. ITTC Advisory Board Poster Session, Spring 2010.
• "Rosetta Analysis and Verification." Austin, E., Frisby, N., Snyder, M. ITTC Advisory Board Poster Session, Spring 2010.
• "Rosetta Static Analysis and Transformation." Snyder, M. and Frisby, N. ITTC Advisory Board Poster Session, Spring 2009.
• "Indexed Monads." Snyder, M. 4th Annual Graduate Research Poster Competition 2008