SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
People (17 results)
Michael B. James

Michael B. James

University of California at San Diego

… to help other engineers and make programming easier for all. …

Dimitri Racordon

Dimitri Racordon

University of Geneva, Switzerland

… libraries. Most (if not all) of of his work is available on my GitHub profile. …

Juri Di Rocco

Juri Di Rocco

University of L'Aquila

… research team with Alfonso Pierantonio and Davide Di Ruscio. I am interested in all

Isil Dillig

Isil Dillig

University of Texas at Austin

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

Hasan Yasar

Hasan Yasar

Carnegie Mellon University

… as senior security engineer, software engineer, software architect and manager in all

Lidia Fuentes

Lidia Fuentes

Universidad de Málaga, Spain

… Prof. Lidia Fuentes received her MsC degree and a PhD in Computer Science, from the Universidad de Málaga. She has done all her teaching work at the Department Lenguajes y Ciencias de la Computación since 1993, being the first female Full …

Kia Rahmani

Kia Rahmani

Purdue University

… broadly, I am interested in all formal methods for modeling and analysis …

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

… automation, given a program and a requirement, automatically prove or disprove that all

Christian Wimmer

Christian Wimmer

Oracle Labs

… /) to a supported Oracle product. He believes that all languages should be equally fast …

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… vision is a future of verification that is accessible to all programmers, not just …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… 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

Michel Steuwer

Michel Steuwer

University of Edinburgh

… from the University of Münster in Germany.

I am interested in all aspects …

Dave Abrahams

Dave Abrahams

Adobe

… speaker at conferences all over the world. His mission is to fix software …

Didier Verna

Didier Verna

EPITA / LRDE

… ”). He is the author of several LaTeX packages and Common Lisp libraries.

All

Danny Dig

Danny Dig

University of Colorado Boulder, USA

… ), and served as a member of 35 program committees for all top conferences in his area …

Saman Amarasinghe

Saman Amarasinghe

Massachusetts Institute of Technology

… languages and compilers, all of which combine language design and sophisticated …

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

… by thousands of students from all over the world. …