SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
People (12 results)
Brooklyn Zelenka

Brooklyn Zelenka

… Brooklyn is the cofounder and CTO at Fission, where her team is building tools that puts local-first principles into the hands of all developers. She founded the Vancouver Functional Programming Meetup, and is the author of several Elixir …

Juri Di Rocco

Juri Di Rocco

University of L'Aquila

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

Işıl Dillig

Işıl Dillig

University of Texas at Austin

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

Dimi Racordon

Dimi Racordon

Northeastern University, USA

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

Jordi Cabot

Jordi Cabot

Luxembourg Institute of Science and Technology

… the rigorous use of software models and engineering principles in all software … all the tools at our disposal to build Better Software Faster. …

Ankush Desai

Ankush Desai

Amazon Web Services

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

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

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

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

Emina Torlak

Emina Torlak

Amazon Web Services, USA

… is a solver-aided language that powers verification and synthesis tools for all

Christian Wimmer

Christian Wimmer

Oracle Labs

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

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 …

Dave Abrahams

Dave Abrahams

Adobe

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