Akash Lal -

Registered user since Mon 23 Feb 2015

Name:Akash Lal

Affiliation:Microsoft Research

Personal website:http://research.microsoft.com/en-us/people/akashl/

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