Iago Abal

According to our database, Iago Abal authored at least 5 papers between 2012 and 2018.

Collaborative distances:

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

2018

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis.

Iago Abal, Jean Melo, Stefan Stanciulescu, Claus Brabrand, Márcio Ribeiro, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., 2018

2017

Effective Bug Finding in C Programs with Shape and Effect Abstractions.

Iago Abal, Claus Brabrand, Andrzej Wasowski

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

2014

42 variability bugs in the linux kernel: a qualitative analysis.

Iago Abal, Claus Brabrand, Andrzej Wasowski

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Towards a mostly-automated prover for bit-vector arithmetic.

Iago Abal, Jorge Sousa Pinto

Proceedings of the International C* Conference on Computer Science & Software Engineering, 2013

2012

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012