Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Panagiotis Manolios
conf.researchr.org general profile
NASA Formal Methods profile
PLDI 2018 profile
PLDI 2019 profile
POPL 2016 profile
Not registered as user yet
Name:
Panagiotis Manolios
Affiliation:
Northeastern University
Contributions
NASA Formal Methods
Committee Member in Program Committee within the NFM 2023-track
ARRAY 2019
Author of Records with Rank Polymorphism within the ARRAY 2019-track
ARRAY 2018
Author of Rank Polymorphism Viewed as a Constraint Problem within the ARRAY 2018-track
CPP 2016
Committee Member in Program Committee within the CPP-track
Share
x
Sat 25 Mar 14:48