About Me

Since Sep 2019 I am a PhD student at KTH Royal Institute of Technology, Sweden. My main supervisor is Martin Monperrus and I am also co-supervised by Benoit Baudry and Fernanda Madeiral. My main research interests are program analysis, automatic program repair, explainable software bots, and software quality assurance.

Education

PhD in Empirical Software Engineering

2019 - 2024 (expected)
KTH Royal Institute of Technology

In my PhD research, I am mainly focused on software patch understandability. I am trying to use different program analysis methods to exctract information that would be useful for learning-based and template-based techniques for patch explanation.

MSc in Philosophy of Science

2017 - 2019
Sharif University of Technology

I received a Master of Science degree in Philosophy of Science from Sharif University of Technology in 2019. Since the first lecture that I attended in this program, I have become super interested in meta-ethics.

  • Thesis: The Problem of Error Theory about Normative Properties and Its Consequences
  • Supervisor: Ebrahim Azadegan

MSc in Software Engineering

2015 - 2017
Sharif University of Technology

I wrote my Master’s thesis under the supervision of Hassan Mirian. Professor Mirian’s research group mainly works on quality assurance. In addition to writing my Master’s thesis, I also had a fruitful collaboration with my colleagues at Prof. Mirian’s lab, where we published two papers on software testing.

  • Thesis: Generating Mutants from Android Event-Driven Programs
  • Supervisor: Hassan Mirian

BSc in Software Engineering

2011 - 2015
Sharif University of Technology

I worked on my Bachlor’s final project under the supervision of Abbas Heydarnoori.

  • Project title: Design & Implementation of an Android Application, Connecting to Wearable Health Gadgets
  • Supervisor: Abbas Heydarnoori

Diploma in Mathematics and Physics

2004 - 2011
Allameh Helli Highschool

I was very lucky to spend my highschool years at Allameh Helli Highschool, where I found friends and learned things that would shape my enire life.

Experiences

Visiting PhD Student

2024 - 2024
ETH, Zurich

During my visit at ETH, Zurich as a PhD student, I worked on differential testing with LLMs. The visit resulted in submission our paper “Mokav: Execution-driven Differential Testing with LLMs”. I was supervised by professor Zhendong Su during my visit.

Technical Manager

2014 - 2016
Pegah Dade Kavan Sharif, Tehran

Among other occasional duties, I worked as the Technical Manager of TapsellAdNet (a startup that quickly became the leading mobile video advertisement platform in Iran at the time). We used MongoDB, Maven, Redis, Oracle Database, AngularJS, and various Spring projects to develop the system.

Developer - Technical Manager

2013 - 2014
Rahnema Kamyabane Nakhostin, Tehran

I had two roles at different times at Rahnema.

  • Technical manager of Jomlak (an Iranian social network similar to twitter) for three months.
  • Designed and developed a map-based android program for locating restaurants in Tehran. Also, developed the server side application using Django Framework.

Supervision and Teaching

A Comparative Lens on Infrastructure as Code Provisioning Solutions for Microsoft Azure

2024
Master Thesis by Uqqasha Ijaz @ KTH

Effectiveness of Large Language Models to Generate Formally Verified C code

2024
Master Thesis by Merlijn Sevenhuijsen @ KTh

An Empirical Study on Using Codex for Automated Program Repair

2023
Master Thesis by Pengyu Zhao @ KTH

Token Budget Minimisation of Large Language Model based Program Repair

2023
Master Thesis by David Hidvegi @ KTh

A Large-Scale Study of Automatic Program Repair on a Subset of Code4Bench

2023
Master Thesis by Tony Le @ KTH

Teaching Assistant @ KTH

2019 - 2024
DevOps, Intro Programming, Design Patterns, Internet Programming, Programming Paradigms

Teaching Assistant @ Sharif University of Technology

2016 - 2017
Software Testing, Software Engineering

Publications

Here are my publications so far.

  • Mokav- Execution-driven Differential Testing with LLMs
  • Khashayar Etemadi*, Bardia Mohammadi*, Zhendong Su, Martin Monperrus (* indicates same level of contribution)
    arXiv preprint arXiv:2406.10375 (2024)
  • CigaR- Cost-efficient Program Repair with LLMs
  • David Hidvegi*, Khashayar Etemadi*, Sofia Bobadilla, Martin Monperrus (* indicates same level of contribution)
    arXiv preprint arXiv:2402.06598 (2024)
  • Generative AI to Generate Test Data Generators
  • Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage, Yi Liu, Yuxin Liu, Martin Monperrus, Javier Ron, Andre Silva, Deepika Tiwari
    arXiv preprint arXiv:2401.17626 (2024)
  • Augmenting Diffs With Runtime Information
  • Khashayar Etemadi, Aman Sharma, Fernanda Madeiral, Martin Monperrus
    Transactions on Software Engineering (2023)
  • Human, What Must I Tell You?
  • Markus Borg, Emil Aasa, Khashayar Etemadi, Martin Monperrus
    IEEE Software 40 (3), 9-14 (2023)
  • Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations
  • Khashayar Etemadi, Nicolas Harrand, Simon Larsen, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikstrom, and Martin Monperrus
    IEEE Transactions on Dependable and Secure Computing (2022)
  • A Software-Repair Robot Based on Continual Learning
  • Benoit Baudry, Zimin Chen, Khashayar Etemadi, Han Fu, Davide Ginelli, Steve Kommrusch, Martin Monperrus et al
    IEEE Software 38, no. 4 (2021): 28-35
  • Estimating the potential of program repair search spaces with commit analysis
  • Khashayar Etemadi, Niloofar Tarighat, Siddharth Yadav, Matias Martinez, and Martin Monperrus.
    Journal of Systems and Software (2022), 111263 / Journal-First-Track @ ASE2023
  • On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation
  • Khashayar Etemadi, and Martin Monperrus
    Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, pp. 470-475. 2020
  • Incorporating fault-proneness estimations into coverage-based test case prioritization methods
  • Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, and Sajad Jalali
    Information and Software Technology 121 (2020)
  • Program state coverage - a test coverage metric based on executed program states
  • Khashayar Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi
    2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 584-588. 2019
  • Even and Odd Cycles Passing a Given Edge or a Vertex
  • Saieed Akbari, Khashayar Etemadi, Peyman Ezzati, and Mehrdad Ghadiri
    arXiv preprint arXiv:1512.02443 (2015)

    Grants

    LiU Berzelius @ NSC

    2023
    Computational Experiments for Generative AI Based Automatic Program Repair

    Services

    Reviewer

    2023-2024
    Information and Software technology (IST), Automated Software Engineering Journal (ASE), Software Testing, Verification and Reliability (STVR), ICSME (2024)

    Co-reviewer

    2020-2023
    IEEE Transactions on Software Engineering (TSE), Empirical Software Engineering (EMSE), ACM Transactions on Software Engineering and Methodology (TOSEM), ICSE (2025)