SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
People (9 results)
Dimi Racordon

Dimi Racordon

EPFL, LAMP

… a handful of open source software libraries. Most (if not all) of my work is available …

Işıl Dillig

Işıl Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Pavel Panchekha

Pavel Panchekha

University of Utah

… programming language techniques to meet challenges from all areas of computer science. …

Jérôme Gorin

Jérôme Gorin

GeNumEr

… or the Website Auditing Tool. All these projects are available on github though …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Marco T Morazan

Marco T Morazan

Seton Hall University

… Dr. Marco T. Morazán joined Seton Hall in 1999. He did his undergraduate studies at Rutgers University and his graduate work at the City University of New York. At Seton Hall he teaches at all levels of the Computer Science curriculum …

Ankush Desai

Ankush Desai

Amazon Web Services

… (model checking), fuzzing, model based testing, and runtime verification across all

Christian Wimmer

Christian Wimmer

Amazon Web Services

… Labs](http://labs.oracle.com/) to a supported Oracle product. He believes that all

Riccardo Mazza

Riccardo Mazza

APM Saluzzo

… in Singapore**, where it was showcased in all three formats: **paper presentation …