Network

Sarfraz Khurshid

  • University of Texas at Austin
  • Massachusetts Institute of Technology
  • Department of Electrical, and Computer Engineering
  • Laboratory for Computer Science
  • The University of Texas at Arlington
  • University of Texas at Arlington
  • University of Texas System

External person

Milos Gligoric

  • University of Belgrade
  • University of Illinois Urbana-Champaign
  • University of Texas at Austin
  • Computer Science, University of Illinois at Urbana-Champaign
  • Department of Electrical, and Computer Engineering
  • Department of Computer Science, University of Illinois
  • Siebel Center for Computer Science
  • University of Illinois at Urbana-Champaign
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

August Shi

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • School of Informatics
  • Northern Arizona University
  • University of Illinois at Urbana-Champaign
  • University of Texas at Austin
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Owolabi Legunsen

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Cornell University
  • University of Illinois at Urbana-Champaign
  • University of Illinois
  • National University of Defense Technology
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Vilas Jagannath

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Siebel Center for Computer Science
  • University of Illinois at Urbana-Champaign
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Steven Lauterburg

  • University of Baltimore
  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • Salisbury University
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Wing Lam

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • George Mason University

External person

Danny Dig

  • University of Illinois Urbana-Champaign
  • Oregon State University
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • Oregon State University
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Alex Gyori

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Facebook Inc
  • Meta
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Marcelo D'Amorim

  • Universidade Federal de Pernambuco
  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Centro de Informática
  • Universidade de Pernambuco
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Allison Sullivan

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering
  • North Carolina A&T State University
  • The University of Texas at Arlington
  • University of Texas at Arlington

External person

Brett Daniel

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Qingzhou Luo

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Siebel Center for Computer Science
  • Deparment of Computer Science
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

F. Hariri

  • Université Paris-Sud
  • LAL, Université Paris-Sud and CNRS/IN2P3
  • CNRS
  • Transilvania University of Brasov
  • University Politehnica of Bucharest
  • NOVA University Lisbon
  • West University of Timisoara
  • Dipartimento di Fisica
  • Osaka University
  • National Institute for Nuclear Physics
  • ComUE Paris-Saclay
  • LAL
  • Graduate School of Science
  • Dep Fisica
  • Université Paris-Saclay
  • CERN
  • University of Montreal
  • Institut national de physique nucléaire et de physique des particules
  • CNRS Centre National de la Recherche Scientifique
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Tihomir Gvero

  • Swiss Federal Institute of Technology Lausanne
  • University of Belgrade

External person

Jonathan Bell

  • George Mason University
  • Northeastern University

External person

Ahmed Sobeih

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Anjiang Wei

  • Peking University
  • Stanford University

External person

Rohan Sharma

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Kaiyuan Wang

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering
  • Alphabet Inc.

External person

Lamyaa Eloussi

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Alex Groce

  • Oregon State University
  • School of Electrical Engineering and Computer Science
  • School of Informatics
  • Northern Arizona University
  • Oregon State University

External person

Daniel Jackson

  • Massachusetts Institute of Technology
  • Laboratory for Computer Science

External person

Aleksandar Milenkovic

  • University of Belgrade
  • Faculty of Electrical Engineering
  • Department of Computer Engineering

External person

Michael Hilton

  • Oregon State University
  • Carnegie Mellon University
  • Oregon State University
  • Carnegie Mellon University

External person

Pu Yi

  • Peking University

External person

Adrian Nistor

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Aleksandar Milicevic

  • Massachusetts Institute of Technology
  • University of Belgrade

External person

Stefan Winter

  • Technische Universität Darmstadt
  • Ludwig Maximilian University of Munich

External person

Jelica Protic

  • University of Belgrade
  • Department of Computer Engineering

External person

David Notkin

  • University of Washington
  • Department of Computer Science and Engineering
  • Dept. of Comp. Sci. and Engineering
  • Department of Computer Science and Engineering
  • Department of Computer Science and Engineering
  • Department of Computer Science and Engineering
  • University of Washington

External person

Davor Magdic

  • University of Belgrade
  • Department of Computer Engineering

External person

Igor Tartalja

  • University of Belgrade
  • Department of Computer Engineering

External person

Ralph Johnson

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Dept. of Computer Science
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Mohammad Amin Alipour

  • Oregon State University
  • School of Electrical Engineering and Computer Science
  • Oregon State University

External person

Yun Young Lee

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Gordon Fraser

  • Saarland University
  • University of Sheffield
  • University of Sheffield

External person

Rajesh K. Karmani

  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Veljko Milutinovic

  • University of Belgrade
  • Department of Computer Engineering

External person

Shuai Wang

  • University of Illinois at Urbana-Champaign

External person

