DPA 2019 Contributors - DPA 2019

Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States

co-located with PLDI 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (11)

A Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Datafun: A higher-order functional Datalog
C Mistral ContrastinContrastin, Mistral University of Cambridge, UKUnited Kingdom Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
D Sandeep DasguptaDasgupta, Sandeep University of Illinois at Urbana-Champaign, USAUnited States The K Framework
G Thomas GilrayGilray, Thomas The University of Alabama at BirminghamUnited States Tunable abstract abstract machines
Neville GrechGrech, Neville University of Athens Session Chair of Session I (part of DPA) Session Chair of Session IV (part of DPA) Gigahorse: Thorough Smart Contract Decompilation and Security Analyses Committee Member in Organizing Committee within the DPA-track
H Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
K Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India Fast and Precise Disassembly using Datalog
M Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in Organizing Committee within the DPA-track
R Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania, USA Precise Program Reasoning using Probabilistic Methods
Christoph ReichenbachReichenbach, Christoph Lund University MetaDL and Beyond: Custom Program Analyses in Datalog
S Max SchaeferSchaefer, Max GitHubUnited Kingdom Session Chair of Session III (part of DPA) Session Chair of Session II (part of DPA) Variant analysis with QL Committee Member in Organizing Committee within the DPA-track