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: Beschastnikh:Ivan
Contributed to:
2014
2014
20142013
2011
2011
200820152018
2019Wrote 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.