Vidhya Tekken Valapil

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 14

Top Topics

Modulo Theories

Precision Recall

Distributed Systems

Top Venues

Distributed Comput.

Publications

Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Comput. 34 (5) (2021)
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). CoRR (2020)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. 33 (5) (2020)
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS (2020)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. SIROCCO (2018)
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV (2017)
Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving Stabilization while Practically Bounding State Space. CoRR (2017)
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Monitoring Partially Synchronous Distributed Systems using SMT Solvers. CoRR (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Derivation of Network Reprogramming Protocol with Z3. CoRR (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving Stabilization While Practically Bounding State Space. EDCC (2017)
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. CoRR (2016)
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. RV (2016)