BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chakarov:Aleksandar

Contributed to:

SAS 20142014
CAV 20132013
ICSE 20132013
PLDI 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.