Travelled to:1 × USA
1 × United Kingdom
Collaborated with:M.Viswanathan U.Mathur M.V.0001
Talks about:race (4) probabilist (2) automata (2) predict (2) happen (2) detect (2) dynam (2) ltl (2) determinist (1) compress (1)
Person: Dileep Kini
DBLP: Kini:Dileep
Contributed to:
2015
2014
2018
2018
2017Wrote 5 papers:
- TACAS-2015-KiniV #automaton #ltl #probability
- Limit Deterministic and Probabilistic Automata for LTL ∖ GU (DK, MV), pp. 628–642.
- VMCAI-2014-KiniV #automaton #ltl #probability #safety #specification
- Probabilistic Automata for Safety LTL Specifications (DK, MV), pp. 118–136.
- ESEC-FSE-2018-KiniM0 #concurrent #detection
- Data race detection on compressed traces (DK, UM, MV0), pp. 26–37.
- OOPSLA-2018-MathurK0 #concurrent #detection #power of #predict #what
- What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection (UM, DK, MV0), p. 29.
- PLDI-2017-KiniM0 #linear #predict
- Dynamic race prediction in linear time (DK, UM, MV0), pp. 157–170.