• Sign in
  • Sign up
conf.researchr.org / Panagiotis Manolios
  • 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
xMon 11 Dec 06:05
using conf.researchr.org (v1.62.0)
Support page
Sign Up