Denini Gabriel Silva

Ph.D. in Computer Science (CIn UFPE). Assistant Professor at UPE.

prof_pic3.jpeg

UPE

Recife, PE, Brazil.

I am an Assistant Professor at the University of Pernambuco (UPE). I obtained my Ph.D. in Computer Science from the Federal University of Pernambuco (CIn-UFPE), under the supervision of Prof. Dr. Marcelo d’Amorim. My doctoral research focused on software testing, flaky tests, and software reliability. Since 2020, I have conducted research and developed techniques and tools to improve software quality through program analysis and systematic testing.

My research interests include:

  • Software Engineering
  • Programming Languages
  • Software Testing
  • Software Development

news

Jun 22, 2026 Served as a Reviewer for IEEE TSE
Mar 24, 2026 PhD Thesis Successfully Defended
Mar 23, 2026 Approved in the Public Selection Process at UFRPE
Mar 18, 2026 Tool Demo Paper Accepted at FSE 2026
Jan 14, 2026 Paper Accepted at MSR 2026

selected publications

  1. FSE
    PyMOP: A Runtime Verification Tool for Python
    Zhuohang Shen, Mohammed Yaseen, Kevin Guan, and 3 more authors
    In ACM International Conference on the Foundations of Software Engineering - Tool Demonstrations, Montreal, Canada, Jul 2026
    PDF
  2. MSR
    An Empirical Analysis of Cross-OS Portability Issues in Python Projects
    Denini Silva, MohamadAli Farahat, and Marcelo d’Amorim
    In International Conference on Mining Software Repositories, Rio de Janeiro, Brazil, Apr 2026
    PDF
  3. TSE
    The Effects of Computational Resources on Flaky Tests
    Denini Silva, Martin Gruber, Satyajit Gokhale, and 6 more authors
    IEEE Transactions on Software Engineering, Apr 2024
    DOI PDF
  4. ASE
    Shaker: a Tool for Detecting More Flaky Tests Faster
    Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations), Melbourne City, Australia [Virtual, due to COVID-19], Nov 2021
    DOI PDF Video Code
  5. ICSME
    Soundy Automated Parallelization of Test Execution
    Shouvick Mondal, Denini Silva, and Marcelo d’Amorim
    In 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), Nov 2021
    DOI PDF Code
  6. ICSE
    Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Software Engineering, Madrid, Spain [Virtual, due to COVID-19], May 2021
    arXiv PDF Code
  7. ICSME
    Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker
    Denini Silva, Leopoldo Teixeira, and Marcelo d’Amorim
    In IEEE International Conference on Software Maintenance and Evolution, Adelaide, Australia [Virtual, due to COVID-19], Sep 2020
    DOI PDF Video