| Cartesian Hoare Logic for Verifying k-Safety Properties M Sousa, I Dillig Conference on Programming Language Design and Implementation, 2016 | 99 | 2016 |
| Unfolding-based Partial Order Reduction C Rodríguez, M Sousa, S Sharma, D Kroening International Conference on Concurrency Theory, 456--469, 2015 | 56 | 2015 |
| Verified three-way program merge M Sousa, I Dillig, SK Lahiri Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 23* | 2018 |
| Quasi-Optimal Partial Order Reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci https://arxiv.org/abs/1802.03950, 2018 | 13 | 2018 |
| Generation of TLM testbenches using mutation testing. M Sousa, A Sen Proceedings of the 10th International Conference on Hardware/Software …, 2012 | 13 | 2012 |
| Consolidation of queries with user-defined functions M Sousa, I Dillig, D Vytiniotis, T Dillig, C Gkantsidis Conference on Programming Language Design and Implementation, 2014 | 10 | 2014 |
| Abstract Interpretation with Unfoldings M Sousa, C Rodriguez, V D'Silva, D Kroening Computer Aided Verification, 2017 | 8 | 2017 |
| Independence Abstractions and Models of Concurrency V D'Silva, D Kroening, M Sousa Verification, Model Checking, and Abstract Interpretation, 2017 | 5 | 2017 |
| LLVMVF: A Generic Approach for Verification of Multicore Software M Sousa, A Sen Journal of Electronic Testing 29 (5), 635-646, 2013 | 3 | 2013 |
| Complete Abstractions and Subclassical Modal Logics V D'Silva, M Sousa Verification, Model Checking, and Abstract Interpretation, 2017 | 1 | 2017 |
| Quasi-optimal partial order reduction C Coti, L Petrucci, C Rodríguez, M Sousa Formal Methods in System Design, 1-31, 2020 | | 2020 |
| Abstractions and Independence M Sousa University of Oxford, 2018 | | 2018 |
Isil DilligUT AustinVerified email at cs.utexas.edu
