Kansas State University
|
CIS Department
Quick Links:
Santos Laboratory Home
Cadena
Bogor
Indus
Bandera
JML Eclipse
Main Menu
Home
Contact
Papers
Invited Talks / Tutorials
Tools
Program Committees
Funding
Teaching
Curriculum Vita
Prospective Students
ESQuaReD Lab (UNL)
Personal
Home
Papers
Papers
Papers
Below are some of my publications organized by topic.
Model-checking Concurrent Java Software
Continuations and Type Theory
Foundations of Partial Evaluation
Staging Continuation-Passing Style Transformations
Model-checking Concurrent Java Software
Checking Strong Specifications Using An Extensible Software Model Checking Framework, October 2003.
Robby, Edwin Rodr
Papers