<--- Back to Details
First PageDocument Content
Computer science / Computing / Electrical engineering / Symposium on Principles of Programming Languages / Programming Language Design and Implementation / Association for Computing Machinery / Vienna Summer of Logic / Theoretical computer science / ACM SIGACT / Helmut Veith / International Colloquium on Automata /  Languages and Programming / International Conference on Functional Programming
Date: 2018-01-11 14:37:00
Computer science
Computing
Electrical engineering
Symposium on Principles of Programming Languages
Programming Language Design and Implementation
Association for Computing Machinery
Vienna Summer of Logic
Theoretical computer science
ACM SIGACT
Helmut Veith
International Colloquium on Automata
Languages and Programming
International Conference on Functional Programming

Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Add to Reading List

Source URL: madhu.cs.illinois.edu

Download Document from Source Website

File Size: 343,02 KB

Share Document on Facebook

Similar Documents

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

DocID: 1xVSf - View Document

Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

DocID: 1xVMN - View Document

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

DocID: 1xVL2 - View Document

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

DocID: 1xVs1 - View Document

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

DocID: 1xVnP - View Document