Marcelo Sousa

According to our database, Marcelo Sousa authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Quasi-optimal partial order reduction.

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa

Formal Methods Syst. Des., 2021

2018

Abstractions and independence.

Marcelo Sousa

PhD thesis, 2018

Verified three-way program merge.

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri

Proc. ACM Program. Lang., 2018

Verifying Semantic Conflict-Freedom in Three-Way Program Merges.

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri

CoRR, 2018

Quasi-Optimal Partial Order Reduction.

Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Complete Abstractions and Subclassical Modal Logics.

Vijay Victor D'Silva, Marcelo Sousa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Independence Abstractions and Models of Concurrency.

Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Abstract Interpretation with Unfoldings.

Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Cartesian hoare logic for verifying k-safety properties.

Marcelo Sousa, Isil Dillig

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Unfolding-based Partial Order Reduction.

César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Consolidation of queries with user-defined functions.

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

LLVMVF: A Generic Approach for Verification of Multicore Software.

Marcelo Sousa, Alper Sen

J. Electron. Test., 2013

2012

Generation of TLM testbenches using mutation testing.

Marcelo Sousa, Alper Sen

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012