Thomas Wies

Damien Zufferey

IST Austria
Massachusetts Institute of Technology
Institute of Science and Technology Austria
IST
IST
IST
SonarSource S.A.

External person

12 shared research output

Andreas Podelski

University of Freiburg
Max Planck Institute for Informatics

External person

9 shared research output

Martin Schäf

University of Freiburg
United Nations
SRI International
United Nations University
SRI International
United Nations University Institute in Macau

External person

9 shared research output

Daniel Schwartz-Narbonne

New York University
Amazon
Amazon.com, Inc.

External person

6 shared research output

Thomas A. Henzinger

IST Austria
Institute of Science and Technology Austria
IST
IST
IST

External person

6 shared research output

Viktor Kuncak

EPFL School of Computer and Communication Sciences
Swiss Federal Institute of Technology Lausanne
Massachusetts Institute of Technology
EPFL

External person

6 shared research output

Ruzica Piskac

Yale University
EPFL School of Computer and Communication Sciences
Swiss Federal Institute of Technology Lausanne
MPI-SWS
Max Planck Institute for Software Systems

External person

6 shared research output

Zvonimir Pavlinovic

New York University
Alphabet Inc.

External person

6 shared research output

Siddharth Krishna

New York University
Microsoft USA

External person

5 shared research output

Yan Shvartzshnaider

New York University
Princeton University
York University Toronto

External person

4 shared research output

Roland Meyer

Technical University of Braunschweig

External person

4 shared research output

Vasu Singh

IST Austria
Institute of Science and Technology Austria
IST
IST

External person

4 shared research output

Nisarg Patel

New York University

External person

4 shared research output

Tim King

New York University
Verimag
Verimag

External person

4 shared research output

Sebastian Wolff

New York University

External person

4 shared research output

Nishant Totla

Indian Institute of Technology Bombay
University of California at Berkeley

External person

3 shared research output

Anmol V. Singh

Institute of Science and Technology Austria
IST
IST

External person

3 shared research output

Martin Kölbl

University of Konstanz

External person

3 shared research output

Stefan Leue

University of Konstanz

External person

3 shared research output

Ananth Balashankar

New York University
New York University-Tandon School of Engineering
NYU CS department

External person

3 shared research output

Martin Rinard

Massachusetts Institute of Technology

External person

2 shared research output

Prateek Mittal

Princeton University

External person

2 shared research output

K. Rustan M Leino

Microsoft USA

External person

2 shared research output

Chanseok Oh

New York University

External person

2 shared research output

Evren Ermis

University of Freiburg

External person

2 shared research output

Elaine Li

New York University

External person

2 shared research output

Kshitij Bansal

New York University
Department of Computer Science
NYU CS department

External person

2 shared research output

Marco Muñiz

University of Freiburg

External person

2 shared research output

Jochen Hoenicke

University of Freiburg

External person

2 shared research output

Felix Stutz

Max Planck Institute for Software Systems

External person

2 shared research output

Wei Wang

New York University

External person

2 shared research output

Aahlad Puli

New York University
Computer Science
New York University-Tandon School of Engineering
NYU CS department

External person

1 shared research output

Preston Moore

New York University

External person

1 shared research output

Juan P. Galeotti

Universidad de Buenos Aires

External person

1 shared research output

Philipp Rümmer

Uppsala University

External person

1 shared research output

Zachary Destefano

New York University
NYU CS department

External person

1 shared research output

Devora Chait-Roth

New York University
NYU CS department

External person

1 shared research output

Schrasing Tong

Princeton University

External person

1 shared research output

Anton Opaterny

Technical University of Braunschweig

External person

1 shared research output

Justin Thaler

Georgetown
Georgetown University

External person

1 shared research output

Dino Distefano

Queen Mary

External person

1 shared research output

Andreas Holzer

University of Toronto

External person

1 shared research output

Riad S. Wahby

New York University
Stanford University
Stanford
Carnegie Mellon University

External person

1 shared research output

D Jovanovic

External person

1 shared research output

Mark Goldstein

New York University

External person

1 shared research output

Andrey Rybalchenko

MPI-SWS
Max Planck Institute for Software Systems

External person

1 shared research output

Shuvendu K. Lahiri

Microsoft USA

External person

1 shared research output

Karen Zee

Massachusetts Institute of Technology

External person

1 shared research output

Andrei Paskevich

Université Paris-Saclay

External person

1 shared research output

Mark Santolucito

External person

1 shared research output

Bernd Finkbeiner

Helmholtz Center for Information Security

External person

1 shared research output

Abhi Shelat

University of Virginia
Northeastern

External person

1 shared research output

Jan W. Voung

University of California at San Diego

External person

1 shared research output

Philippe Suter

Swiss Federal Institute of Technology Lausanne

External person

1 shared research output

Rupak Majumdar

MPI-SWS
Max Planck Institute for Software Systems

External person

1 shared research output

A. Perotte

Columbia University
Department of Biomedical Informatics

External person

1 shared research output

Jürgen Christ

University of Freiburg

External person

1 shared research output

Gudmund Grov

Heriot-Watt University

External person

1 shared research output

Kunming Jiang

New York University
NYU CS department

External person

1 shared research output

David Mohaisen

University of Central Florida

External person

1 shared research output

Hongseok Yang

Queen Mary

External person

1 shared research output

P Rummer

External person

1 shared research output

Ye Ji

New York University

External person

1 shared research output

Eric Koskinen

New York University

External person

1 shared research output

Alexander J. Summers

Swiss Federal Institute of Technology Zurich

External person

1 shared research output

Cristiano Calcagno

Imperial College London

External person

1 shared research output

Lakshminarayanan

New York University

External person

1 shared research output

Josh Berdine

Microsoft USA

External person

1 shared research output

Peter W. O'Hearn

Queen Mary

External person

1 shared research output

Patrick Lam

Massachusetts Institute of Technology

External person

1 shared research output

Andrew Reynolds

University of Iowa
Swiss Federal Institute of Technology Lausanne
Dept. of Computer Science

External person

1 shared research output

Dejan Jovanović

SRI International
New York University

External person

1 shared research output

Byron Cook

University of Cambridge
Microsoft USA
Microsoft Research Asia

External person

1 shared research output

Xintian Han

New York University

External person

1 shared research output

M Schaf

External person

1 shared research output

T King

External person

1 shared research output

Andrew J. Blumberg

University of Texas at Austin

External person

1 shared research output

Mohamed Nassim Seghir

University of Freiburg

External person

1 shared research output

Paula Kift

New York University

External person

1 shared research output

Georg Weissenbacher

TU Wien

External person

1 shared research output

Shahram Esmaeilsabzali

University of Waterloo

External person

1 shared research output

Charles Bouillaguet

École normale supérieure Paris-Saclay
ComUE Paris-Saclay
Université Paris-Saclay

External person

1 shared research output

Yusen Su

New York University
University of Waterloo

External person

1 shared research output

Shaz Qadeer

Microsoft USA

External person

1 shared research output

Mitra Tabaei Befrouei

TU Wien

External person

1 shared research output

Thomas Wies

Network