Iago Abal

2013201420152016201720182019202020213 14 25 31 19 10 9 1

Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Claus BrabrandAssociate Professor, Head of Center for Computing Education Research, IT University of CopenhagenVerified email at itu.dk
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Joe Leslie-HurdIntel Corp.Verified email at gilith.com
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt

Iago Abal

Computer Engineer & Researcher

Verified email at iagoabal.eu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
42 variability bugs in the linux kernel: a qualitative analysis I Abal, C Brabrand, A Wasowski Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	110	2014
Effective Bug Finding in C Programs with Shape and Effect Abstractions I Abal, C Brabrand, A Wąsowski International Conference on Verification, Model Checking, and Abstract …, 2017	3	2017
Using term rewriting to solve bit-vector arithmetic problems I Abal, A Cunha, J Hurd, JS Pinto International Conference on Theory and Applications of Satisfiability …, 2012	2	2012
Towards a mostly-automated prover for bit-vector arithmetic I Abal, JS Pinto Proceedings of the International C* Conference on Computer Science and …, 2013	1	2013

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year