Akash Lal

Registered user since Mon 23 Feb 2015

Name:Akash Lal
Affiliation:Microsoft Research
Research interests:Programming Languages, Concurrency, Verification

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
VMCAI 2023 Committee Member in Program Committee within the VMCAI 2023-track
ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
ASE 2021 Author of Nekara: Generalized Concurrency Testing within the Artifact Evaluation-track
Author of Nekara: Generalized Concurrency Testing within the Research Papers-track
SAS 2021 Committee Member in Program Committee within the SAS-track
SPLASH 2021 Author of MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels within the OOPSLA-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
LCTES 2021 Author of Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices within the LCTES 2021-track
SPLASH 2020 Author of Learning-Based Controlled Concurrency Testing within the OOPSLA-track
Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track
Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track
Committee Member in Program Committee within the Research Papers-track
PLDI 2019 Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track
POPL 2017 Committee Member in Program Committee within the POPL-track
VMCAI 2017 Committee Member in Program committee
PLDI 2016 Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
PLDI 2015 Author of Asynchronous Programming, Analysis and Testing with State Machines within the Research Papers-track
Author of DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs within the Research Papers-track