About me

Ezekiel Soremekun is an Assistant Professor at the ISTD Pillar of the Singapore University of Technology and Design (SUTD), Singapore.

See Resume for professional experience and education.

News

  • [2026] Invited to serve on the PC of ESEC/FSE 2026 (Core A*) & SANER 2026 (Core A).
  • [2025] Co-chaired the Tool Demonstration Track of ISSTA 2025 with Jeongju Sohn (Core A).
  • [2025] Honored to serve on the PC of ICSE 2025 (Core A*), SANER 2025 (Core A) & ICST 2025 (Core A).

  • [Jul. ‘25] Our survey on “software fairness” is accepted at ACM Computing Surveys (CSUR) 2025 (CSUR25) (Core A*).
  • [Jul. ‘25] Our paper on “automated input repair without specifications” is accepted at ISSRE 2025 (ISSRE25) (Core A).
  • [May ‘25] Awarded a TL@SUTD grant (100K SGD) on ML supply chain security (as PI).
  • [Apr. ‘25] Honored to receive the Distinguished Reviewer Award, ICSE 2025 (Core A*).
  • [Apr. ‘25] Honored to be awarded an MOE AcRF Tier 1 (SKI) grant (100K SGD) on Grammar-based Test Generation (as PI).
  • [Jan. ‘25] Our paper on “end-user security of smart contracts” is accepted at CHI 2025 (CHI25) (Core A*).
Older
  • [2025] Served on the PC of ICSE 2024 (Core A*), ASE 2024 (Core A*), ISSTA 2024 (Core A) & SANER 2024 (Core A).
  • [2024] Honored to join the ACM TOSEM Board of Distinguished Reviewers (Core A*).
  • [2024] Our paper on "consistency testing of LLMs" is accepted at EMNLP24 (Core A*).
  • [2024] Our work on "distribution-aware fairness testing" is accepted at JSS 2024 (Core A).

Research

Ezekiel’s research is primarily focused on software engineering (SE), especially software validation. This includes SE research concerns such as automated debugging, software testing, program analysis, and security testing. He is interested in studying both functional properties (e.g., correctness) and non-functional properties (e.g., security, robustness, and fairness) of software systems, including artificial intelligence (AI) -driven systems (e.g., automated classifiers).

Ezekiel’s research objective is to apply scientific methods to validate software systems. His main research goal is to address key challenges in software validation by developing methods and tools to support developers during software testing and debugging activities.

The over-arching research aim is to provide useful validation techniques, tools and empirical studies for the following:

  • Software Testing & Analysis: systematic analysis of programs and automated generation of test inputs to expose unexpected program behaviors (see ASE17, TSE20, TOSEM23),
  • Automated Debugging: how to automatically diagnose, mitigate and repair incorrect program behaviors (see ICSE20, FSE20, ISSTA20, EMSE21, ISSRE25),
  • Human Factors in SE: studying and accounting for developer behaviors during (automated) software testing and debugging activities (see ESEC/FSE17, ICSE23, CHI25), and
  • AI4SE & SE4AI: application of SE techniques (e.g., testing and debugging) to address AI concerns and the application of AI methods to address SE tasks (see TSE22, MSR22, COSE23, JSS24, EMNLP24, CSUR25).