Dr. Hernán Ponce de León
Building Carl-Wery-Str. 22, Room 1725 | |
+49 89 60047334 | |
hernan.ponce@unibw.de |
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