Login / Signup
Omkar Tuppe
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Symbolic Execution
Reverse Engineering
Wordnet
Timed Automata
Top Venues
CoRR
Proc. ACM Program. Lang.
TACAS (1)
</>
Publications
</>
Shankaranarayanan Krishna
,
Aniket Lal
,
Andreas Pavlogiannis
,
Omkar Tuppe
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Shankara Narayanan Krishna
,
Ashutosh Gupta
,
Omkar Tuppe
Optimal Stateless Model Checking for Causal Consistency.
TACAS (1)
(2023)
Shankaranarayanan Krishna
,
Aniket Lal
,
Andreas Pavlogiannis
,
Omkar Tuppe
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.
CoRR
(2023)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Ashutosh Gupta
,
Shankara Narayanan Krishna
,
Omkar Tuppe
Optimal SMC for Transactional Programs.
CoRR
(2022)