Not registered as user yet

Name: Mounir Assaf

Affiliation: Stevens Institute of Technology

POPL 2017 Activities

• Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track in POPL 2017
• Show activities from other conferences