Omar Inverso

Photo on 04-03-2016 at 17.06 #2

 

Short Biography

I’m a post-doctoral researcher at the Gran Sasso Science Institute.
I was awarded the doctoral degree by the University of Southampton, United Kingdom, in Oct 2015. I worked 6 months as a research fellow in the Electronic and Software Systems research group, school of Electronics and Computer Science and currently I am a visiting fellow there.

 

Research Interests (program analysis, program verification, bounded model-checking, automated bug finding, concurrency)

Developing techniques and tools for automated program analysis aimed at improving the overall quality and reliability of real-world software systems, with a particular emphasis on large, complex, and concurrent or distributed instances.

 

Publications (DBLP)

  • O. Inverso, T. L. Nguyen, B. Fischer, S. La Torre, G. Parlato: Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE 2015
  • E. Tomasco, O. Inverso, B. Fischer, S. La Torre, G. Parlato: MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings – (Competition Contribution). TACAS 2015
  • E. Tomasco, O. Inverso, B. Fischer, S. La Torre, G. Parlato: Verifying Concurrent Programs by Memory Unwinding. TACAS 2015
  • O. Inverso, E. Tomasco, B. Fischer, S. La Torre, G. Parlato: Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV 2014
  • O. Inverso, E. Tomasco, B. Fischer, S. La Torre, G. Parlato: Lazy-CSeq: A Lazy Sequentialization Tool for C – (Competition Contribution). TACAS 2014
  • E. Tomasco, O. Inverso, B. Fischer, S. La Torre, G. Parlato: MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings – (Competition Contribution). TACAS 2014
  • C. Enea, P. Habermehl, O. Inverso, G. Parlato: On the Path-Width of Integer Linear Programming. GandALF 2014
  • B. Fischer, O. Inverso, G. Parlato: CSeq: A concurrency pre-processor for sequential C verification tools. ASE 2013
  • B. Fischer, O. Inverso, G. Parlato: CSeq: A Sequentialization Tool for C – (Competition Contribution). TACAS 2013

 

Service

SV-COMP’16, 5th Intl. Competition on Software Verification held at TACAS 2016.

 

Projects

CSeq: a flexible framework for analysis of shared-memory multi-threaded C programs

 

Awards

 

Contact Information

omar.inverso@gssi.infn.it