Francesco Adalberto Bianchi

Ph.D. Student
Contacts
Address
Faculty of Informatics
Università della Svizzera Italiana
via Giuseppe Buffi, 13
CH - 6900, Lugano
Email - Skype - Phone
[email protected]
+41 58 666 4312
blanco20052
Google Scholar
Francesco Bianchi - PhD Student
Short Bio
I am currently a Ph.D. student in Informatics at University of Lugano, Switzerland. In particular, I'm working in the STAR group, led by prof. Mauro Pezzè, whose research main topic is software testing and analysis.
I got both my bachelor and master's degrees at University of Milano-Bicocca, Italy.
My research interests focus mainly on improving scalability of program verification and analysis techniques and on testing and analysis of concurrrent software systems.
For further informations, you can find my Curriculum Vitae here.
Publications
2017
Francesco Adalberto Bianchi, Mauro Pezzè, Valerio Terragni Reproducing Concurrency Failures from Crash Stacks in FSE'17: Proceedings of the International Symposium on the Foundations of Software Engineering

Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè A Survey of Recent Trends in Testing Concurrent Software Systems in TSE'17: Transactions on Software Engineering (to appear)
2016
Francesco Adalberto Bianchi Testing Concurrent Software Systems in ICST'16: Companion Proceedings of the International Conference on Software Testing, Verification and Validation
2015
Andrea Aquino, Francesco Adalberto Bianchi, Meixien Chen, Giovanni Denaro and Mauro Pezzè Reusing Constraint Proofs in Program Analysis in ISSTA'15: Proceedings of the International Symposium on Software Testing and Analysis
2012
Luca Bernardinello, Francesco Adalberto Bianchi A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt in PNSE'12: Proceedings of the International Workshop on Petri Nets and Software Engineering
Teaching
2016/2017 - Spring Semester - @Università degli Studi Milano Bicocca
Software Quality - Mauro Pezzè
2016/2017 - Spring Semester - @USI Università della Svizzera italiana
Software Engineering Atelièr - Mauro Pezzè
2016/2017 - Fall Semester - @USI Università della Svizzera italiana
Software Quality - Mauro Pezzè
2015/2016 - Spring Semester - @USI Università della Svizzera italiana
Software Engineering Atelièr - Mauro Pezzè
2015/2016 - Fall Semester - @USI Università della Svizzera italiana
Computer Networking - Alessandro Margara
2014/2015 - Spring Semester - @USI Università della Svizzera italiana
Software Engineering Atelièr - Mauro Pezzè
Master Thesis
Title
Study, design and evaluation of a technique for storing and reusing satisfiability proofs using MapReduce paradigm.
Supervisors
Professor Mauro Pezzè & Professor Giovanni Denaro
Description
The project aimed to reduce the impact of constraint solving techniques that represent the main bottleneck for verification approaches. The basic idea of this work is that constraints can occur many times during the same or different analysis; for this reason we proposed a technique for storing and reusing satisfiability proofs, aiming to improve the actual constraint solvers performance.
Bachelor Thesis
Title
A concurrent simulator for Petri Nets based on the paradigm of Actors of Hewitt.
Supervisors
Professor Lucia Pomello & Dr. Luca Bernardinello
Description
The goal of this project was to design and implement a concurrent simulator for Petri Nets written in Scala, an object-oriented programming language built over Java. Scala implements concurrency through the paradigm of Actors of Hewitt and during the project a series of experiments have been made in order to compare the degree of concurrency offered by Java threads and Scala actors.