Samuel Grayson

  • University of Illinois at Urbana-Champaign
  • Apple
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Jennifer C. Hou

  • ACM
  • University of Illinois Urbana-Champaign
  • IEEE
  • University of IIlinois
  • ACM
  • Computer Science, University of Illinois at Urbana-Champaign
  • Dept. of Computer Science
  • Department of Computer Science, University of Illinois
  • Department of Computer Science
  • Department of Computer Science
  • Department of Compute Science
  • University of Illinois at Urbana-Champaign
  • UIUC
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Zirui Neil Zhao

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Shin Hwei Tan

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • Southern University of Science and Technology
  • University of Illinois

External person

Marcelo Frias

  • Consejo Nacional de Investigaciones Científicas y Técnicas
  • Instituto Tecnológico de Buenos Aires
  • Departamento de Ingeniería Informática
  • Department of Software Engineering

External person

Milica Hadzi-Tanovic

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Timothy Tunnell

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Adhithya Bhaskar

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Houxiang Ji

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Peiyuan Zhao

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Tifany Yung

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Sabrina Souto

  • Universidade Federal de Pernambuco
  • Universidade de Pernambuco

External person

Xinyu Lian

  • University of Illinois at Urbana-Champaign

External person

Faustino Aguilar

  • University of Panama

External person

Martin Rinard

  • Massachusetts Institute of Technology
  • Stata Center

External person

Khalique Ahmed

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Reed Milewicz

  • University of Alabama at Birmingham
  • University of Alabama at Birmingham
  • Sandia National Laboratories

External person

Junaid Haroon Siddiqui

  • University of Texas at Austin

External person

Wolfram Schulte

  • Microsoft USA

External person

Reed Oei

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Wenxi Wang

  • University of Texas at Austin

External person

Farnaz Jahanbakhsh

  • University of Illinois Urbana-Champaign
  • Massachusetts Institute of Technology
  • University of Illinois at Urbana-Champaign

External person

Saikat Dutta

  • University of Illinois Urbana-Champaign
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • Cornell University
  • University of Illinois Urbana-Champaign

External person

Nazareno Aguirre

  • Consejo Nacional de Investigaciones Científicas y Técnicas
  • Universidad Nacional de Rio Cuarto
  • Departamento de Computación
  • Department of Computer Science

External person

Lu Zhang

  • Ministry of Education, China
  • Peking University
  • School of Electronics Engineering and Computer Science
  • Key Laboratory of High Confidence Software Technologies
  • CAS - Institute of Software
  • School of Electronics Engineering and Computer Science
  • Key Laboratory of High Confidence Software Technologies
  • Institute of Software
  • Ministry of Education
  • Institute of Software

External person

Don Batory

  • University of Texas at Austin
  • University of Texas System

External person

Xinyue Xu

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Adam Morrison

  • Technion-Israel Institute of Technology
  • University of Illinois Urbana-Champaign
  • Tel Aviv University
  • University of Illinois at Urbana-Champaign

External person

Radha Venkatagiri

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Emily M. Hastings

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Wisconsin-Eau Claire

External person

Jianjun Zhao

  • Shanghai Jiao Tong University
  • Shanghai Key Laboratory of Scalable Computing and Systems
  • Department of Computer Science and Engineering
  • Department of Computer Science and Engineering
  • Department of Computer Science
  • Kyushu University

External person

Chandrasekhar Boyapati

  • Massachusetts Institute of Technology
  • Alphabet Inc.
  • Laboratory for Computer Science

External person

Runxiang Cheng

  • University of Illinois at Urbana-Champaign

External person

Chaoqiang Zhang

  • Oregon State University
  • School of Electrical Engineering and Computer Science
  • Oregon State University

External person

Dongyun Jin

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Samsung
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Abdulrahman Mahmoud

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • Harvard University
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Valeria Bengolea

  • Consejo Nacional de Investigaciones Científicas y Técnicas
  • Universidad Nacional de Rio Cuarto
  • Departamento de Computación
  • Department of Computer Science

External person

Wajih Ul Hassan

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Virginia
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Mauro Pezzè

  • Università della Svizzera italiana
  • Faculty of Informatics

External person

Ilya Shlyakhter

  • Massachusetts Institute of Technology

External person

Brandon Carlson

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Guowei Yang

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering
  • Texas State University
  • University of Queensland

External person

Chunqiu Steven Xia

  • University of Illinois at Urbana-Champaign

External person

Can Comertoglu

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Kai Huang

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Mrigank Pawagi

  • Indian Institute of Science

External person

Manos Koukoutos

  • Swiss Federal Institute of Technology Lausanne

External person

Stas Negara

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Jane Cleland-Huang

  • University of Notre Dame
  • University of Notre Dame

External person

Ben Lambeth

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Meiyappan Nagappan

  • University of Waterloo

