PROOF-RELEVANT LOGICAL RELATIONS FOR NAME GENERATION NICK BENTON, MARTIN HOFMANN, AND VIVEK NIGAM Microsoft Research, Cambridge, UK e-mail address: LMU, Munich, Germany e-mail address: .

Source URL: www.tcs.ifi.lmu.de

Scaling HabaneroUPC++ on Heterogeneous Supercomputers Vivek Kumar1, Max Grossman1, Hongzhang Shan2, and Vivek Sarkar1 1 Rice University, 2 Lawrence Berkeley National Laboratory

Source URL: hpcl.seas.gwu.edu

Snaphacked: How Snapchat Leaked 4.6 Million Users’ Information Vivek Jain Snapchacked: How Snapchat

Source URL: www.vivekja.in

Using Deep Convolutional Networks for Occlusion Edge Detection in RGB-D Frames Soumik Sarkar∗ , Vivek Venugopalan† , Kishore Reddy† , Michael Giering† , Julian Ryde† and Navdeep Jaitly‡ ∗ Iowa State Univer

Source URL: www.ieee-hpec.org

Polyhedral Transformations of Explicitly Parallel Programs Prasanth Chatarasi, Jun Shirako, and Vivek Sarkar Department of Computer Science, Rice University {prasanth,shirako,vsarkar}@rice.edu

Source URL: impact.gforge.inria.fr

PROCEEDINGS OF SPIE Wavelets XII Dimitri Van De Ville Vivek K. Goyal Manos Papadakis

Source URL: www.waveletseries.org

Linear Scan Register Allocation MASSIMILIANO POLETTO Laboratory for Computer Science, MIT and VIVEK SARKAR IBM Thomas J. Watson Research Center

Source URL: web.cs.ucla.edu

• Graph theory
• Compiler optimizations
• Graph coloring
• Register allocation
• Optimizing compiler
• Static single assignment form
• Topological graph theory
• Book:Graph Theory

The Grass is Indeed Greener in India and China for Returnee Entrepreneurs America’s New Immigrant Entrepreneurs, Part VI Authors: Vivek Wadhwa

Source URL: www.soc.duke.edu

Asynchronous event-driven programming in P Shaz Qadeer Microsoft Research Collaborators: Ankush Desai Vivek Gupta

Source URL: zvonimir.info

CVS Best Practices Vivek Venugopalan Revision History Revision 0.7

Source URL: ldp.rtin.bz