THEORY OF COMPUTER SCIENCE

Exact Learning from Membership Queries
Hassan Abassie

Refining Specifications of Responses in Hierarchical Reactive Systems

Cynthia Disenfeld

Deterministic Compression with Uncertain Priors
Elad Haramaty

Finiteness Conditions for Graph Algebras
Nadia Labai

Tighter Bounds for Makespan Minimization on Unrelated Machines
Yael Mordechai

Closure Properties of Automata over Infinite Alphabets
Liat Peterfreund

Parameterized Algorithms for k-Internal Out-Branching
Meirav Zehavi


DATA CENTERS AND CLOUDS

Subverting BIND's SRTT Algorithm: Derandomizing NS Selection

Roee Hay & Yonatan Kalechstain


SYSTEMS AND APPLICATIONS

A Memory Swapper for Virtualized Environments
Nadav Amit

Drop the Anchor: Lightweight Memory Management for Non-Blocking Data Structures
Anastasia Braginsky

TinyTable - A Highly Efficient Self Adjusting Approximate Set Membership Data Structure
Gil Einziger

Shared Values Are Overestimated!
Gil Einziger, Benny Fellman & Yaron Kassner

MOLStream: A Modular Rapid Development and Evaluation Framework for Live P2P Streaming
Alex Libov

I/O Cores Manager for Virtual Environments
Eyal Moscovici

Condi
Michal Romano & Anton Wolkov

Hash vs. Radix
Idan Yaniv


CRYPTOLOGY AND SECURITY

Exploiting Social Navigation
Meital Ben-Sinai and Shir Yadid

Acoustic Cryptanalysis
Daniel Genkin

Efficient Probabilistic Checking With Zero-Knowledge
Mor Weiss


MACHINE LEARNING

Cross-Domain learning using Transfer Forces
Noam Segev


INTELLIGENT SYSTEMS AND SCIENTIFIC COMPUTATION

Real Time 3D Surface Reconstruction

Vered Cohen & Nurit Schwevsky

Poisson Inpainting
Raja Giryes

Single Image Super-resolution Using Learned Dictionaries
Esben Plenge

Single Image Interpolation via Adaptive Non-Local Sparsity-Based Modeling
Yaniv Romano and Matan Protter

Image Denoising Through Multiscale Dictionaries
Jeremias Sulam

A Multilevel Approach for Sparse Inverse Covariance Estimation
Eran Treister and Aviva Herman

Sparse Inverse Covariance Estimation with a Million Variables
Javier Turek and Eran Treister


BIOINFORMATICS

Mutual Enrichment in Ranked Lists and the Statistical Assessment of Position Weight Matrix Motifs
Limor Leibovich & Zohar Yakhini


GRAPHICS

Operator Representations in Geometry Processing
Omri Azencot