External person

Hao He

  • Peking University

External person

Alperen Yildiz

  • Sabanci University

External person

Hao Zhong

  • Shanghai Jiao Tong University
  • CAS - Institute of Software
  • Laboratory for Internet Software Technologies
  • Shanghai Key Laboratory of Scalable Computing and Systems
  • School of Electronics Engineering and Computer Science
  • Peking University
  • Ministry of Education, China

External person

Vedant Rathi

  • Adlai E. Stevenson High School

External person

Nicholas Nelson

  • Oregon State University
  • Oregon State University

External person

Rupak Majumdar

  • Max Planck Institute for Informatics
  • Max Planck Institute for Software Systems

External person

Yafeng Lu

  • University of Texas at Dallas
  • Department of Computer Science

External person

Jabari Walker

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

d'Amorim Marcelo d'Amorim

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Jiayi Yang

  • University of Texas at Austin

External person

Qingyu Li

  • University of Illinois at Urbana-Champaign

External person

Viktor Kuncak

  • Swiss Federal Institute of Technology Lausanne

External person

Lin Tan

  • University of Waterloo
  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois
  • Purdue University

External person

Stephen Oney

  • Carnegie Mellon University
  • Human-Computer Interaction Institute
  • Carnegie Mellon University

External person

Jurand Nogiec

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Nader Al Awar

  • American University of Beirut

External person

Michael Pradel

  • Swiss Federal Institute of Technology Zurich
  • Computer Science Department
  • University of Stuttgart

External person

Samuel N. Kamin

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Coputer Science Dept.
  • Uniersity of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Ronghui Qi

  • Wuhan University

External person

Yanjie Jiang

  • Beijing Institute of Technology

External person

Angello Astorga

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • Engineering, IL, USA
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Yilong Li

  • University of Illinois Urbana-Champaign
  • Runtime Verification, Inc
  • Runtime Verification Inc.
  • University of Illinois at Urbana-Champaign
  • Runtime Verification, Inc.

External person

A. Prakash

  • University of Michigan, Ann Arbor
  • Department of Electrical Engineering and Computer Science
  • University of Michigan Healthcare System

External person

Md Wahiduzzaman

  • BRAC University

External person

Matt Kirn

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Yu Lin

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Razieh Nokhbeh Zaeem

  • University of Texas at Austin

External person

Yuting Chen

  • Shanghai Jiao Tong University
  • Shanghai Key Laboratory of Scalable Computing and Systems

External person

Ivan Todorovic

  • University of Belgrade
  • Faculty of Electrical Engineering

External person

Damion Mitchell

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Jiyong Yu

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • UIUC

External person

Mehzabin Haque

  • University of Dhaka

External person

Johnston Jiaa

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Thomas R. Gross

  • Computer Science Department
  • Swiss Federal Institute of Technology Zurich

External person

Hao Wang

  • University of California at Berkeley

External person

Sugam Adhikari

  • Islington College

External person

Munawar Hafiz

  • Auburn University
  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Licheng Lin

  • Zhejiang University

External person

Rados Radoicic

  • Massachusetts Institute of Technology
  • Department of Mathematics
  • Department of Mathematics

External person

Lintao Zhang

  • Microsoft USA

External person

Mary Jean Harrold

  • Georgia Institute of Technology

External person

Andrey Zaytsev

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Koushik Sen

  • University of California, Berkeley
  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of California at Berkeley
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Sam Harwell

  • University of Texas at Austin

External person

Peter C. Mehlitz

  • NASA Ames Research Center

External person

Josie Holmes

  • School of Informatics
  • Northern Arizona University

External person

Suleman Mahmood

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Michael Felderer

  • University of Innsbruck
  • Institute of Computer Science

External person

Kely Garcia

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Mengjia Yan

  • University of Illinois Urbana-Champaign
  • Massachusetts Institute of Technology
  • University of Illinois at Urbana-Champaign
  • University of Illinois

External person

Paulo Barros

  • Universidade Federal de Pernambuco

External person

Xinyu Chen

  • University of Illinois at Urbana-Champaign

External person

Divya Gopinath

  • University of Texas at Austin
  • NASA Ames Research Center

External person

Rohit Sai Naidu

  • University of California at Berkeley

External person

Takashi Kitamura

  • National Institute of Advanced Industrial Science and Technology
  • Information Technology Research Institute

External person

Jeremias Parladorio

  • Universidad Nacional de Rio Cuarto

External person

Hayes Converse

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering

External person

Xuyan Cheng

  • Dickinson College, Pittsburgh

External person

Corina Pasareanu

  • Kestrel Technology
  • NASA Ames Research Center
  • Carnegie Mellon University

External person

Kunal Taneja

  • North Carolina State University
  • Accenture
  • Department of Computer Science
  • Dept. of Computer Science

