Not registered as user yet

Name: Alexandre Bartel

Affiliation: Technical University Darmstadt

POPL 2016 Activities

• Author of Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis within the Research Papers-track in POPL 2016
• Show activities from other conferences