Vision: The Case for Context-Aware Selective Resume Eric J. Wright Eyal de Lara Ashvin Goel

Source URL: www.eecg.toronto.edu

Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL

Source URL: lara.epfl.ch

Programming with Numerical Uncertainties THÈSE NOPRÉSENTÉE LE 28 NOVEMBRE 2014 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS

Source URL: lara.epfl.ch

Memory-Efficient Garbled Circuit Generation for Mobile Devices Benjamin Mood, Lara Letaw, and Kevin Butler Department of Compter & Information Science University of Oregon, Eugene, ORUSA {bmood,zephron,butler}@cs.

Source URL: ix.cs.uoregon.edu

SISPAD 2012, September 5-7, 2012, Denver, CO, USA Design and Simulation of a Pressure Sensor Based on Optical Waveguides for Applications in Hydraulic Fracturing Roberto Ambrosio, Gustavo Lara, Abimael Jimenez,

Source URL: in4.iue.tuwien.ac.at

DITT BARN HAR RÄTT TILL FINSKA! D Det går att lära sig många språk – och det lönar sig

Source URL: www.sverigefinne.nu

Modular Data Structure Verification

Source URL: lara.epfl.ch

On Template-Based Inference of Rich Invariants in Leon EPFL Technical Report EPFL-REPORT, November 2013 Ravichandhran Madhavan Viktor Kuncak

Source URL: lara.epfl.ch

Avoiding fractional powers over the natural numbers Lara Pudwell1 1 Valparaiso 2 University Eric Rowland2

Source URL: thales.math.uqam.ca

Exploiting Locality of Interest in Online Social Networks Mike P. Wittie, Veljko Pejovic, Lara Deek, Kevin C. Almeroth, Ben Y. Zhao Department of Computer Science University of California, Santa Barbara {mwittie, veljko,

Source URL: www.cs.ucsb.edu

• Computing
• Network performance
• Computer networking
• Internet privacy
• Distributed data storage
• Telecommunications engineering
• Transmission Control Protocol
• Content delivery network
• Facebook
• Internet
• Server
• DNS hijacking