Dr. Hernán Ponce de León

Dr. Hernán Ponce de León

Research Interest

I work in the intersection of programming languages, security and formal methods. I'm particularly interested in building tools for automatic software verification.

I'm the maintainer and main developer of the Dat3M tool suite, a collection of tools to analyse concurrent programs running on weak memory models such x86-TSO, ARM or the Linux kernel.

You can find more information about myself in my personal website.

Service

I am / have been serving on the program committees of the following conferences and workshops:

S&P 2021: Shadow Program Committee

PLDI 2021: Artifact Evaluation Committee

SVCOMP 2021: Program Committee / Jury

OOPSLA 2020: Artifact Evaluation Committee

PLDI 2020: Artifact Evaluation Committee

SVCOMP 2020: Program Committee / Jury

POPL 2020: Artifact Evaluation Committee