Đorđe Žikelić -

Registered user since Wed 17 Jun 2020

Name:Đorđe Žikelić

Country:Singapore

Affiliation:Singapore Management University, Singapore

Personal website: https://djordjezikelic.github.io/

Contributions

2025

ASE

PC Member in Research Papers within the Research Papers-track

PLMW

Organizer in Organizing Committee within the PLMW @ PLDI 2025-track

VMCAI

PC Member in Program Committee within the VMCAI 2025-track

2024

SPLASH

Author of Quantitative Bounds on Resource Usage of Probabilistic Programs within the OOPSLA 2024-track

PLDI

Author of Equivalence and Similarity Refutation for Probabilistic Programs within the PLDI Research Papers-track

2022

PLDI

Author of Differential Cost Analysis with Simultaneous Potentials and Anti-potentials within the PLDI-track

2021

PLDI

Author of Proving Non-termination by Program Reversal within the PLDI-track

Infer

Author of Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis within the Infer 2021-track