Service
Reviewer in Conferences:
- PC Member, European Conf. on Object-Oriented Programming (ECOOP’21)
- PC Member, Int. Conf. on Managed Programming Languages & Runtimes (MPLR’20)
- ERC Member, Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’20)
- PC Member, Int. Conf. on Computer Aided Verification (CAV’19)
- AEC Member, Int. Conf. on The European COnference On Programming languages (ECOOP’19)
- PC Member, Int. Conf. on Embedded Software (EMSOFT) Work In Progress, (EMSOFT’18)
- AEC Member, Int. Conf. on Computer Aided Verification (CAV’18)
Reviewer for journals:
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2018
- Special Issue on the Asia-Pacific Software Engineering Conference (APSEC), 2016
- Formal Methods in System Design (FMSD), 2014
- Software Testing, Verification and Reliability (STVR), 2013
Subreviewer in Conferences:
- Int. Conf. on Runtime Verification (RV’15)
- European Conf. on Computer Systems (EuroSys’15)
- Int. Symp. on Formal Methods (FM’15)
- Int. Conf. on Runtime Verification (RV’14)
- Int. Conf. on Software Engineering and Formal Methods (SEFM’14)
- India Software Engineering Conference (ISEC’14)
- Int. Conf. on Runtime verification (RV’13)