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 × Canada
1 × Hungary
1 × India
1 × Portugal
1 × Sweden
2 × USA
Collaborated with:
Y.Brun M.D.Ernst C.Lemieux A.Krishnamurthy D.Rozenberg J.Abrahamson T.Kriplean D.W.McDonald D.Park L.Glendenning T.E.Anderson T.B.Le X.D.Le D.Lo R.Sukkerd J.Wuttke S.Zhang S.Schneider M.Sloan E.L.A.Baniassad R.Holmes G.Kiczales Meghan Allen T.Ohmann M.Herzberg S.Fiss A.Halbert M.Palyart A.Fedorova C.Mustard J.Rubin A.Wong S.Miucin L.Ye
Talks about:
model (5) infer (5) behavior (4) specif (4) miner (2) test (2) ltl (2) log (2) understand (1) instrument (1)

Person: Ivan Beschastnikh

DBLP DBLP: Beschastnikh:Ivan

Contributed to:

ASE 20142014
ICSE 20142014
VISSOFT 20142014
ICSE 20132013
ESEC/FSE 20112011
SOSP 20112011
CSCW 20082008
ASE 20152015
ESEC/FSE 20182018
Onward! 20192019

Wrote 14 papers:

ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management
Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
VISSOFT-2014-RozenbergB #visualisation
Templated Visualization of Object State with Vebugger (DR, IB), pp. 107–111.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification
Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSE-2013-SukkerdBWZB #comprehension
Understanding regression failures through test-passing and test-failing code changes (RS, IB, JW, SZ, YB), pp. 1177–1180.
ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named
Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
SOSP-2011-GlendenningBKA #consistency #scalability
Scalable consistency in Scatter (LG, IB, AK, TEA), pp. 15–28.
CSCW-2008-KripleanBM #wiki
Articulations of wikiwork: uncovering valued work in wikipedia through barnstars (TK, IB, DWM), pp. 47–56.
ASE-2015-LeLLB #specification
Synergizing Specification Miners through Model Fissions and Fusions (T) (TDBL, XBDL, DL, IB), pp. 115–125.
ASE-2015-LemieuxB #behaviour #ltl #mining #specification #using
Investigating Program Behavior Using the Texada LTL Specifications Miner (CL, IB), pp. 870–875.
ASE-2015-LemieuxPB #ltl #mining #specification
General LTL Specification Mining (T) (CL, DP, IB), pp. 81–92.
ESEC-FSE-2018-FedorovaMBRWMY #comprehension #performance
Performance comprehension at WiredTiger (AF, CM, IB, JR, AW, SM, LY), pp. 83–94.
Onward-2019-BaniassadBHKA #design #learning
Learning to listen for design (ELAB, IB, RH, GK, MA), pp. 179–186.

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.