Microsoft Word - Document1

Source URL: champaign.ohioboe.com

Microsoft Word - Document1

Source URL: champaign.ohioboe.com

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.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Source URL: mitras.ece.illinois.edu

• Mathematical analysis
• Mathematics
• Symbol
• Continuous function
• Kazhdan's property
• Limit of a function
• Ergodic theory
• Hopf decomposition
• Ergodic flow

Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Source URL: kumarde.com

• Linguistics
• Phonetics
• Phonology
• Human communication
• Human behavior
• Language
• Computer accessibility
• Speech recognition
• Amazon Alexa
• Phoneme
• Amazon Echo
• Alexa

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

Source URL: madhu.cs.illinois.edu

• 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

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996

Source URL: webfoot.com

• Web browsers
• System software
• Software
• Tab
• Mylyn
• Computing

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

ELECTION NOTICE FOR USE WITH THE FEDERAL WRITE-IN ABSENTEE BALLOT (FWAB) R.CIssued by the Champaign County Board of Elections BOE to check one:

Source URL: champaign.ohioboe.com

• Geography of the United States
• United States
• Champaign
• Illinois
• Urbana
• Illinois
• Illinois
• Township