External person

Xiaoming Li

  • University of Delaware
  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Uma Pal

  • University of Massachusetts

External person

Suleman Mahmood

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Rudolf Ramler

  • Johannes Kepler University Linz
  • Software Competence Center Hagenberg

External person

Shadi Abdul Khalek

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering

External person

Lu Liu

  • University of Washington

External person

Asif Zubayer Palak

  • BRAC University

External person

Andrew Kuznetsov

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Ryed Badr

  • University of Illinois at Urbana-Champaign

External person

Yang Chen

  • University of Illinois at Urbana-Champaign

External person

Christine Pisarczyk

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Zhengxi Li

  • University of Illinois Urbana-Champaign
  • University of Illinois
  • University of Illinois at Urbana-Champaign

External person

Minghui Zhou

  • Peking University

External person

Albatool A. Alamri

  • University of Illinois Urbana-Champaign
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Jeddah
  • University of Illinois at Urbana-Champaign

External person

Peilun Zhang

  • University of Illinois at Urbana-Champaign

External person

Samira Tasharofi

  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Daryl Shannon

  • University of Texas at Austin
  • Department of Electrical, and Computer Engineering

External person

Pu Luke Yi

  • Stanford University

External person

Muhammad Salman Abid

  • Cornell University

External person

Kevin Leach

  • University of Michigan, Ann Arbor

External person

Chang Hwan Peter Kim

  • University of Texas at Austin

External person

Andrea Arcuri

  • Simula Research Laboratory

External person

Rahul Gopinath

  • Oregon State University
  • School of Electrical Engineering and Computer Science
  • Oregon State University

External person

Axel Legay

  • Institut national de recherche en informatique et en automatique
  • Institut de recherche en informatique et systèmes aléatoires
  • University of Illinois Urbana-Champaign
  • Institut national des sciences appliquées de Rennes
  • ComUE Paris-Saclay
  • CNRS
  • Université Paris-Saclay
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Hao Wang

  • Peking University

External person

Michael D. Ernst

  • Massachusetts Institute of Technology
  • University of Washington

External person

Nemanja Petrovic

  • Alphabet Inc.
  • University of Illinois Urbana-Champaign
  • Siemens
  • Google Inc
  • University of Illinois at Urbana-Champaign
  • University of Belgrade
  • University of Illinois at Urbana-Champaign

External person

Sarfraz Khurshid Don Batory

  • University of Texas at Austin

External person

Gary T. Leavens

  • University of Central Florida

External person

Que Liu

  • University of Shanghai for Science and Technology

External person

Y. Zhang

  • University of Illinois Urbana-Champaign
  • Runtime Verification, Inc
  • University of Illinois at Urbana-Champaign
  • Runtime Verification, Inc.

External person

Farnaz Behrang

  • Auburn University

External person

Choiyin Li

  • Po Leung Kuk Ngan Po Ling College

External person

Suhabe Bugrara

  • Massachusetts Institute of Technology

External person

Konstantine Arkoudas

  • Massachusetts Institute of Technology
  • Amazon.com, Inc.

External person

Jovan Djordjevic

  • University of Belgrade
  • Faculty of Electrical Engineering

External person

Vimuth Fernando

  • University of Illinois Urbana-Champaign
  • University of Illinois at Urbana-Champaign

External person

Shreyas Kale

  • North Carolina State University
  • Department of Computer Science

External person

Jeffrey Overbey

  • Auburn University
  • University of Illinois Urbana-Champaign
  • Department of Computer Science and Software Engineering
  • University of Illinois at Urbana-Champaign
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Bassem Elkarablieh

  • University of Texas at Austin

External person

Mirco Dotta

  • Swiss Federal Institute of Technology Lausanne
  • I and C School
  • I and C

External person

Carlos Pacheco

  • Massachusetts Institute of Technology

External person

Mehdi Mirzaaghaei

  • Università della Svizzera italiana
  • Faculty of Informatics

External person

Shan Lu

  • University of Wisconsin-Madison
  • University of Illinois Urbana-Champaign
  • Department of Computer Science, University of Illinois
  • Computer Science, University of Illinois at Urbana-Champaign
  • The University of Chicago
  • University of Illinois at Urbana-Champaign
  • University of Wisconsin-Madison
  • The University of Chicago
  • University of Wisconsin-Madison
  • University of Illinois
  • University of Illinois at Urbana-Champaign
  • University of Illinois Urbana-Champaign

External person

Ziyi Lin

  • Shanghai Jiao Tong University
  • School of Software

External person

Linhai Song

  • University of Wisconsin-Madison
  • Pennsylvania State University
  • University of Wisconsin-Madison
  • University of Wisconsin-Madison

External person

Chao Wang

  • Peking University

External person