George Kastrinis -

Registered user since Wed 1 Apr 2015

Name:George Kastrinis

Country:Greece

Affiliation:University of Athens

Personal website:http://gkastrinis.github.io/

Research interests:Program Analysis, Compilers

Contributions

SOAP 2017	Author of A Datalog Model of Must-Alias Analysis within the SOAP-track
ECOOP 2018	Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the ECOOP Research Papers-track Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track
ISSTA 2018	Author of Static Analysis of Java Dynamic Proxies within the ISSTA Technical Papers-track Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track
ECOOP and ISSTA 2018	Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the Posters-track
PLDI 2015	Author of Doop Framework 101 within the Tutorials-track
SPLASH 2013	Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track