Marcelo Sousa

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 10

Top Venues

CoRR

VMCAI

CAV (2)

PLDI

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
Quasi-optimal partial order reduction. Formal Methods Syst. Des. 57 (1) (2021)
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
Verified three-way program merge. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CAV (2) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CoRR (2018)
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
Verifying Semantic Conflict-Freedom in Three-Way Program Merges. CoRR (2018)
Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa
Independence Abstractions and Models of Concurrency. VMCAI (2017)
Vijay Victor D'Silva, Marcelo Sousa
Complete Abstractions and Subclassical Modal Logics. VMCAI (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CoRR (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CAV (2) (2017)
Marcelo Sousa, Isil Dillig
Cartesian hoare logic for verifying k-safety properties. PLDI (2016)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CONCUR (2015)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CoRR (2015)
Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
Consolidation of queries with user-defined functions. PLDI (2014)
Marcelo Sousa, Alper Sen
LLVMVF: A Generic Approach for Verification of Multicore Software. J. Electron. Test. 29 (5) (2013)
Marcelo Sousa, Alper Sen
Generation of TLM testbenches using mutation testing. CODES+ISSS (2012)

Marcelo Sousa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcelo Sousa