Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Toggle navigation
Attending
Venue: Virtual
Registration
Code of Conduct
Program Outline
Sponsorship
Call for Sponsorship
Sponsors and Supports
Program
ISSTA Program
Your Program
Awards
Sat 18 Jul
Sun 19 Jul
Mon 20 Jul
Tue 21 Jul
Wed 22 Jul
Tracks
ISSTA 2020
Technical Papers
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Student Volunteers
Summer School
Keynote
Workshops
WoSCA
TAV-CPS/IoT
Organization
ISSTA 2020 Committees
Organizing Committee
Track Committees
Technical Papers
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
WoSCA
TAV-CPS/IoT
Contributors
People Index
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2020
(
series
) /
Shuvendu K. Lahiri
ISSTA 2020 profile
conf.research.org general profile
ASE 2020 profile
ASE 2024 profile
ESEC/FSE 2018 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
FSE 2024 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ISSTA 2017 profile
ISSTA 2022 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2022 profile
POPL 2025 profile
SPLASH 2018 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user
Name:
Shuvendu K. Lahiri
Affiliation:
Microsoft Research
Contributions
2020
ISSTA
Committee Member in Program Committee within the WoSCA-track
Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers
Show activities from other conferences
Share
ISSTA 2020-profile
View general profile
x
Wed 18 Dec 10:03