BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
B.Scholz H.Jordan P.Schrammel T.Westmann J.Backes S.Bayless B.Cook C.Dodge A.Gacek A.J.Hu T.Kahsai B.Kocik E.Kotelnikov J.Kukovec S.McLaughlin J.R.0004 N.Rungta J.Sizemore M.A.Stalzer P.Srinivasan C.Varming B.Whaley
Talks about:
program (2) analysi (2) synthesi (1) strategi (1) reachabl (1) soufflé (1) network (1) datalog (1) logico (1) analyz (1)

Person: Pavle Subotic

DBLP DBLP: Subotic:Pavle

Contributed to:

VMCAI 20132013
CC 20162016
CAV (2) 20162016
CAV (2) 20192019

Wrote 4 papers:

VMCAI-2013-SchrammelS
Logico-Numerical Max-Strategy Iteration (PS, PS), pp. 414–433.
CC-2016-ScholzJSW #datalog #on the #performance #program analysis #scalability
On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
CAV-2016-JordanSS #named #synthesis
Soufflé: On Synthesis of Program Analyzers (HJ, BS, PS), pp. 422–430.
CAV-2019-BackesBCDGHKKKK #analysis #network #reachability
Reachability Analysis for AWS-Based Networks (JB, SB, BC, CD, AG, AJH, TK, BK, EK, JK, SM, JR0, NR, JS, MAS, PS, PS, CV, BW), pp. 231–241.

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.