From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation

Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)

Source URL: ecee.colorado.edu

Verified Security for Browser Extensions Arjun Guha Matthew Fredrikson Brown University

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

LIVELINET: A Multimodal Deep Recurrent Neural Network to Predict Liveliness in Educational Videos Arjun Sharma Xerox Research Centre India

Source URL: www.educationaldatamining.org

Modelling Transitions to High-VRE Systems Colin Silvester, Christopher Bates and Arjun Chohan, Uniper Uniper – A Company with a Century of Experience in Generation and Energy Markets

Source URL: regridintegrationindia.org

Verifiable Differential Privacy Arjun Narayan? Ariel Feldman‡ ? University

Source URL: arifeldman.com

• Cryptography
• Information privacy
• Data security
• Terms of service
• Parallel computing
• Differential Privacy
• Privacy
• Internet privacy
• Computing
• Database
• MapReduce
• Data

Energy Management in Mobile Devices with the Cinder Operating System Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazi`eres Stanford University Nickolai Zeldovich MIT CSAIL

Source URL: hci.stanford.edu

Improved Bounds for Bipartite Matching on Surfaces Samir Datta1 , Arjun Gopalan2 , Raghav Kulkarni3 , and Raghunath Tewari4 1 2

Source URL: www.cse.iitk.ac.in

Teaching Garbage Collection without Implementing Compilers or Interpreters Gregory H. Cooper Arjun Guha

Source URL: www.eecs.northwestern.edu

• Computing
• Software engineering
• Computer programming
• Memory management
• Programming languages
• Cross-platform software
• Garbage collection
• Software bugs
• Data types
• Garbage
• Go
• Heap

BEYOND A BAND-AID: A DISCUSSION PAPER ON PROTECTING WORKERS AND COMMUNITIES IN THE GREAT ENERGY TRANSITION1 ARJUN MAKHIJANI, PH.D. A Joint Project of:

Source URL: labor4sustainability.org