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

SAS 2021 Committee Member in Program Committee within the SAS-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-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
VMCAI 2017 Committee Member in Program committee
POPL 2017 Committee Member in Program Committee within the POPL-track
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