Gary T. Leavens
Affiliations: | Iowa State University, Ames, IA, United States |
Area:
Computer ScienceGoogle:
"Gary Leavens"Parents
Sign in to add mentor| William Edward Weihl | grad student | 1982-1988 | MIT | |
| (Thesis: Verifying Object Oriented Programs that use Subtypes) | ||||
Children
Sign in to add trainee| Yoonsik Cheon | grad student | 2003 | Iowa State |
| Curtis C. Clifton | grad student | 2005 | Iowa State |
| Clyde D. Ruby | grad student | 2006 | Iowa State |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Tran-Jørgensen PWV, Larsen PG, Leavens GT. (2018) Automated translation of VDM to JML-annotated Java International Journal On Software Tools For Technology Transfer. 5: 211-235 |
| Bao Y, Leavens GT, Ernst G. (2018) Unifying separation logic and region logic to allow interoperability Formal Aspects of Computing. 30: 381-441 |
| Śanchez J, Leavens GT. (2016) Reasoning tradeoffs in languages with enhanced modularity features Modularity 2016 - Proceedings of the 15th International Conference On Modularity. 13-24 |
| Bao Y, Leavens GT, Ernst G. (2015) Conditional effects in fine-grained region logic Proceedings For the 17th Workshop On Formal Techniques For Java-Like Programs, Ftfjp 2015: Co-Located With Ecoop 2015 |
| Leavens GT, Naumann DA. (2015) Behavioral subtyping, specification inheritance, and modular reasoning Acm Transactions On Programming Languages and Systems. 37 |
| Rajan H, Nguyen TN, Leavens GT, et al. (2015) Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Proceedings - International Conference On Software Engineering. 2: 579-582 |
| Leavens GT. (2014) Session details: Specification and verification Sigplan Notices. 49 |
| Singleton JL, Leavens GT. (2014) Verily: A web framework for creating more reasonable web applications 36th International Conference On Software Engineering, Icse Companion 2014 - Proceedings. 560-563 |
| Sánchez J, Leavens GT. (2014) Static verification of ptolemyrely programs using OpenJML Foal 2014 - Proceedings of the 13th Workshop On Foundations of Aspect-Oriented Languages, Co-Located With Modularity 2014 (Formerly Aosd). 13-18 |
| Rebêlo H, Leavens GT, Bagherzadeh M, et al. (2014) Modularizing crosscutting contracts with AspectJML Modularity 2014 - Proceedings of the 13th International Conference On Modularity (Formerly Aosd). 21-24 |