conf.researchr.org / Nouraldin Jaber
Registered user since Mon 9 Jan 2017
Name: Nouraldin Jaber
Country: United States
Affiliation: Purdue University, USA
Research interests: Formal Methods, Programming Languages, Parameterized Verification, Parameterized Synthesis.
|PLDI 2019||Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track|
|CC 2017||Author of Data Structure–Aware Heap Partitioning within the Research Papers-track|