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)