Travelled to:1 × Germany
1 × Switzerland
Collaborated with:M.T.Vechev L.Vanbever M.T.Dashti D.A.Basin W.Jin A.Orso S.Sinha A.El-Hassany Rumen Paletov V.Raychev T.Gehr S.Misailovic Pascal Wiesmann
Talks about:network (2) infer (2) probabilist (1) synthesi (1) configur (1) coverag (1) bayonet (1) analysi (1) improv (1) hijack (1)
Person: Petar Tsankov
DBLP: Tsankov:Petar
Contributed to:
2013
2011
2017
2018Wrote 5 papers:
- ISSTA-2013-TsankovDB #testing
- Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
- ICST-2011-TsankovJOS #dynamic analysis #execution
- Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
- CAV-2017-El-HassanyTVV #synthesis
- Network-Wide Configuration Synthesis (AEH, PT, LV, MTV), pp. 261–281.
- PLDI-2018-GehrMTVWV #named #network #probability
- Bayonet: probabilistic inference for networks (TG, SM, PT, LV, PW, MTV), pp. 586–602.
- PLDI-2018-PaletovTRV #api
- Inferring crypto API rules from code changes (RP, PT, VR, MTV), pp. 450–464.