Write a Blog >>
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 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:30: SOAP - Points-to Analysis at Vertex WS216
SOAP-2017-papers09:30 - 09:50
Jihyeok ParkKAIST, South Korea, Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung RyuKAIST
DOI File Attached
SOAP-2017-papers09:50 - 10:10
George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI File Attached
SOAP-2017-papers10:10 - 10:30
Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle
DOI File Attached