Marcelo Sousa

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