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

Source URL: www.ieee-security.org

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

Source URL: www.doc.ic.ac.uk

• Computer network security
• Cyberwarfare
• Computing
• Security engineering
• Honeypot
• Computer security
• Virtual machine
• VMware
• Internet privacy
• Honeyd
• Client honeypot

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

Source URL: web.eecs.umich.edu

• Computing
• Technology
• California
• EMC Corporation
• VMware
• Embedded system
• Synopsys
• USENIX Annual Technical Conference
• Debugging
• Intel
• Software Guard Extensions
• Edouard Bugnion

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

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

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

Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Cloud clients
• Personal computing
• Android
• Benchmark
• Google Play
• HERE WeGo
• IOS
• BlackBerry Priv

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Source URL: precision.moscito.org

• Coding theory
• Error detection and correction
• ReedSolomon error correction
• NC
• Erasure code
• RAID
• Discrete mathematics
• Mathematics
• Theoretical computer science

Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Computer science
• Formal methods
• Computing
• Logic in computer science
• European Joint Conferences on Theory and Practice of Software
• Computer Aided Verification
• Software verification
• Formal verification
• Edmund M. Clarke
• Satisfiability modulo theories
• Verification

Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

Source URL: www.tik.ee.ethz.ch

• Music
• Computer music
• Learning
• Artificial intelligence
• Unsupervised learning
• Machine learning
• Cognitive science
• Generative adversarial network
• Generative model
• Artificial neural network
• Synthesizer
• Algorithmic composition

Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Concurrent computing
• Computing
• Parallel computing
• Central processing unit
• Flynn's taxonomy
• Microprocessors
• Superscalar processor
• SIMD
• Vector processor
• Scalar processor
• Automatic vectorization