Registered user since Mon 12 Mar 2018

Name: Flemming Nielson

Affiliation: DTU, Denmark

All Activities

• Committee Member in Steering Committee for ETAPS 2019
• Co-chair in Program Committee for POST 2019
• Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017