Follow
Ligia Connolly
Ligia Connolly
Verified email at oracle.com - Homepage
Title
Cited by
Cited by
Year
Adaptive cruise control: Hybrid, distributed, and now formally verified
SM Loos, A Platzer, L Nistor
International Symposium on Formal Methods, 42-56, 2011
2602011
Safely composable type-specific languages
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
552014
Tracking and sketching distributed data provenance
T Malik, L Nistor, A Gehani
2010 IEEE Sixth International Conference on e-Science, 190-197, 2010
452010
Wyvern: A simple, typed, and pure object-oriented language
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
362013
Object propositions
L Nistor, J Aldrich, S Balzer, H Mehnert
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
112014
Verifying object-oriented code using object propositions
L Nistor, J Aldrich
Carnegie Mellon University, 2011
62011
Middleware for managing provenance metadata
T Malik, L Nistor, A Gehani
Middleware'10 Posters and Demos Track, 1-2, 2010
52010
Type-specific languages to fight injection attacks
D Kurilova, C Omar, L Nistor, B Chung, A Potanin, J Aldrich
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014
22014
Using machine learning in the automatic translation of object propositions
L Nistor, J Aldrich
AI4FM, 2014
22014
Verifying the proxy design pattern using object propositions
L Nistor
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017
12017
The Implementation of Object Propositions: the Oprop Verification Tool
L Nistor, J Aldrich
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
12017
Model-checking higher-order recursion schemes
LN Nistor
University of Oxford, 2009
12009
The modularity of object propositions
L Nistor
Companion Proceedings of the 15th International Conference on Modularity, 22-22, 2016
2016
The Oprop verification tool: object propositions in action
L Nistor
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on …, 2015
2015
Safely Composable Type-Specific Languages (Technical Report)
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
2014
Wyvern
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
2013
1 GlobalSale, a V-Unit Project
L Nistor
2011
Safely Composable Type-Specific Languages
A Potanin, J Aldrich, C Omar, D Kurilova, L Nistor, B Chung
ACAR, Umut A. CMU-CS-17-107 ANDERSEN, David G. CMU-CS-17-125 ARAÚJO, Miguel CMU-CS-17-110 BALZER, Stephanie CMU-CS-17-106, CMU-CS-17-106R
S BOUCHER, S CHEN, GA CIDRE, K GARDNER, M HARCHOL-BALTER, ...
2017 Theses by Author
M ARAÚJO, S CHEN, GA CIDRE, K GARDNER, KBF HOU, S JAIN, ...
The system can't perform the operation now. Try again later.
Articles 1–20