People (13 results)
Armin Rigo

Armin Rigo

PyPy.org, Switzerland

… Armin Rigo is one of the founders and lead developers of the PyPy project which began in 2003. He has taken part in all areas, from the Python language definition to the RPython translation framework, including the garbage collector …

Karen Kinnear

Karen Kinnear

Oracle

… 2000. In addition to steering all of the Hotspot JVM Runtime technical …

Erik Pasternak

Erik Pasternak

Google

… block coding for students and beginner coders of all ages. …

Juri Di Rocco

Juri Di Rocco

Università di L'Aquila

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

Işıl Dillig

Işıl Dillig

UT Austin

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

Jiahao Chen

Jiahao Chen

Capital One

… , all from the University of Illinois at Urbana-Champaign. He was previously …

François-René Rideau

François-René Rideau

LegiCash

… will pick the low-hanging fruits first, but as part of a plan to pick 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, USA

… 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

Laurie Hendren

Laurie Hendren

McGill University, Canada

… pieces back them so that all compiler groups can benefit from the work. …

Didier Verna

Didier Verna

EPITA / LRDE

… LaTeX packages and Common Lisp libraries.

All of this is in fact half-true: two …

Andrei Alexandrescu

Andrei Alexandrescu

D Language Foundation

… Romanian-born Computer Scientist Andrei Alexandrescu is an expert in a broad range of topics including software systems design and implementation, programming language design, library design, all aspects of the C++ and D programming …

Saman Amarasinghe

Saman Amarasinghe

MIT

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