Nouraldin Jaber -

Registered user since Mon 9 Jan 2017

Name:Nouraldin Jaber

Country:United States

Affiliation:Purdue University

Research interests:Formal Methods, Programming Languages, Parameterized Verification, Parameterized Synthesis.

Contributions

2023

SPLASH

Author of Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions within the OOPSLA-track

2022

SPLASH

Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

Presenter of Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning within the Tutorials-track

2021

GPCE

Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track

SPLASH

Author of QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems within the OOPSLA-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI-track

2019

PLDI

Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2017

CC

Author of Data Structure–Aware Heap Partitioning within the Research Papers-track