Hello, I'm Aryaz Eghbali
PhD Student at University of Stuttgart, Germany
I am a researcher in the Software Lab focused on automating software analysis and development.
Recently, I have been working on a dynamic linter for Python called DyLin, mitigating hallucinations in LLM using iterative grounding, automatically generating tests, a novel metric to evaluate similarity in source code called CrystalBLEU, and the first general-purpose dynamic analysis framework for Python called DynaPyt.
My background includes work in distributed algorithms and distributed systems.
Projects
Aryaz Eghbali, Michael Pradel
DynaPyt is the first general-purpose dynamic analysis framework for Python. It provides analysis hooks of various abstraction levels, ranging from individual operations to all runtime events. Analyses in DynaPyt are also able to modify the runtime values, which allows the possibility of implementing analyses like concolic testing.
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022).
Aryaz Eghbali, Michael Pradel
CrystalBLEU is a novel metric for evaluating similarity between source code. It is based on BLEU (Papineni et. al 2002), with higher distinguishability.
The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022).
Aryaz Eghbali, Philipp Woelfel
Leader election is the problem of electing a leader from a set of processes. We show that there is a lower bound on the number of remote memory references (RMRs) required for abortable leader election in a distributed system.
The 32nd International Symposium on Distributed Computing (DISC 2018).
Experience
PhD in Computer Science
University of Stuttgart
Supervisor: Michael Pradel
Working on AI- and program analysis-based developer tools.
Research Intern
GitHub
Supervisor: Max Schaefer and Frank Tip
Worked on automated test generation
Researcher
ETH Zurich
Supervisor: Roger Wattenhofer
Worked on modeling the hardware usage by Bitcoin miners.
Data Science Intern
Divar.ir
Worked on analyzing in-app chat data to detect spam and offensive messages.
M.Sc. in Computer Science
University of Calgary
Supervisor: Philipp Weolfel
Thesis on proving a lower bound for abortable leader election algorithm.
B.Sc. in Electrical & Computer Engineering
University of Tehran
Talks
ASE tutorial
2023
Dagstuhl Seminar on Programming Language Processing
2023