SSBSE 2022
Thu 17 - Fri 18 November 2022
Singapore
co-located with
ESEC/FSE 2022
Toggle navigation
Attending
Location: SSBSE 2022
Venue: NUS U-Town
SSBSE Registration
Sponsorship
Program
SSBSE Program
Your Program
Thu 17 Nov
Fri 18 Nov
Tracks
SSBSE 2022
Future of SBSE
Keynotes
Tutorial
Research Papers
Journal First
RENE / NIER
Challenge Track
Organization
SSBSE 2022 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Journal First
RENE / NIER
Challenge Track
Contributors
People Index
Search
Series
Series
SSBSE 2024
SSBSE 2023
SSBSE 2022
SSBSE 2021
Sign in
Sign up
ESEC/FSE 2022
(
series
) /
SSBSE 2022
(
series
) /
Mahesh Viswanathan
ESEC/FSE 2022 profile
conf.research.org general profile
ESEC/FSE 2018 profile
ESEC/FSE 2021 profile
ICER 2021 profile
PLDI 2015 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2018 profile
Not registered as user
Name:
Mahesh Viswanathan
Country:
United States
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2022
ESEC/FSE
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Show activities from other conferences
Share
ESEC/FSE 2022-profile
View general profile
x
Fri 27 Dec 16:00