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