Stanly Samuel -

Registered user since Wed 7 Apr 2021

Name:Stanly Samuel

Country:India

Affiliation:Indian Institute of Science

Research interests:Program Verification, Synthesis

Contributions

2025

SERI

Author of Symbolic fixpoint algorithms for logical LTL games within the SERI 2025-track

2023

ASE

Author of Symbolic Fixpoint Algorithms for Logical LTL Games within the Research Papers-track

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2022

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2021

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS-track

ESEC/FSE

Author of GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces within the Demonstrations-track