Author of the publication

APISan: Sanitizing API Usages through Semantic Cross-Checking.

, , , , , and . USENIX Security Symposium, page 363-378. USENIX Association, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Maximum Satisfiability in Software Analysis: Applications and Techniques., , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 68-94. Springer, (2017)Syntax-guided synthesis of Datalog programs., , , , , and . ESEC/SIGSOFT FSE, page 515-527. ACM, (2018)Synthesizing Datalog Programs using Numerical Relaxation., , , and . IJCAI, page 6117-6124. ijcai.org, (2019)Continuously reasoning about programs using differential Bayesian inference., , , and . PLDI, page 561-575. ACM, (2019)Learning Loop Invariants for Program Verification., , , , and . NeurIPS, page 7762-7773. (2018)On Incremental Core-Guided MaxSAT Solving., , , , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 473-482. Springer, (2016)Learning a Meta-Solver for Syntax-Guided Program Synthesis., , , , and . ICLR (Poster), OpenReview.net, (2019)A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems., , , and . JCP, 9 (6): 1436-1445 (2014)APISan: Sanitizing API Usages through Semantic Cross-Checking., , , , , and . USENIX Security Symposium, page 363-378. USENIX Association, (2016)Effective interactive resolution of static analysis alarms., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 57:1-57:30 (2017)