Travelled to:1 × Germany
1 × Russia
2 × USA
Collaborated with:S.Sankaranarayanan S.Gulwani P.Givens T.Yeh
Talks about:program (4) probabilist (3) analysi (2) infer (2) martingal (1) techniqu (1) properti (1) interfac (1) grammat (1) vision (1)
Person: Aleksandar Chakarov
DBLP: Chakarov:Aleksandar
Contributed to:
2014
2013
2013
2013Wrote 4 papers:
- SAS-2014-ChakarovS #fixpoint #invariant #probability
- Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
- CAV-2013-ChakarovS #probability #program analysis
- Probabilistic Program Analysis with Martingales (AC, SS), pp. 511–526.
- ICSE-2013-GivensCSY #grammar inference #user interface
- Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
- PLDI-2013-SankaranarayananCG #probability #source code #static analysis
- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.