I am an Assistant Professor and Delft Technology Fellow in the Software Engineering Research Group (SERG) at the Delft University of Technology (TU Delft). Before that, I was a postdoc researcher at the Max Planck Institute for Software Systems (MPI-SWS) in the Rigorous Software Engineering Group, working with Rupak Majumdar. I got my PhD from Koç University under the supervision of Serdar Tasiran.
My research interests focus on model checking, software testing and debugging of concurrent programs and distributed systems. You can visit Software Reliability for Concurrent and Distributed Systems research line for more information.
News:
Hiring a PHD student (apply until October 16th). More information on the application site.
Looking forward to give a keynote talk at SEFM’23 - The 21st International Conference on Software Engineering and Formal Methods. SEFM’23 will be held in 6-10 November 2023, organised by Eindhoven University of Technology, The Netherlands.
I’ll attend Dagstuhl Seminar 23441: Ensuring the Reliability and Robustness of Database Management Systems on October 29-November 03, 2023.
I’m coorganizing the ISSTA’24 Doctoral Symposium together with Alessandra Gorla. More information will be available soon!
Happy to share that I’ve received Stellar Academic Research Grant for my research proposal on “Feedback-guided fault injection testing of blockchain systems”. Thanks to Stellar Development Foundation for supporting my research!
It was great to give a tutorial at the First Summer School on Distributed and Replicated Environments (DARE’23) (11-15 September), and Second Summer School on Security Testing and Verification (11-13 September), held in Brussels, Belgium.
Excited to share that I’ve received an Amazon Research Award for my proposal “Coverage-directed randomized testing of distributed systems”. More about the program on the Amazon Science website.
Congratulations to my Honour’s Programme students Levin Winter and Florena Buse for receiving Ripple’s Bug Bounty Award, working on our randomized testing method, ByzzFuzz for testing blockchain implementations. Very well done with the detection and source code fix of the bug! Levin Winter’s contribution to the bug fix is acknowledged in the release notes of XRP Ledger version 1.10.0.
The deadline for scholarship applications for Verification Mentoring Workshop (VMW)’23, we co-organize together with Ankush Desai, Eric Koskinen, Marijana Lazic, and Matteo Sammartino, is extended to May 5th! VMW’23 will be co-located with the Int. Conf. on Computer Aided Verification (CAV)’23 in Paris, France, in July 17-22, 2023.
[Apr’23] The call for papers for the ACM SIGPLAN Erlang Workshop’23, we co-chair together with Kiko Fernandez-Reyes, is open. Submissions related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent, and distributed programming are welcome and encouraged!
[March’23] Attended the Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems on March 12-15, 2023.
[Feb’23] Our paper Randomized Testing of Byzantine Fault Tolerant Algorithms with Levin N. Winter, Florena Buse, Daan de Graaf, and Klaus von Gleissenthall has been accepted to OOPSLA’23! (pdf)
I serve in the PCs of VMCAI’23, MET’23, CAV’23, OOPSLA’23, and VSTTE’23.
[Jan’23] Our paper “Probabilistic Concurrency Testing for Weak Memory Programs” with Mingyu Gao and Soham Chakraborty appears at ASPLOS’23! (pdf)
[Jan’23] Invited talk at the SUMO (SUpervision of large MOdular and distributed systems) team seminar at Inria Rennes Bretagne-Atlantique research center and IRISA lab on January 12, 2023.
[Dec’22] Our paper “Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm” with Martijn van Meerten and Annibale Panichella appears at ICSE-SEIP’23.
[Dec’22] Attended the Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together on December 4-9, 2022.
[Dec’22] Happy to interview with the I/O Magazine, ICT Platform Nederland about “Challenges of Concurrency”.
[Nov’22] Organized the third edition of the Alice and Eve Workshop for celebrating women in computing at TU Delft on November 18, 2022.
[Sep’22] PC-chaired the Erlang Workshop’22 that will be co-located with ICFP’22 together with Stavros Aronis.
[Jun’22] Chaired the Expert discussion track at the ECOOP’22 together with Manu Sridharan.
Served in the PCs of ESOP’22 and ICST’22, and ASE 2022 NIER.
Attended Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems on November 1-4, 2021.
Invited talk at the FMT (Formal Methods and Tools) Group at the University of Twente, on July 1st, 2021.
Invited talk at the SEN Symposium 2021 (National Symposium Software Engineering in The Netherlands) on February 18th, 2021.
I am excited to start working as an Assistant Professor at the TU Delft Software Engineering Research Group (SERG) as of September’20.
I am happy to receive the Delft Technology Fellowship award for outstanding female academic researchers.