3 papers
cs.SE2026
Natural Language-Focused Software Engineering via Code-Documentation Equivalence
Aryaz Eghbali, Zhongxin Liu, Michael Pradel
Source code documentation is an integral part of software development and maintenance, as it helps in understanding the code and facilitates communication among developers. However…
cs.CR2025
PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
Deniz Simsek, Aryaz Eghbali, Michael Pradel
Security vulnerabilities in software packages are a significant concern for developers and users alike. Patching these vulnerabilities in a timely manner is crucial to restoring th…
cs.DC2018
An Almost Tight RMR Lower Bound for Abortable Test-And-Set
Aryaz Eghbali, Philipp Woelfel
We prove a lower bound of Omega(log n/loglog n) for the remote memory reference (RMR) complexity of abortable test-and-set (leader election) in the cache-coherent (CC) and the dist…