PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / SOAP 2017 (series) / SOAP 2017 /
A Datalog Model of Must-Alias Analysis
Sun 18 Jun 2017 09:50 - 10:10 at Vertex WS216 - Points-to Analysis
We give a declarative model of a rich family of must-alias analyses. Our emphasis is on careful and compact modeling, while exposing the key points where the algorithm can adjust its inference power. The model is executable, in the Datalog language, and forms the basis of a full-fledged must-alias analysis of Java bytecode in the Doop framework.
| Slides (soap17-must.pdf) | 608KiB |
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:30 | |||
09:30 20mTalk | Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction SOAP DOI File Attached | ||
09:50 20mTalk | A Datalog Model of Must-Alias Analysis SOAP George Balatsouras University of Athens, Kostas Ferles University of Texas at Austin, USA, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI File Attached | ||
10:10 20mTalk | An Efficient Tunable Selective Points-to Analysis for Large Codebases SOAP Behnaz Hassanshahi Oracle Labs, Australia, Raghavendra Kagalavadi Oracle Labs, Australia, Paddy Krishnan , Bernhard Scholz University of Sydney, Australia, Yi Lu Oracle DOI File Attached | ||