committee/

INSTITUTION

Veridise Inc

The people and conference roles recorded under this affiliation.

1 indexed profiles2 conferences3 service records

Historical source listings, not a staff directory or a claim about current employment. Aliases are grouped under this institution, and joint affiliations contribute once to each identified institution. Original affiliation wording is shown below; missing affiliations are not inferred.

People & conference service

Newest editions first
Sourced committee appointments listed under Veridise Inc
Person Conference Committee & role Affiliation as listed Evidence
Raghav MalikIdentity not yet linkedPLDI 2026MemberStudent Research Competition Program CommitteeVeridise Inc.Conference website ↗Checked 2026-09-13
Kostas FerlesPOPL 2024Web Co-ChairOrganizing Committee POPL 2024Veridise Inc.Conference website ↗Checked 2026-09-13
Kostas FerlesPOPL 2023Web Co-ChairOrganizing Committee POPL 2023Veridise Inc.Conference website ↗Checked 2026-09-13