EDIC Published theses

2024

Automated Formal Verification of Software Network Functions

S. V. Pirelli / G. Candea (Dir.)  

Lausanne, EPFL, 2024. 

Formal Foundations of Capture Tracking

A. S. Boruch-Gruszecki / M. Odersky (Dir.)  

Lausanne, EPFL, 2024. 

Understanding and Enhancing Digital Wellbeing Dimensions: Empirical Studies on Smartphone Usage Patterns and Recommendations of Micro-Informative Content

R. Islambouli / D. Gillet; S. Ingram (Dir.)  

Lausanne, EPFL, 2024. 

To Infinity, and Beyond (Coverage)

A. Hazimeh / M. J. Payer (Dir.)  

Lausanne, EPFL, 2024. 

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

A. Koloskova / M. Jaggi; S. U. Stich (Dir.)  

Lausanne, EPFL, 2024. 

Safe Deep Neural Networks

K. M. Matoba / P. Vandergheynst; F. Fleuret (Dir.)  

Lausanne, EPFL, 2024. 

Fast and Future: Towards Efficient Forecasting in Video Semantic Segmentation

E. P. G. Courdier / F. Fleuret; A. Roshan Zamir (Dir.)  

Lausanne, EPFL, 2024. 

Aggregating Spatial and Photometric Context for Photometric Stereo

D. Honzátko / P. Fua; E. Türetken (Dir.)  

Lausanne, EPFL, 2024. 

Towards General-Purpose Decentralized Computing with Permissionless Extensibility

E. C. Alp / B. A. Ford (Dir.)  

Lausanne, EPFL, 2024. 

Side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures

A. Genet / S. Vaudenay; A. Lenstra (Dir.)  

Lausanne, EPFL, 2024. 

Planetary-Scale Byzantine Fault Tolerance

M. Monti / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2024. 

Incorporating Projective Geometry into Deep Learning

M. J. Tyszkiewicz / P. Fua (Dir.)  

Lausanne, EPFL, 2024. 

Random matrix methods for high-dimensional machine learning models

A. P. M. Bodin / N. Macris (Dir.)  

Lausanne, EPFL, 2024. 

2023

Topologically Better Delineation of Curvilinear Structures

D. Oner / P. Fua (Dir.)  

Lausanne, EPFL, 2023. 

Making Computer Vision Models Robust and Adaptive

S. T. Yeo / A. Roshan Zamir; P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2023. 

Supervised learning and inference of spiking neural networks with temporal coding

A. Stanojevic / W. Gerstner; S. A. Wozniak (Dir.)  

Lausanne, EPFL, 2023. 

Distributed Optimization with Byzantine Robustness Guarantees

L. He / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Worst-Case Delay Analysis of Time-Sensitive Networks with Network Calculus

S. M. Tabatabaee / J-Y. Le Boudec; P. Thiran (Dir.)  

Lausanne, EPFL, 2023. 

Deep Learning for 3D Surface Modelling and Reconstruction

B. A. R. Guillard / P. Fua (Dir.)  

Lausanne, EPFL, 2023. 

Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines

S. Chatel / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Improving Object Detection under Domain Shifts

Vidit / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Security in the Presence of Quantum Adversaries

K. Barooti / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2023. 

Bridging the gap between theoretical and practical privacy technologies for at-risk populations

K. Edalatnejadkhamene / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2023. 

Stochastic Models for Comparison-based Search

D. Chumbalov / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2023. 

Challenging the Assumptions: Rethinking Privacy, Bias, and Security in Machine Learning

B. Kulynych / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2023. 

How Words Move Hearts: Interpretable Machine Learning Models of Bias, Engagement, and Influence in Socio-Political Systems

A. Suresh / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2023. 

Reliable Microsecond-Scale Distributed Computing

A. Xygkis / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2023. 

Time vs. Truth: Age-Distortion Tradeoffs and Strategies for Distributed Inference

Y. Inan / E. Telatar (Dir.)  

Lausanne, EPFL, 2023. 

Empathetic Conversational Agents for Distress Support

K. A. Welivita / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2023. 

Multiparty Homomorphic Encryption: from Theory to Practice

C. V. Mouchet / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Green Cryptography and Other Optimisations

A. F. Caforio / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2023. 

Beyond worst-case analysis, with or without predictions

A. Maggiori / R. Urbanke; O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Towards Novel Evaluation Methods for Social Dialog Systems

E. Svikhnushina / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2023. 

Latency Interfaces for Systems Code

R. R. Iyer / G. Candea; A. Argyraki (Dir.)  

Lausanne, EPFL, 2023. 

Interactive-time Exploration, Querying, and Analysis of Large High-dimensional Datasets

S. Basil John / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

S. Kashani / J. R. Larus (Dir.)  

Lausanne, EPFL, 2023. 

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Z. Tian / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

Acceleration of graph pattern mining and applications to financial crime

J. Blanusa / P. Ienne; K. Atasu (Dir.)  

Lausanne, EPFL, 2023. 

Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAs

O. Glamocanin / B. Falsafi; M. Stojilovic (Dir.)  

Lausanne, EPFL, 2023. 

Universal and adaptive methods for robust stochastic optimization

A. Kavis / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Rebooting Virtual Memory with Midgard

S. Gupta / B. Falsafi; A. Bhattacharjee (Dir.)  

Lausanne, EPFL, 2023. 

Multi-agent Learning with Privacy Guarantees

E. Rizk / A. H. Sayed (Dir.)  

Lausanne, EPFL, 2023. 

Robust Training and Verification of Deep Neural Networks

F. R. Latorre Gomez / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Fairness and Explainability in Clustering Problems

X. Jia / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Modeling Structured Data in Attention-based Models

A. Mohammadshahi / K. Aberer; J. Henderson (Dir.)  

Lausanne, EPFL, 2023. 

Detecting Anomalies and Obstacles in Road Scenes

K. M. Lis / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Dense Image-based Predictions for Comics Analysis

D. Bhattacharjee / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

A Theory of Finite-Width Neural Networks: Generalization, Scaling Laws, and the Loss Landscape

B. Simsek / C. Hongler; W. Gerstner (Dir.)  

Lausanne, EPFL, 2023. 

Automating the Design of Programmable Interconnect for Reconfigurable Architectures

S. Nikolic / P. Ienne (Dir.)  

Lausanne, EPFL, 2023. 

Deep Learning Generalization with Limited and Noisy Labels

M. Forouzesh / P. Thiran (Dir.)  

Lausanne, EPFL, 2023. 

Privacy-preserving federated neural network training and inference

S. Sav / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Approximation Algorithms for Allocation and Network Design

E. M. F. Bamas / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Decision Procedures for Power Structures

R. Raya / V. Kuncak (Dir.)  

Lausanne, EPFL, 2023. 

Computational Models of Mutual Understanding for Human-Robot Collaborative Learning

U. Norman / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2023. 

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

P. Sioulas / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2023. 

Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns

C. Basescu / B. A. Ford (Dir.)  

Lausanne, EPFL, 2023. 

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

M. F. Sahin / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Communication-efficient distributed training of machine learning models

T. Vogels / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Improving Generalization of Pretrained Language Models

R. Karimi Mahabadi / V. Cevher; J. Henderson (Dir.)  

Lausanne, EPFL, 2023. 

A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive Networks

E. Mohammadpour / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2023. 

Transformer Models for Vision

J-B. F. M. J. Cordonnier / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Automated Human Motion Analysis and Synthesis

S. Kiciroglu / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Hardware-Software Co-design for Improved Resource Utilization in DNN Accelerators

A. C. Yüzügüler / P. Frossard (Dir.)  

Lausanne, EPFL, 2023. 

Type-Preserving Compilation of Class-Based Languages

G. A. F. Martres / M. Odersky (Dir.)  

Lausanne, EPFL, 2023. 

Scalable Metaprogramming in Scala 3

N. A. Stucki / M. Odersky (Dir.)  

Lausanne, EPFL, 2023. 

Squall: Scalable Real-time Analytics using Efficient, Skew-resilient Join Operators

A. Vitorović / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

2022

Improving the Training of Compact Neural Networks for Visual Recognition

S. Guo / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2022. 

Visual Scene Understanding for Transportation: From Detecting Objects To Relationships

G. Adaimi / A. M. Alahi (Dir.)  

Lausanne, EPFL, 2022. 

Unsupervised Visual Entity Abstraction towards 2D and 3D Compositional Models

B. Besbinar / P. Frossard (Dir.)  

Lausanne, EPFL, 2022. 

Towards Empathetic Open-Domain Chatbots

Y. Xie / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2022. 

Efficient and Accurate Physically-Based Differentiable Rendering

D. A. Vicini / W. A. Jakob (Dir.)  

Lausanne, EPFL, 2022. 

Differentiable Physically Based Rendering: Algorithms, Systems and Applications

M. E. Nimier-David / W. A. Jakob (Dir.)  

Lausanne, EPFL, 2022. 

Sketches, metrics and fast algorithms

N. Nouri / M. Kapralov (Dir.)  

Lausanne, EPFL, 2022. 

Streaming and Matching Problems with Submodular Functions

P. Garg / O. N. A. Svensson; M. Kapralov (Dir.)  

Lausanne, EPFL, 2022. 

Predicting in Uncertain Environments: Methods for Robust Machine Learning

P. T. Y. Rolland / V. Cevher (Dir.)  

Lausanne, EPFL, 2022. 

Protecting privacy through metadata analysis

S. D. Siby / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2022. 

The Role of Compromised Accounts in Social Media Manipulation

T. Elmas / K. Aberer (Dir.)  

Lausanne, EPFL, 2022. 

Computational Approaches for Studying Dietary Behaviors with Digital Traces

K. Gligoric / R. West (Dir.)  

Lausanne, EPFL, 2022. 

Attacks on some post-quantum cryptographic protocols: The case of the Legendre PRF and SIKE

N. Kaluderovic / S. Vaudenay; A. Lenstra (Dir.)  

Lausanne, EPFL, 2022. 

Space-Efficient Representations of Graphs

J. Tardos / M. Kapralov (Dir.)  

Lausanne, EPFL, 2022. 

Hardware and Software Support for RPC-Centric Server Architecture

M. J. Sutherland / B. Falsafi; A. Daglis (Dir.)  

Lausanne, EPFL, 2022. 

Toward Internet Performance Transparency

G. Fragkouli / A. Argyraki; B. A. Ford (Dir.)  

Lausanne, EPFL, 2022. 

Efficient Analytical Query Processing on CPU-GPU Hardware Platforms

P. Chrysogelos / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2022. 

Dynamic Personalized Ranking

J. Rappaz / K. Aberer (Dir.)  

Lausanne, EPFL, 2022. 

Towards Verifiable, Generalizable and Efficient Robust Deep Neural Networks.

C. Liu / S. Süsstrunk; M. Salzmann (Dir.)  

Lausanne, EPFL, 2022. 

Understanding Deep Neural Networks using Adversarial Attacks

K. K. Nakka / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2022. 

Practical Compilation of Quantum Programs

B. Schmitt Antunes / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2022. 

Detecting Latent Training Needs Using Large Datasets

R. Yazdanian / P. Dillenbourg; R. West (Dir.)  

Lausanne, EPFL, 2022. 

Scaling Language Features for Program Verification

G. S. Schmid / V. Kuncak (Dir.)  

Lausanne, EPFL, 2022. 

Algorithms for Efficient and Robust Distributed Deep Learning

T. Lin / M. Jaggi; B. Falsafi (Dir.)  

Lausanne, EPFL, 2022. 

The Role of Adaptivity in Source Identification with Time Queries

G. Odor / P. Thiran (Dir.)  

Lausanne, EPFL, 2022. 

System Support for Robust Distributed Learning

A. H. A. Guirguis / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2022. 

Combating Online Scientific Misinformation

P. Smeros / K. Aberer; C. Castillo (Dir.)  

Lausanne, EPFL, 2022. 

Object Priors for Volumetric Image Segmentation

P. U. Wickramasinghe / P. Fua (Dir.)  

Lausanne, EPFL, 2022. 

How We Use Wikipedia: Studying Readers’ Behavior with Navigation Traces

T. Piccardi / R. West (Dir.)  

Lausanne, EPFL, 2022. 

A Functional Perspective on Information Measures

A. R. Esposito / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2022. 

Learning to sample in Cartesian MRI

T. Sanchez / V. Cevher (Dir.)  

Lausanne, EPFL, 2022. 

Abstractions for Type-Level Programming

O. E. P. Blanvillain / M. Odersky (Dir.)  

Lausanne, EPFL, 2022. 

Using Animal Motion Capture to Learn Neural Representations

S. Günel / P. Fua; P. P. Ramdya (Dir.)  

Lausanne, EPFL, 2022. 

Synthesis and Analysis of 3D shapes with Geometric Deep Learning in Computer-Aided Engineering

E. Remelli / P. Fua (Dir.)  

Lausanne, EPFL, 2022. 

Design and evaluation of digital tools to expand experience in vocational education

K. G. Kim / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2022. 

Timing is Everything

K. Adam / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2022. 

Textual Explanations and Critiques in Recommendation Systems

D. M. Antognini / B. Faltings (Dir.)  

Lausanne, EPFL, 2022. 

Graph Embedding for Retrieval

C. T. Duong / K. Aberer (Dir.)  

Lausanne, EPFL, 2022. 

Encoder-Decoder Models for Human Segmentation and Motion Analysis

I. Katircioglu / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2022. 

Learning to Represent and Reconstruct 3D Deformable Objects

J. Bednarík / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2022. 

Symmetry in design and decoding of polar-like codes

K. Ivanov / R. Urbanke (Dir.)  

Lausanne, EPFL, 2022. 

Practical Byzantine-resilient Stochastic Gradient Descent

S. L. A. Rouault / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2022. 

Scalable Multi-agent Coordination and Resource Sharing

P. Danassis / B. Faltings (Dir.)  

Lausanne, EPFL, 2022. 

Grid-Aware Real-Time Control of Electric Vehicles

R. Rudnik / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2022. 

2021

Computational Analysis and Design of Structurally Stable Assemblies with Rigid Parts

Z. Wang / M. Pauly; P. Song (Dir.)  

Lausanne, EPFL, 2021. 

Sublinear Algorithms for Spectral Graph Clustering

A. Mousavifar / M. Kapralov (Dir.)  

Lausanne, EPFL, 2021. 

Integrity and Metadata Protection in Data Retrieval

K. Nikitin / B. A. Ford (Dir.)  

Lausanne, EPFL, 2021. 

Light Path Gradients for Forward and Inverse Rendering

T. L. Zeltner / W. A. Jakob (Dir.)  

Lausanne, EPFL, 2021. 

Learning computationally efficient static word and sentence representations

P. Gupta / M. Jaggi (Dir.)  

Lausanne, EPFL, 2021. 

How to Match in Modern Computational Settings

B. R. G. Gamlath Ralalage / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2021. 

Blind as a bat: spatial perception without sight

F. Dümbgen / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2021. 

Human-Centered Scene Understanding via Crowd Counting

W. Liu / P. Fua (Dir.)  

Lausanne, EPFL, 2021. 

Hardware-Software Co-Design of an RPC Processor

A. Pourhabibi Zarandi / B. Falsafi (Dir.)  

Lausanne, EPFL, 2021. 

Holistic, Efficient, and Real-time Cleaning of Heterogeneous Data

S. A. Giannakopoulou / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2021. 

Uncertain Sampling with Certain Priors

G. Elhami / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2021. 

Sampling Geometry and Colour

M. W. Pacholska / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2021. 

Trust as a Programming Primitive

A. Ghosn / E. Bugnion; J. R. Larus (Dir.)  

Lausanne, EPFL, 2021. 

Privacy-Preserving Federated Analytics using Multiparty Homomorphic Encryption

D. J. Froelicher / J-P. Hubaux; B. A. Ford (Dir.)  

Lausanne, EPFL, 2021. 

Optimization methods for collaborative learning

S. P. R. Karimireddy / M. Jaggi (Dir.)  

Lausanne, EPFL, 2021. 

Learning Self-Exciting Temporal Point Processes Under Noisy Observations

W. Trouleau / M. Grossglauser; P. Thiran (Dir.)  

Lausanne, EPFL, 2021. 

Time-Synchronization Attacks against Critical Infrastructures and their Mitigation

M. M. N. Delcourt / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2021. 

Analyzing and Protecting Communication Metadata

L. Barman / J-P. Hubaux; B. A. Ford (Dir.)  

Lausanne, EPFL, 2021. 

Representing graphs through data with learning and optimal transport

H. Petric Maretic / P. Frossard (Dir.)  

Lausanne, EPFL, 2021. 

Adaptation in Stochastic Algorithms: From Nonsmooth Optimization to Min-Max Problems and Beyond

A. Alacaoglu / V. Cevher (Dir.)  

Lausanne, EPFL, 2021. 

Miss-Optimized Memory Systems: Turning Thousands of Outstanding Misses into Reuse Opportunities

M. Asiatici / P. Ienne (Dir.)  

Lausanne, EPFL, 2021. 

High-Level Synthesis of Dynamically Scheduled Circuits

L. Josipovic / P. Ienne (Dir.)  

Lausanne, EPFL, 2021. 

Learning Analytics for Adaptive and Self-Improving Learning Environments for Inductive Teaching

L. P. Faucon / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2021. 

From Human-Designed Convolutional Neural Networks Towards Robust Neural Architecture Search

K. Yu / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2021. 

Serial Lightweight Implementation Techniques for Block Ciphers

M. F. Balli / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2021. 

Software Support for Non-Volatile Memory (NVM) Programming

D. T. Aksun / J. R. Larus (Dir.)  

Lausanne, EPFL, 2021. 

Efficient Parsing with Derivatives and Zippers

R. Edelmann / V. Kuncak (Dir.)  

Lausanne, EPFL, 2021. 

Discrete-Choice Mining of Social Processes

V. Kristof / P. Thiran; M. Grossglauser (Dir.)  

Lausanne, EPFL, 2021. 

Feedback and Common Information: Bounds and Capacity for Gaussian Networks

E. Sula / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2021. 

Micro-architectural Analysis of Database Workloads

U. Sirin / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2021. 

Deep Image Restoration: Between Data Fidelity and Learned Priors

M. El Helou / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2021. 

Statistical limits of high-dimensional inference problems

C. D. Luneau / N. Macris (Dir.)  

Lausanne, EPFL, 2021. 

Lifelong Machine Learning with Data Efficiency and Knowledge Retention

F. Mi / B. Faltings (Dir.)  

Lausanne, EPFL, 2021. 

2020

Safe initialization of objects

F. Liu / M. Odersky (Dir.)  

Lausanne, EPFL, 2020. 

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

L. E. V. Parreaux / C. Koch (Dir.)  

Lausanne, EPFL, 2020. 

Distributed Computing with Modern Shared Memory

M. I. Zablotchi / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2020. 

Analysis of the BIKE post-quantum cryptographic protocols and the Legendre pseudorandom function

D. Kostic / A. Lenstra (Dir.)  

Lausanne, EPFL, 2020. 

Cooperative Data Exchange and Private Information Retrieval

S. Li / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2020. 

Precise and accurate image-based measurements of optical material properties

M. Shahpaski / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2020. 

Data-Aware Privacy-Preserving Machine Learning

A. Triastcyn / B. Faltings (Dir.)  

Lausanne, EPFL, 2020. 

The Hidden Complexity of Distributed Systems

K. Antoniadis / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2020. 

Verification of Software Network Functions with No Verification Expertise

A. Zaostrovnykh / A. Argyraki; G. Candea (Dir.)  

Lausanne, EPFL, 2020. 

Truthful, Transparent and Fair Data Collection Mechanisms

N. Goel / B. Faltings (Dir.)  

Lausanne, EPFL, 2020. 

ColTraIn: Co-located DNN training and inference

M. P. Drumond Lages De Oliveira / B. Falsafi; M. Jaggi (Dir.)  

Lausanne, EPFL, 2020. 

Private and Secure Distributed Learning

G. Damaskinos / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2020. 

Time in cryptography

G. Choi / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2020. 

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

E. Testa / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2020. 

Operating System and Network Co-Design for Latency-Critical Datacenter Applications

E. M. Kogias / E. Bugnion (Dir.)  

Lausanne, EPFL, 2020. 

An Architecture for Load Balance in Computer Cluster Applications

L. Bindschaedler / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2020. 

Fourier Sampling in Signal Processing and Numerical Linear Algebra

A. Zandieh / M. Kapralov (Dir.)  

Lausanne, EPFL, 2020. 

Towards Real-World Super-Resolution using Deep Neural Networks

R. Zhou / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2020. 

Understanding and Mitigating Latency Variability of Latency-Critical Applications

M. Primorac / E. Bugnion; A. Argyraki (Dir.)  

Lausanne, EPFL, 2020. 

Efficient Protocols for Enforcing Causal Consistency in Geo-Replicated Key-Value Data Stores

K. Spirovska / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2020. 

Learning and leveraging shared domain semantics to counteract visual domain shifts

R. Bermúdez Chacón / P. Fua (Dir.)  

Lausanne, EPFL, 2020. 

Parallel and Scalable Bioinformatics

S. A. Byma / J. R. Larus (Dir.)  

Lausanne, EPFL, 2020. 

Robust Distributed Learning

E. M. El Mhamdi / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2020. 

Just-in-time performance without warm-up

D. Shabalin / M. Odersky (Dir.)  

Lausanne, EPFL, 2020. 

Functional Inverse Problems on Spheres: Theory, Algorithms and Applications

M. M. J-A. Simeoni / M. Vetterli; V. Panaretos (Dir.)  

Lausanne, EPFL, 2020. 

Multi-armed Bandits in Action

F. Salehi / P. Thiran; L. E. Celis (Dir.)  

Lausanne, EPFL, 2020. 

Sparse and Parametric Modeling with Applications to Acoustics and Audio

H. Peic Tukuljac / P. Vandergheynst; H. Lissek (Dir.)  

Lausanne, EPFL, 2020. 

Personalizable intervention systems to promote healthy behavior change

I. Kulev / B. Faltings; P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2020. 

On the optimal sampling design for the Graph Total Variation decoder: recovering piecewise-constant graph signals from a few vertex measurements

R. Cerqueira Gonzalez Pena / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2020. 

Point, Plane, Set, Match! Winning the Echo Grand SLAM

M. Krekovic / M. Vetterli; I. Dokmanic (Dir.)  

Lausanne, EPFL, 2020. 

2019

Efficient large-scale graph processing: optimisations for storage, performance and evolving graphs

J. Malicevic / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2019. 

Statistical Physics Methods for Community Detection

C. L. Chan / N. Macris (Dir.)  

Lausanne, EPFL, 2019. 

On the relevance of quality score metadata in genomic sequence data for omics applications

A. A. Hernandez Lopez / M. Mattavelli (Dir.)  

Lausanne, EPFL, 2019. 

Geometry of adversarial robustness of deep networks: methods and applications

S. M. Moosavi Dezfooli / P. Frossard (Dir.)  

Lausanne, EPFL, 2019. 

Data-driven Measurement Designs for Magnetic Resonance Imaging

B. Gözcü / V. Cevher (Dir.)  

Lausanne, EPFL, 2019. 

Improving Main-memory Database System Performance through Cooperative Multitasking

G. Psaropoulos / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2019. 

Timely and cost-efficient data exploration through adaptive tuning

M. A. Olma / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2019. 

Efficient Workload Colocation in Modern Data Centers

C. Iorgulescu / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2019. 

From LDPC Block to LDPC Convolutional Codes: Capacity, Stability, and Universality

W. Liu / R. Urbanke (Dir.)  

Lausanne, EPFL, 2019. 

Secure, Confidential Blockchains Providing High Throughput and Low Latency

E. Kokoris Kogias / B. A. Ford (Dir.)  

Lausanne, EPFL, 2019. 

Inverse Problems and Optimal Power Flow in Active Distribution Networks

C. Wang / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2019. 

System Support for Efficient Replication in Distributed Systems

D-A. Seredinschi / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2019. 

Scaling Byzantine Fault Tolerance

M. Pavlovic / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2019. 

Scalable Convex Optimization Methods for Semidefinite Programming

A. Yurtsever / V. Cevher (Dir.)  

Lausanne, EPFL, 2019. 

Verified Functional Programming

N. C. Y. Voirol / V. Kuncak (Dir.)  

Lausanne, EPFL, 2019. 

Debunking Misinformation on the Web: Detection, Validation, and Visualisation

T. T. Nguyên / K. Aberer (Dir.)  

Lausanne, EPFL, 2019. 

Efficient Query Processing for Spatial and Temporal Data Exploration

E. Tzirita Zacharatou / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2019. 

Scaling Out Bioinformatics in the Data Center

S. D. Whitlock / E. Bugnion (Dir.)  

Lausanne, EPFL, 2019. 

Computational Design of Auxetic Shells

M. Konakovic Lukovic / M. Pauly (Dir.)  

Lausanne, EPFL, 2019. 

Traffic Locality as an Opportunity in the Data Center

J. Fietz / A. Argyraki; E. Bugnion (Dir.)  

Lausanne, EPFL, 2019. 

Graph-based image representation learning

R. Khasanova / P. Frossard (Dir.)  

Lausanne, EPFL, 2019. 

New Graph Algorithms via Polyhedral Techniques

J. Tarnawski / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2019. 

Evaluating and Interpreting Deep Convolutional Neural Networks via Non-negative Matrix Factorization

E. Collins / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2019. 

Learning Approach to Delineation of Curvilinear Structures in 2D and 3D Images

A. J. Mosinska / P. Fua (Dir.)  

Lausanne, EPFL, 2019. 

SAT-Based Exact Synthesis for Multi-Level Logic Networks

W. J. Haaswijk / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2019. 

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids

W. Saab / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2019. 

New Approaches to Artistic Synthesis Relying on Visual Perception

M. S. Arpa / S. Süsstrunk; R. Hersch (Dir.)  

Lausanne, EPFL, 2019. 

Interdependent and Multi-Subject Privacy: Threats, Analysis and Protection

A-M. Olteanu / J-P. Hubaux; K. C. Huguenin (Dir.)  

Lausanne, EPFL, 2019. 

Bits through Time

E. Najm / E. Telatar (Dir.)  

Lausanne, EPFL, 2019. 

Privacy-Enhancing Technologies for Mobile Applications and Services

T. V. A. Pham / J-P. Hubaux; K. C. Huguenin (Dir.)  

Lausanne, EPFL, 2019. 

Training Algorithms for Multiple Object Tracking

A. Maksai / P. Fua (Dir.)  

Lausanne, EPFL, 2019. 

Time- and Space-Efficient Spatial Data Analytics

M. Pavlovic / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2019. 

Robust Adaptive Decision Making: Bayesian Optimization and Beyond

I. Bogunovic / V. Cevher; J. D. Haupt (Dir.)  

Lausanne, EPFL, 2019. 

Learning to Reduce Annotation Load

K. Konyushkova / P. Fua; R. Sznitman (Dir.)  

Lausanne, EPFL, 2019. 

Scaling Functional Synthesis and Repair

E. Koukoutos / V. Kuncak (Dir.)  

Lausanne, EPFL, 2019. 

2018

Improving Throughput, Latency and Privacy with Hybrid Networks and Multipath Routing

S. C. Henri / P. Thiran (Dir.)  

Lausanne, EPFL, 2018. 

Implications of Position in Cryptography

H. Kilinç Alper / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2018. 

Arithmetic and geometric structures in cryptography

B. P. C. Wesolowski / A. Lenstra; R. Granger (Dir.)  

Lausanne, EPFL, 2018. 

Traffic Receipts for Network Transparency

P. Nikolopoulos / A. Argyraki (Dir.)  

Lausanne, EPFL, 2018. 

Making large art historical photo archives searchable

B. L. A. Seguin / F. Kaplan; I. di Lenardo (Dir.)  

Lausanne, EPFL, 2018. 

Hybrid, Job-Aware, and Preemptive Datacenter Scheduling

P. I. Delgado Borda / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2018. 

High-Dimensional Inference on Dense Graphs with Applications to Coding Theory and Machine Learning

M. B. Dia / N. Macris (Dir.)  

Lausanne, EPFL, 2018. 

Reliability Mechanisms for Controllers in Real-Time Cyber-Physical Systems

M. Mashood Mohiuddin / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2018. 

Sampling the Multiple Facets of Light

G. Baechler / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2018. 

Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning

G. Chatzopoulos / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2018. 

Privacy in Recommender Systems

M. Taziki / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2018. 

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

A. J. Becker / P. Ienne (Dir.)  

Lausanne, EPFL, 2018. 

Routing for Wireless Sensor Networks: From Collection to Event-Triggered Applications

D. C. Rojas Quirós / J-D. Decotignie (Dir.)  

Lausanne, EPFL, 2018. 

The Complexity of Reliable and Secure Distributed Transactions

J. Wang / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2018. 

Learning Robust Features and Latent Representations for Single View 3D Pose Estimation of Humans and Objects

B. Tekin / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2018. 

Network-Compute Co-Design for Distributed In-Memory Computing

A. Daglis / B. Falsafi; E. Bugnion (Dir.)  

Lausanne, EPFL, 2018. 

Cross-Platform Language Design

S. J. R. Doeraene / M. Odersky (Dir.)  

Lausanne, EPFL, 2018. 

Compilation and Code Optimization for Data Analytics

A. Shaikhha / C. Koch (Dir.)  

Lausanne, EPFL, 2018. 

Provably Secure Authenticated Encryption

D. Vizár / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2018. 

Real-Time Generative Hand Modeling and Tracking

A. Tkach / M. Pauly; A. Tagliasacchi (Dir.)  

Lausanne, EPFL, 2018. 

Privacy – Preserving Data Exchange and Aggregation in Healthcare

A. Dubovitskaya / K. Aberer; M. I. Schumacher (Dir.)  

Lausanne, EPFL, 2018. 

Control of Bio-Inspired Sprawling Posture Quadruped Robots with an Actuated Spine

T. Horvat / A. Ijspeert (Dir.)  

Lausanne, EPFL, 2018. 

Variational Methods for Human Modeling

T. Bagautdinov / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2018. 

Learning without Smoothness and Strong Convexity

Y-H. Li / V. Cevher (Dir.)  

Lausanne, EPFL, 2018. 

Mean-Field methods for Structured Deep-Learning in Computer Vision

P. B. Baqué / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2018. 

Algorithms For Clustering Problems

A. Norouzi Fard / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2018. 

Looking beyond Pixels

H. Pan / M. Vetterli; T. Blu (Dir.)  

Lausanne, EPFL, 2018. 

Learning with Structured Sparsity: From Discrete to Convex and Back.

M. El Halabi / V. Cevher (Dir.)  

EPFL, 2018. 

When Stuck, Flip a Coin

S. Mitrovic / R. Urbanke; A. Madry (Dir.)  

Lausanne, EPFL, 2018. 

Airborne Hyperspectral Imaging of Lakes

K. S. Barbieux / B. Merminod; J. Skaloud (Dir.)  

Lausanne, EPFL, 2018. 

Bridging the gap between dataplanes and commodity operating systems

G. Prekas / E. Bugnion (Dir.)  

Lausanne, EPFL, 2018. 

Efficient Learning from Comparisons

L. Maystre / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2018. 

New Algorithmic Paradigms for Discrete Problems using Dynamical Systems and Polynomials

D. M. Straszak / N. Vishnoi (Dir.)  

Lausanne, EPFL, 2018. 

Designing, Aligning, and Visualizing Service Systems

G. Tapandjieva / A. Wegmann (Dir.)  

Lausanne, EPFL, 2018. 

Computational Aesthetics and Image Enhancements using Deep Neural Networks

B. Jin / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2018. 

Caching and Distributed Storage

S. Sahraei / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2018. 

On Secure Cloud Computing for Genomic Data: From Storage to Analysis

Z. Huang / J-P. Hubaux; J. Fellay (Dir.)  

Lausanne, EPFL, 2018. 

Privacy-Enhancing Technologies for Medical and Genomic Data: From Theory to Practice

J. L. Raisaro / J-P. Hubaux; A. Telenti (Dir.)  

Lausanne, EPFL, 2018. 

Discovering Interaction Patterns in Online Learning Environments

M. Shirvani Boroujeni / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2018. 

Localizing the Source of an Epidemic Using Few Observations

B. M. Spinelli / P. Thiran; L. E. Celis (Dir.)  

Lausanne, EPFL, 2018. 

Network Neutrality Inference using Network Tomography

O. S. Mara / A. Argyraki (Dir.)  

Lausanne, EPFL, 2018. 

Augmented Reality to Facilitate a Conceptual Understanding of Statics in Vocational Education

L. Lucignano / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2018. 

Towards Scalable Personalization

R. Patra / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2018. 

Novel Algorithms For Clustering

J. P. Newling / F. Fleuret (Dir.)  

Lausanne, EPFL, 2018. 

Generative Models for Learning Robot Manipulation Skills from Humans

A. K. Tanwani / H. Bourlard; S. Calinon (Dir.)  

Lausanne, EPFL, 2018. 

Adding flexibility to multi-tenant networks

G. Ioannidis / A. Argyraki (Dir.)  

Lausanne, EPFL, 2018. 

Cellulo: Tangible Haptic Swarm Robots for Learning

A. Özgür / P. Dillenbourg (Dir.)  

EPFL, 2018. 

Robust and Efficient Data Clustering with Signal Processing on Graphs

L. J. Martin / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2018. 

2017

Automated Taxonomy Induction and its Applications

A. Gupta / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

Design and implementation of an optimizing type-centric compiler for a high-level language

D. Petrashko / M. Odersky (Dir.)  

Lausanne, EPFL, 2017. 

Just-in-time Analytics Over Heterogeneous Data and Hardware

M. Karpathiotakis / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2017. 

Scalable Low-rank Matrix and Tensor Decomposition on Graphs

N. Shahid / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2017. 

Neural assemblies as core elements for modeling neural networks in the brain

H. Setareh / W. Gerstner (Dir.)  

Lausanne, EPFL, 2017. 

Circuit Design, Architecture and CAD for RRAM-based FPGAs

X. Tang / G. De Micheli; P-E. J. M. Gaillardon (Dir.)  

Lausanne, EPFL, 2017. 

Efficient Adaptive Hard Real-time Multi-processor Systems

S. Skalistis / G. De Micheli; J. Sifakis (Dir.)  

Lausanne, EPFL, 2017. 

Higher-Order Subtyping with Type Intervals

S. Stucki / M. Odersky (Dir.)  

Lausanne, EPFL, 2017. 

Algorithmic Resource Verification

R. Kandhadai Madhavan / V. Kuncak (Dir.)  

Lausanne, EPFL, 2017. 

Compilation Techniques for Incremental Collection Processing

D. Lupei / C. Koch (Dir.)  

Lausanne, EPFL, 2017. 

Strengths and Limitations of Linear Programming Relaxations

A. Bazzi / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2017. 

Efficient Online Processing for Advanced Analytics

M. E. M. A. El Seidy / C. Koch (Dir.)  

Lausanne, EPFL, 2017. 

Polarization and Channel Ordering: Characterizations and Topological Structures

R. Nasser / E. Telatar (Dir.)  

Lausanne, EPFL, 2017. 

Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads

M. Dashti Rahmat Abadi / C. Koch (Dir.)  

Lausanne, EPFL, 2017. 

Universally Scalable Concurrent Data Structures

T. A. David / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2017. 

Recommender Systems for Healthy Behavior Change

O. Yürüten / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2017. 

Interactive Programming by Example

M. Mayer / V. Kuncak (Dir.)  

Lausanne, EPFL, 2017. 

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

A. Petkovska / P. Ienne (Dir.)  

Lausanne, EPFL, 2017. 

Profiling, Modelling and Facilitating Online Activism

J. Proskurnia / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

Physics-based Reconstruction and Animation of Humans

A. E. Ichim / M. Pauly (Dir.)  

Lausanne, EPFL, 2017. 

A Gaussian Source Coding Perspective on Caching and Total Correlation

G. J. Op ‘t Veld / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2017. 

Sparse Gradient Optimization and its Applications in Image Processing

N. Arvanitopoulos Darginis / S. Süsstrunk; R. Achanta (Dir.)  

Lausanne, EPFL, 2017. 

Near-Memory Address Translation

J. Picorel Obando / B. Falsafi (Dir.)  

Lausanne, EPFL, 2017. 

Miniature hyperspectral systems

D. Constantin / B. Merminod; Y. Akhtman (Dir.)  

Lausanne, EPFL, 2017. 

Verification by Reduction to Functional Programs

R. W. Blanc / V. Kuncak (Dir.)  

Lausanne, EPFL, 2017. 

Leading the Blind

G. Zgheib / P. Ienne (Dir.)  

Lausanne, EPFL, 2017. 

Easy and Accurate Hardware-based Program Performance Monitoring

A. P. Nowak / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2017. 

Cooperative Perception Algorithms for Networked Intelligent Vehicles

M. Vasic / A. Martinoli (Dir.)  

Lausanne, EPFL, 2017. 

Data-Driven, Personalized Usable Privacy

H. Harkous / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

Bound and Conquer

A. Ghasemi / M. Vetterli; A. J. Scholefield (Dir.)  

Lausanne, EPFL, 2017. 

LPN in Cryptography

S. M. Bogos / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2017. 

Elastic Program Transformations

J. B. Wagner / G. Candea (Dir.)  

Lausanne, EPFL, 2017. 

Algorithmic Verification of Component-based Systems

Q. Wang / V. Kuncak; S. Bliudze (Dir.)  

Lausanne, EPFL, 2017. 

Coding for Communications and Secrecy

M. Bastaniparizi / E. Telatar (Dir.)  

Lausanne, EPFL, 2017. 

Rack-Scale Memory Pooling for Datacenters

S. Novakovic / E. Bugnion; B. Falsafi (Dir.)  

Lausanne, EPFL, 2017. 

Complex event recognition through wearable sensors

J-E. M. Ranvier / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

Rake, Peel, Sketch

R. Scheibler / M. Vetterli (Dir.)  

Lausanne, EPFL, 2017. 

Vision-based detection of aircrafts and UAVs

A. Rozantsev / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2017. 

Applications of Approximate Learning and Inference for Probabilistic Models

Y. J. Ko / M. Grossglauser; M. Seeger (Dir.)  

Lausanne, EPFL, 2017. 

Models and Algorithms in Biological Network Evolution with Modularity

M. Ye / B. Moret (Dir.)  

Lausanne, EPFL, 2017. 

Enhancing Privacy Protection

R. Chaabouni / S. Vaudenay; H. Lipmaa (Dir.)  

Lausanne, EPFL, 2017. 

Throughput Analysis of Large Networks

S. Haddad / E. Telatar; O. Lévêque (Dir.)  

Lausanne, EPFL, 2017. 

Alignment and Assembly

L. Yartseva / M. Grossglauser; M. A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2017. 

Visualization, Adaptation, and Transformation of Procedural Grammars

S. Lienhard / M. Pauly (Dir.)  

Lausanne, EPFL, 2017. 

Blowing in the Wind

M. Martinez-Camara / M. Vetterli; B. Bejar Haro (Dir.)  

Lausanne, EPFL, 2017. 

Multicloud Resource Allocation

H. Zhuang / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

Applications of Strong Convex Relaxations to Allocation Problems

C. Kalaitzis / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2017. 

Unification of Compile-Time and Runtime Metaprogramming in Scala

E. Burmako / M. Odersky (Dir.)  

Lausanne, EPFL, 2017. 

Enhancing Social Media Platforms for Educational and Humanitarian Knowledge Sharing

A. Vozniuk / D. Gillet (Dir.)  

Lausanne, EPFL, 2017. 

Cybersecurity Solutions for Active Power Distribution Networks

T. T. Tesfay / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2017. 

Building Efficient Query Engines using High-Level Languages

I. Klonatos / C. Koch (Dir.)  

Lausanne, EPFL, 2017. 

Distributed Time Series Analytics

T. Guo / K. Aberer (Dir.)  

Lausanne, EPFL, 2017. 

A Semantic Framework for Architecture Modelling

E. Baranov / J. Sifakis; S. Bliudze (Dir.)  

Lausanne, EPFL, 2017. 

2016

Modelling Architecture Styles

A. Mavridou / J. Sifakis; S. Bliudze (Dir.)  

Lausanne, EPFL, 2016. 

Analysis of Spatially Coupled Systems using the Potential Functional with Applications to Coding Theory

R. El-Khatib / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2016. 

Reliable and Real-Time Distributed Abstractions

D. Kozhaya / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2016. 

Dependent Object Types

N. Amin / M. Odersky (Dir.)  

Lausanne, EPFL, 2016. 

Learning with Surprise

M. Faraji / W. Gerstner (Dir.)  

Lausanne, EPFL, 2016. 

Multiscale Centerline Extraction Based on Regression and Projection onto the Set of Elongated Structures

A. Sironi / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2016. 

Deconvolution of Gaussian Random Fields using the Graph Fourier Transform

M. M. J-A. Simeoni 

2016.

Robust 3D Object Pose Estimation and Tracking from Monocular Images in Industrial Environments

A. Crivellaro / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2016. 

Specialising Parsers for Queries

M. Jonnalagedda / M. Odersky (Dir.)  

Lausanne, EPFL, 2016. 

Scaling Up Concurrent Analytical Workloads on Multi-Core Servers

I. Psaroudakis / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2016. 

From Polar to Reed-Muller Codes

M. Mondelli / R. Urbanke (Dir.)  

Lausanne, EPFL, 2016. 

From data to structures

V. Kalofolias / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2016. 

Network Alignment: Theory, Algorithms, and Applications

E. Kazemi / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2016. 

Elicitation and Aggregation of Crowd Information

G. Radanovic / B. Faltings (Dir.)  

Lausanne, EPFL, 2016. 

Toward timely, predictable and cost-effective data analytics

R. Borovica-Gajic / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2016. 

Hardware implementation aspects of polar decoders and ultra high-speed LDPC decoders

A. K. Balatsoukas Stimming / A. P. Burg (Dir.)  

Lausanne, EPFL, 2016. 

Towards Scalable Synchronization on Multi-Cores

V. Trigonakis / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2016. 

Computational Aspects of Jacobians of Hyperelliptic Curves

A. Dudeanu / A. Lenstra; D. P. Jetchev (Dir.)  

Lausanne, EPFL, 2016. 

Designing modeling notations readers understand

G. Popescu / A. Wegmann (Dir.)  

Lausanne, EPFL, 2016. 

Advancing Fine-Grained Emotion Recognition in Short Text

V. Sintsova / P. Pu Faltings; B. Faltings (Dir.)  

Lausanne, EPFL, 2016. 

Acquiring Broad Commonsense Knowledge for Sentiment Analysis Using Human Computation

M. Boia / B. Faltings; P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2016. 

Building Security Protocols Against Powerful Adversaries

I. Safaka / A. Argyraki; C. Fragouli (Dir.)  

Lausanne, EPFL, 2016. 

Efficient Incremental Data Analysis

M. Nikolic / C. Koch (Dir.)  

Lausanne, EPFL, 2016. 

Computation and Visualization in Multiscale Modelling of DNA Mechanics

J. Głowacki / J. Maddocks (Dir.)  

Lausanne, EPFL, 2016. 

Simplifying Development and Management of Software-Defined Networks

P. Perešíni / W. Zwaenepoel; D. Kostic (Dir.)  

Lausanne, EPFL, 2016. 

Measuring and Managing Switch Diversity in Software Defined Networks

M. L. Kuźniar / W. Zwaenepoel; D. Kostic (Dir.)  

Lausanne, EPFL, 2016. 

Context and Semantic Aware Location Privacy

B. Ağir / K. Aberer (Dir.)  

Lausanne, EPFL, 2016. 

High Performance Transaction Processing on Non-Uniform Hardware Topologies

D. Porobic / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2016. 

From Massive Parallelization to Quantum Computing: Seven Novel Approaches to Query Optimization

I. Trummer / C. Koch (Dir.)  

Lausanne, EPFL, 2016. 

Measuring, Modeling and Enhancing Power-Line Communications

C. Vlachou / P. Thiran (Dir.)  

Lausanne, EPFL, 2016. 

Sampling Models in Light Fields

Z. Xue / M. Vetterli; L. A. Baboulaz (Dir.)  

Lausanne, EPFL, 2016. 

Towards Scalable Segmentation of 3D Image Stacks

C. J. Becker / P. Fua (Dir.)  

Lausanne, EPFL, 2016. 

Improving systems software security through program analysis and instrumentation

V. Kuznetsov / G. Candea (Dir.)  

Lausanne, EPFL, 2016. 

FPGAs for the Masses: Affordable Hardware Synthesis from Domain-Specific Languages

N. George / P. Ienne (Dir.)  

Lausanne, EPFL, 2016. 

CFMA (Compute-Forward Multiple Access) and its Applications in Network Information Theory

J. Zhu / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2016. 

Color Changing Prints on a Metallic Substrate

P. Pjanić / R. Hersch (Dir.)  

Lausanne, EPFL, 2016. 

Image Based Relighting of Cultural Artifacts

N. Thanikachalam / M. Vetterli; P. Prandoni (Dir.)  

Lausanne, EPFL, 2016. 

Redundancy in Communication Networks for Smart Grids

M. Popovic / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2016. 

Uniting Language Embeddings for Fast and Friendly DSLs

V. Jovanovic / M. Odersky (Dir.)  

Lausanne, EPFL, 2016. 

Robustness Analysis of Controllable-Polarity Silicon Nanowire Devices and Circuits

H. Ghasemzadeh Mohammadi / G. De Micheli (Dir.)  

Lausanne, EPFL, 2016. 

Trustworthy Cloud Storage

M. Augier / A. Lenstra (Dir.)  

Lausanne, EPFL, 2016. 

Template-based Monocular 3-D Shape Reconstruction And Tracking Using Laplacian Meshes

T. D. Ngo / P. Fua (Dir.)  

Lausanne, EPFL, 2016. 

Analysis and Synthesis of Structured Variations in 3D Geometries

N. M. Dang / M. Pauly (Dir.)  

Lausanne, EPFL, 2016. 

Automated Reconstruction of Evolving Curvilinear Tree Structures

P. R. Głowacki / P. Fua (Dir.)  

Lausanne, EPFL, 2016. 

Theory of representation learning in cortical neural networks

C. Stein Naves de Brito / W. Gerstner (Dir.)  

Lausanne, EPFL, 2016. 

Deductive Synthesis and Repair

E. Kneuss / V. Kuncak (Dir.)  

Lausanne, EPFL, 2016. 

Precise and Responsive Performance Animation for Embodied Immersive Interactions

E. Molla / R. Boulic (Dir.)  

Lausanne, EPFL, 2016. 

Probing the Limits of Social Data

A. Olteanu / K. Aberer (Dir.)  

Lausanne, EPFL, 2016. 

Decrypting Local Type Inference

H. Plociniczak / M. Odersky (Dir.)  

Lausanne, EPFL, 2016. 

2015

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs

B. C. C. Kasikci / G. Candea (Dir.)  

Lausanne, EPFL, 2015. 

New Data Structures and Algorithms for Logic Synthesis and Verification

L. G. Amarù / G. De Micheli; A. P. Burg (Dir.)  

Lausanne, EPFL, 2015. 

Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages

V. Ureche / M. Odersky (Dir.)  

Lausanne, EPFL, 2015. 

Combine and Conquer

V. Etter / M. Grossglauser; P. Thiran (Dir.)  

Lausanne, EPFL, 2015. 

Real-Time Optimal Controls for Active Distribution Networks

K. Christakou / J-Y. Le Boudec; M. Paolone (Dir.)  

Lausanne, EPFL, 2015. 

Safety, Liveness and Parallelism in Concurrent Computing

V. Bushkov / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2015. 

Augmenting Learning Activities with Contextual Information Scent

N. Li / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2015. 

Bringing Theory Closer to Practice in Post-quantum and Leakage-resilient Cryptography

A. R. Duc / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2015. 

Function Computation over Networks

C-Y. Wang / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2015. 

Joint Acquisition of Color and Near-Infrared Images on a Single Sensor

Z. Sadeghipoor Kermani / S. Süsstrunk; Y. Lu (Dir.)  

Lausanne, EPFL, 2015. 

Gaze Analysis methods for Learning Analytics

K. Sharma / P. Dillenbourg; P. Jermann (Dir.)  

Lausanne, EPFL, 2015. 

Language Support for Distributed Functional Programming

H. Miller / M. Odersky (Dir.)  

Lausanne, EPFL, 2015. 

Adaptive Selection Problems in Networked Systems

R. Zhang / M. Vetterli; P. Thiran (Dir.)  

Lausanne, EPFL, 2015. 

Camera-based estimation of student’s attention in class

M. Raca / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2015. 

Energy-efficient Continuous Context Sensing on Mobile Phones

J. Eberle / K. Aberer (Dir.)  

Lausanne, EPFL, 2015. 

Flexible Spectrum Assignment for Local Wireless Networks

J. Herzen / P. Thiran (Dir.)  

Lausanne, EPFL, 2015. 

Accelerators for Data Processing

Y. O. Koçberber / B. Falsafi (Dir.)  

Lausanne, EPFL, 2015. 

Memory Systems and Interconnects for Scale-Out Servers

S. Volos / B. Falsafi (Dir.)  

Lausanne, EPFL, 2015. 

Mining, Modeling and Predicting Mobility

M. Kafsi / M. Grossglauser; P. Thiran (Dir.)  

Lausanne, EPFL, 2015. 

Adaptive Query Processing on Raw Data Files

I. Alagiannis / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2015. 

Multi-Gigabyte On-Chip DRAM Caches for Servers

D. Jevdic / B. Falsafi (Dir.)  

Lausanne, EPFL, 2015. 

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

R. Banabic / R. Guerraoui; G. Candea (Dir.)  

Lausanne, EPFL, 2015. 

Computational Methods for Fabrication-aware Modeling, Rationalization and Assembly of Architectural Structures

M. M. Deuss / M. Pauly (Dir.)  

Lausanne, EPFL, 2015. 

A Distributed Intelligent Sensing Approach for Environmental Monitoring Applications

W. C. Evans / A. Martinoli (Dir.)  

Lausanne, EPFL, 2015. 

Shared Frontend for Manycore Server Processors

I. C. Kaynak / B. Falsafi; B. R. Grot (Dir.)  

Lausanne, EPFL, 2015. 

Realtime Face Tracking and Animation

S. Bouaziz / M. Pauly (Dir.)  

Lausanne, EPFL, 2015. 

Building Evolvable Networks

M. Dobrescu / A. Argyraki; W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2015. 

Algebraic Cryptanalysis of Deterministic Symmetric Encryption

P. Sušil / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2015. 

Localizing Polygonal Objects in Man-Made Environments

X. Sun / P. Fua (Dir.)  

Lausanne, EPFL, 2015. 

Latent Social Information in Group Interactions with a Shared Workspace

H. Verma / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2015. 

Reducing Randomness in Matrix Models for Wireless Communication

M. Desgroseilliers / E. Telatar; O. Lévêque (Dir.)  

Lausanne, EPFL, 2015. 

Color Reproduction with Juxtaposed Halftoning

V. Babaei / R. Hersch (Dir.)  

Lausanne, EPFL, 2015. 

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

S. Bucur / G. Candea (Dir.)  

Lausanne, EPFL, 2015. 

Models and Algorithms for Comparative Genomics

M. Shao / B. Moret (Dir.)  

Lausanne, EPFL, 2015. 

Are All Pixels Equally Important? Towards Multi-Level Salient Object Detection

G. Yildirim / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2015. 

Tracking Interacting Objects in Image Sequences

X. Wang / P. Fua (Dir.)  

Lausanne, EPFL, 2015. 

Runtime Prediction for Scale-Out Data Analytics

A. D. Popescu / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2015. 

Sparse Probabilistic Models

A. Giurgiu / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2015. 

MEM0R1ES: Memory-based Information Systems

M. Catasta / K. Aberer; P. Cudré-Mauroux (Dir.)  

Lausanne, EPFL, 2015. 

Listening to Distances and Hearing Shapes

I. Dokmanić / M. Vetterli (Dir.)  

Lausanne, EPFL, 2015. 

Physical Layer Cooperation

A. Sengupta / C. Fragouli (Dir.)  

Lausanne, EPFL, 2015. 

On the Analysis of Public-Key Cryptologic Algorithms

A. Miele / A. Lenstra (Dir.)  

Lausanne, EPFL, 2015. 

Pervasive Data Analytics for Sustainable Energy Systems

T. K. Wijaya / K. Aberer (Dir.)  

Lausanne, EPFL, 2015. 

Data Management in Participatory Sensing

M. Riahi / K. Aberer (Dir.)  

Lausanne, EPFL, 2015. 

Efficient Communication and Synchronization on Manycore Processors

D. Petrović / A. Schiper (Dir.)  

Lausanne, EPFL, 2015. 

Personal Learning with Social Media

N. Li / D. Gillet (Dir.)  

Lausanne, EPFL, 2015. 

Animation-Based Service Specification, Verification and Validation

B. Bajić-Bizumić / A. Wegmann (Dir.)  

Lausanne, EPFL, 2015. 

Low Complexity Scheduling and Coding for Wireless Networks

S. Brahma / C. Fragouli (Dir.)  

Lausanne, EPFL, 2015. 

When Others Impinge upon Your Privacy

M. Humbert / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2015. 

Bringing physical layer cooperation closer to practical wireless systems

E. Atsan / C. Fragouli (Dir.)  

Lausanne, EPFL, 2015. 

Fabrication-Aware Design with Performative Criteria

Y. Schwartzburg / M. Pauly (Dir.)  

Lausanne, EPFL, 2015. 

Single-Handed Eyes-Free Universal Input Device

A. D. Tarniceriu / B. Rimoldi; P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2015. 

Search Techniques for Code Generation

T. Gvero / V. Kuncak (Dir.)  

Lausanne, EPFL, 2015. 

Social Interface and Interaction Design for Group Recommender Systems

Y. Chen / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2015. 

Viability evolutionary algorithms and applications to neuroscience and biology

A. Maesani / D. Floreano (Dir.)  

Lausanne, EPFL, 2015. 

Re-proving Channel Polarization Theorems

M. Alsan / E. Telatar (Dir.)  

Lausanne, EPFL, 2015. 

2014

Compressed Sensing of Memoryless Sources

S. Haghighatshoar / B. Rimoldi (Dir.)  

Lausanne, EPFL, 2014. 

A (Nearly) Free Lunch

X. Jimenez / P. Ienne (Dir.)  

Lausanne, EPFL, 2014. 

Programming with Numerical Uncertainties

E. Darulová / V. Kuncak (Dir.)  

Lausanne, EPFL, 2014. 

Memory formation and recall in recurrent spiking neural networks

F. Zenke / W. Gerstner (Dir.)  

Lausanne, EPFL, 2014. 

Transactions Chasing Scalability and Instruction Locality on Multicores

P. Tözün / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2014. 

Rigorous optimization recipes for sparse and low rank inverse problems with applications in data sciences

A. Kyrillidis / V. Cevher (Dir.)  

Lausanne, EPFL, 2014. 

Consistency Models in Distributed Systems with Physical Clocks

J. Du / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2014. 

Architectural Support to Accelerate Fine-Grain Program Monitoring

S. Fytraki / B. Falsafi (Dir.)  

Lausanne, EPFL, 2014. 

Sensing the real world

J. Ranieri / M. Vetterli; A. Chebira (Dir.)  

Lausanne, EPFL, 2014. 

Improving Comparative Genomic Studies

C. G. Ghiurcuta / B. Moret (Dir.)  

Lausanne, EPFL, 2014. 

Control and interaction strategies for self-reconfigurable modular robots

S. Bonardi / A. Ijspeert; P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2014. 

Computational Shape Understanding for 3D Reconstruction and Modeling

D. Ceylan / M. Pauly (Dir.)  

Lausanne, EPFL, 2014. 

High-Performance Communication Primitives and Data Structures on Message-Passing Manycores

O. Shahmirzadi / A. Schiper (Dir.)  

Lausanne, EPFL, 2014. 

Data Structures and Algorithms for Data-Parallel Computing in a Managed Runtime

A. Prokopec / M. Odersky (Dir.)  

Lausanne, EPFL, 2014. 

Secure Communication in Erasure Networks with State-feedback

L. Czap / C. Fragouli (Dir.)  

Lausanne, EPFL, 2014. 

Computational studies in epigenomics using histone modification data

N. U. Nair / B. Moret; P. Bucher (Dir.)  

Lausanne, EPFL, 2014. 

Learning and Matching Binary Local Feature Descriptors

T. P. Trzciński / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2014. 

S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

V. Chipounov / G. Candea (Dir.)  

Lausanne, EPFL, 2014. 

Towards stable cloud performance

D. Novakovic / B. Falsafi; D. Kostic (Dir.)  

Lausanne, EPFL, 2014. 

Inferring Scalability from Program Pseudocode

M. Letia / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2014. 

Provable Security of Block Ciphers and Cryptanalysis

A. Bay / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2014. 

Scalable Exploration of Spatial Data in Large-Scale Scientific Simulations

F. Tauheed / A. Ailamaki; H. Markram (Dir.)  

Lausanne, EPFL, 2014. 

Population Sensing Using Mobile Devices

F. Movahedi Naini / P. Thiran; M. Vetterli (Dir.)  

Lausanne, EPFL, 2014. 

Spatial and Temporal Analysis of Congestion in Urban Transportation Networks

Y. Ji / N. Geroliminis (Dir.)  

Lausanne, EPFL, 2014. 

Automated Side-Channel Vulnerability Discovery and Hardening

A. G. Bayrak / P. Ienne (Dir.)  

Lausanne, EPFL, 2014. 

Flash-aware Database Transactions

R. I. Stoica / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2014. 

Coding Theory and Neural Associative Memories with Exponential Pattern Retrieval Capacity

A. H. Salavati / M. A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2014. 

Cooperation in Space-Limited Wireless Networks at Low SNR

A. Merzakreeva / E. Telatar; O. Lévêque (Dir.)  

Lausanne, EPFL, 2014. 

Spatially Coupled Codes for Channel and Source Coding

V. Aref / R. Urbanke (Dir.)  

Lausanne, EPFL, 2014. 

On Multi-Dimensional Privacy in Context-Aware Mobile Networks

I. Bilogrevic / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2014. 

Solid-State Storage and Work Sharing for Efficient Scaleup Data Analytics

M. G. Athanassoulis / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2014. 

The Cavity Method in Coding Theory

M. Vuffray / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2014. 

Modularity in the design of robust distributed algorithms

G. Losa / R. Guerraoui; V. Kuncak (Dir.)  

EPFL, 2014. 

Assessment of the soft tissue artifact on the lower limb using bi-plane fluoroscopy and stereophotogrammetry

A. Barré / K. Aminian (Dir.)  

Lausanne, EPFL, 2014. 

Identity-Preserving Multiple People Tracking

H. B. Ben Shitrit / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2014. 

A Practical Effect System for Scala

L. Rytz / M. Odersky (Dir.)  

Lausanne, EPFL, 2014. 

Testing Software Systems Against Realistic User Errors

S. Andrica / G. Candea (Dir.)  

Lausanne, EPFL, 2014. 

Parametric estimation of sparse channels

Y. Barbotin / M. Vetterli (Dir.)  

Lausanne, EPFL, 2014. 

Better features for image categorization and segmentation

R. Rigamonti / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2014. 

Object Classification and Detection in High Dimensional Feature Space

C. Dubout / F. Fleuret (Dir.)  

Lausanne, EPFL, 2014. 

An Algorithmic Approach to Personalized Drug Concentration Predictions

W. You Dubout / G. De Micheli (Dir.)  

Lausanne, EPFL, 2014. 

Reconciling Schema Matching Networks

Q. V. H. Nguyen / K. Aberer (Dir.)  

Lausanne, EPFL, 2014. 

2013

Abstractions for Solving Consensus and Related Problems with Byzantine Faults

Ž. Milošević / A. Schiper (Dir.)  

Lausanne, EPFL, 2013. 

Euclidean Distance Matrices

R. Parhizkar / M. Vetterli (Dir.)  

Lausanne, EPFL, 2013. 

Generalized Codes on Graphs and Applications in Content Distribution

M. Alipour Babaei / A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2013. 

Interaction Mirrors for Face-to-Face Meetings

F. Roman / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2013. 

Perception and Reproduction of Auditory Spatial Impression

A. Walther / M. Vetterli; C. Faller (Dir.)  

Lausanne, EPFL, 2013. 

Expanding Eye-Tracking Methods to Explain the Socio-Cognitive Effects of Shared Annotations

A. Mazzei / P. Dillenbourg; F. Kaplan (Dir.)  

Lausanne, EPFL, 2013. 

Execution Synthesis: A Technique for Automating the Debugging of Software

C. Zamfir / G. Candea (Dir.)  

Lausanne, EPFL, 2013. 

Computational analysis of ultraconserved non-coding DNA elements in vertebrate genomes

S. Dimitrieva Janeva / B. Moret; P. Bucher (Dir.)  

Lausanne, EPFL, 2013. 

Tangible Interfaces for Learning

S. Cuendet / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2013. 

Automated Reconstruction of Curvilinear Networks from 2D and 3D Imagery

E. Türetken / P. Fua (Dir.)  

Lausanne, EPFL, 2013. 

Scale-Out Processors

P. Lotfi Kamran / B. Falsafi (Dir.)  

Lausanne, EPFL, 2013. 

Learning Discriminative Features and Structured Models for Segmentation in Microscopy and Natural Images

A. Lucchi / P. Fua (Dir.)  

Lausanne, EPFL, 2013. 

Polarization and Spatial Coupling

S. H. Hassani / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2013. 

Widgets and Spaces

E. Bogdanov / D. Gillet; C. Salzmann (Dir.)  

Lausanne, EPFL, 2013. 

Algebraic algorithms for network information flow

J. Ebrahimi Boroojeni / C. Fragouli (Dir.)  

Lausanne, EPFL, 2013. 

Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies

I. Maier / M. Odersky (Dir.)  

Lausanne, EPFL, 2013. 

Entities on the Web

S. R. Yerva / K. Aberer (Dir.)  

Lausanne, EPFL, 2013. 

Graph-based Codes and Generalized Product Constructions

G. Maatouk / A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2013. 

A Framework for Graph-Based Distributed Rendezvous of Nonholonomic Multi-Robot Systems

S. A. Gowal / A. Martinoli (Dir.)  

Lausanne, EPFL, 2013. 

Automatic Verification with Abstraction and Theorem Proving

H. Hojjat / V. Kuncak (Dir.)  

Lausanne, EPFL, 2013. 

Relational Learning with Hypergraphs

L. Pu / B. Faltings (Dir.)  

Lausanne, EPFL, 2013. 

Incorporating Near-Infrared into Scene Understanding

N. Salamati / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2013. 

Statistical Models for Querying and Managing Time-Series Data

S. Sathe / K. Aberer (Dir.)  

Lausanne, EPFL, 2013. 

Finite Dimensional Methods for Differential Flatness

B. Graf / R. Longchamp; P. Müllhaupt (Dir.)  

Lausanne, EPFL, 2013. 

Models and Algorithms for Ultra-Wideband Localization in Single- and Multi-Robot Systems

A. S. M. Prorok / A. Martinoli (Dir.)  

Lausanne, EPFL, 2013. 

Similarity Learning Over Large Collaborative Networks

M. Yazdani / H. Bourlard; A. Popescu-Belis (Dir.)  

Lausanne, EPFL, 2013. 

Models of Reward-Modulated Spike-Timing-Dependent Plasticity

N. Frémaux / W. Gerstner (Dir.)  

Lausanne, EPFL, 2013. 

Challenges in Algorithmic Mechanism Design

P. D. Dütting / M. Henzinger; B. Faltings (Dir.)  

Lausanne, EPFL, 2013. 

Objective outcome evaluation of the shoulder and cervical function after surgery using body-fixed sensors

C. Duc / K. Aminian (Dir.)  

Lausanne, EPFL, 2013. 

Modeling a diversity of salamander motor behaviors with coupled abstract oscillators and a robot

J. Knüsel / A. Ijspeert (Dir.)  

Lausanne, EPFL, 2013. 

Security, Privacy and Economics of Online Advertising

N. Vratonjic / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2013. 

Evolution of division of labor in artificial societies

P. Lichocki / D. Floreano; L. Keller (Dir.)  

Lausanne, EPFL, 2013. 

Privacy and Dynamics of Social Networks

P. Pedarsani / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2013. 

Quantifying and Protecting Location Privacy

R. Shokri / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2013. 

Semantic Awareness for Automatic Image Interpretation

A. Lindner / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2013. 

Privacy-aware Publishing of Decentralized Access-Controlled Content

R. Narendula / K. Aberer (Dir.)  

Lausanne, EPFL, 2013. 

Polar Coding for Communication Networks

M. Karzand / E. Telatar (Dir.)  

Lausanne, EPFL, 2013. 

Cooperative Visual Monitoring in Energy-Constrained Wireless Sensor Networks

Z. Chen / M. Vetterli; G. Barrenetxea (Dir.)  

Lausanne, EPFL, 2013. 

Multi-Agent Learning for Resource Allocation Problems

L. Cigler / B. Faltings (Dir.)  

Lausanne, EPFL, 2013. 

Framework for printing with daylight fluorescent inks

R. Rossier / R. Hersch (Dir.)  

Lausanne, EPFL, 2013. 

Portfolio construction under information asymmetry

L. Coulot / M. Vetterli; P. Bossaerts (Dir.)  

Lausanne, EPFL, 2013. 

Legged locomotion with spinal undulations

K. Karakasiliotis / A. Ijspeert (Dir.)  

Lausanne, EPFL, 2013. 

Distributed Sensor Data Models and Their Impact on Energy Consumption of Wireless Sensor Networks

U. Hunkeler / K. Aberer; P. Scotton (Dir.)  

Lausanne, EPFL, 2013. 

2012

Selected Contributions on Multimedia Quality Evaluation

F. De Simone / T. Ebrahimi (Dir.)  

Lausanne, EPFL, 2012. 

Programming with Specifications

P. P. H. Suter / V. Kuncak (Dir.)  

Lausanne, EPFL, 2012. 

Paper Interfaces: an HCI Approach to Geometry Education

Q. Bonnard / P. Dillenbourg; F. Kaplan (Dir.)  

Lausanne, EPFL, 2012. 

Modeling and Design Techniques for 3-D ICs under Process, Voltage, and Temperature Variations

H. Xu / G. De Micheli (Dir.)  

Lausanne, EPFL, 2012. 

Multi-parametric source-filter separation of speech and prosodic voice restoration

O. Schleusing / J-M. Vesin (Dir.)  

Lausanne, EPFL, 2012. 

Broadcasting and Multicasting Nested Message Sets

S. Saeedi Bidokhti / C. Fragouli; S. Diggavi (Dir.)  

Lausanne, EPFL, 2012. 

Graph-Based Information Processing

A. Karbasi / R. Urbanke; M. Vetterli (Dir.)  

Lausanne, EPFL, 2012. 

Querypoint Debugging (Semi-Automated Inspection of Buggy Execution)

S. Mirghasemi / C. Petitpierre (Dir.)  

Lausanne, EPFL, 2012. 

Reliability Analysis of Data Storage Systems

V. Venkatesan / R. Urbanke; C. Fragouli (Dir.)  

Lausanne, EPFL, 2012. 

In-field objective evaluation and analysis in ski jumping using inertial sensors

J. Chardonnens / K. Aminian (Dir.)  

Lausanne, EPFL, 2012. 

Cell-Based Deformation Monitoring via 3D Point Clouds

J. Wu / B. Merminod (Dir.)  

Lausanne, EPFL, 2012. 

Building Wireless Network Coding Protocols

L. Keller / C. Fragouli (Dir.)  

Lausanne, EPFL, 2012. 

Selection and Aggregation of Ranking Criteria for Retrieval from Scientific Publication Databases

M. Veselý / M. Rajman (Dir.)  

Lausanne, EPFL, 2012. 

Resolving Ambiguities in Monocular 3D Reconstruction of Deformable Surfaces

A. Varol / P. Fua (Dir.)  

Lausanne, EPFL, 2012. 

Lightweight Modular Staging and Embedded Compilers

T. Rompf / M. Odersky (Dir.)  

Lausanne, EPFL, 2012. 

Modeling and Measuring Performance of Data Dissemination in Opportunistic Networks

N. Ristanovic / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2012. 

Randomized versus Deterministic Implementations of Concurrent Data Structures

D. Alistarh / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2012. 

Models and Algorithms for Whole-Genome Evolution and their Use in Phylogenetic Inference

Y. Lin / B. M. E. Moret (Dir.)  

Lausanne, EPFL, 2012. 

Assessment of Foot Signature Using Wearable Sensors for Clinical Gait Analysis and Real-Time Activity Recognition

B. Mariani / K. Aminian (Dir.)  

Lausanne, EPFL, 2012. 

Optimal Design of Signaling Modules

A. Radivojevic / D. Bonvin; V. Hatzimanikatis (Dir.)  

Lausanne, EPFL, 2012. 

Statistical and Algebraic Cryptanalysis of Lightweight and Ultra-Lightweight Symmetric Primitives

P. Sepehrdad / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2012. 

State Machine Replication

N. F. d. S. Santos / A. Schiper (Dir.)  

Lausanne, EPFL, 2012. 

Network Coding

M. Jafari Siavoshani / C. Fragouli (Dir.)  

Lausanne, EPFL, 2012. 

Design Methods and Tools for Application-Specific Predictable Networks-on-Chip

C. Seiculescu / G. De Micheli; L. Benini (Dir.)  

Lausanne, EPFL, 2012. 

Coordination and Sampling in Distributed Constraint Optimization

B. Ottens / B. V. Faltings (Dir.)  

Lausanne, EPFL, 2012. 

Design, Modeling and Optimization of Stochastic Reactive Distributed Robotic Systems

G. Mermoud / A. Martinoli; J. Brugger (Dir.)  

Lausanne, EPFL, 2012. 

Compressive Sampling Strategies for Multichannel Signals

M. Golbabaee / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2012. 

Wavelet-Based Reconstruction for Magnetic Resonance Imaging

M. Guerquin-Kern / M. Unser (Dir.)  

Lausanne, EPFL, 2012. 

Methods for Single Trial Analysis of Asynchronous EEG Patterns

N. Bourdaud / J. d. R. Millán (Dir.)  

Lausanne, EPFL, 2012. 

On the Performance of Software Transactional Memory

A. Dragojevic / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2012. 

Protein Domain Prediction and Alternative Splicing Histories

Y. Christinat / B. M. E. Moret (Dir.)  

Lausanne, EPFL, 2012. 

Reconstruction of Large-Scale Phylogenies

V. Rajan / B. M. E. Moret (Dir.)  

Lausanne, EPFL, 2012. 

Content and Context-Aware Interfaces for Smarter Media Control

M. Hopmann / D. Thalmann; F. Vexo (Dir.)  

Lausanne, EPFL, 2012. 

Closing the Gap between FPGA and ASIC

H. Parandeh Afshar / P. Ienne (Dir.)  

Lausanne, EPFL, 2012. 

Faster Software Cryptography

D. A. Osvik / A. K. Lenstra (Dir.)  

Lausanne, EPFL, 2012. 

Design and Analysis of Multi-Block-Length Hash Functions

O. Özen / A. K. Lenstra (Dir.)  

Lausanne, EPFL, 2012. 

Practical Network Tomography

D. G. Ghita / P. Thiran; K. Argyraki (Dir.)  

Lausanne, EPFL, 2012. 

Bits from Photons

F. Yang / M. Vetterli; L. Sbaiz (Dir.)  

Lausanne, EPFL, 2012. 

DSPE: Domain Specific Language for Parallel Real-Time Stream Processing

T. Leidi / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2012. 

Design and User Perception Issues for Personality-Engaged Recommender Systems

R. Hu / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2012. 

Supporting Reflection and Classroom Orchestration with Tangible Tabletops

L. H. S. Do / P. Dillenbourg; P. Jermann (Dir.)  

Lausanne, EPFL, 2012. 

Learning to Detect Objects with Minimal Supervision

K. Ali / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2012. 

Security and Privacy in RFID Systems

K. Ouafi / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2012. 

On the Cryptanalysis of Public-Key Cryptography

J. W. Bos / A. K. Lenstra (Dir.)  

Lausanne, EPFL, 2012. 

Decoding Self-paced Upper Limb Reaching Movements from Brain Signals

E. Lew Yi Lee; J. d. R. Millán 

Lausanne, EPFL, 2012. 

Linear Scalability of Distributed Applications

N. Bonvin / K. Aberer (Dir.)  

Lausanne, EPFL, 2012. 

Application of Adaptive Optics to Focusing and Imaging

D. Iwaniuk / P. Rastogi (Dir.)  

Lausanne, EPFL, 2012. 

Ambient Awareness for the Orchestration of Collaborative Problem Solving

H. Seiied Alavi / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2012. 

Sparsity-Inducing Reconstruction Methods for Fluorescence Diffuse Optical Tomography

J-C. Baritaux / M. Unser (Dir.)  

Lausanne, EPFL, 2012. 

A High-Throughput Byzantine Fault-Tolerant Protocol

N. Knezevic / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2012. 

Spatial Acoustic Signal Processing

M. Kolundzija / M. Vetterli; C. Faller (Dir.)  

Lausanne, EPFL, 2012. 

On the Role of Constraints in Optimization under Uncertainty

S. A. Deshpande / D. Bonvin; B. Chachuat (Dir.)  

Lausanne, EPFL, 2012. 

2011

Ergonomic Simulation Revisited Using Parametric Virtual Humans in the Biomechanical Framework

H. Puthiya Veettil / D. Thalmann (Dir.)  

Lausanne, EPFL, 2011. 

Design of Thermal Management Control Policies for Multiprocessors Systems on Chip

F. Zanini / G. De Micheli (Dir.)  

Lausanne, EPFL, 2011. 

Cryptographic Hash Functions in Groups and Provable Properties

J. Šarinay / A. K. Lenstra (Dir.)  

Lausanne, EPFL, 2011. 

Open-Ended Learning of Visual and Multi-Modal Patterns

J. Luo / H. Bourlard; B. Caputo (Dir.)  

Lausanne, EPFL, 2011. 

Dual Eye-Tracking Methods for the Study of Remote Collaborative Problem Solving

M-A. Nüssli / P. Dillenbourg; P. Jermann (Dir.)  

Lausanne, EPFL, 2011. 

Decision Procedures for Program Synthesis and Verification

R. Piskac / V. Kuncak (Dir.)  

Lausanne, EPFL, 2011. 

Polar Coding Theorems for Discrete Systems

E. Sasoglu / E. Telatar (Dir.)  

Lausanne, EPFL, 2011. 

Distributed Constraint Optimization

T. Léauté / B. V. Faltings (Dir.)  

Lausanne, EPFL, 2011. 

Analysis of Anticipation Related Potentials for Brain Computer Interaction

G. Garipelli; J. d. R. Millán / R. Chavarriaga Lozano (Dir.)  

Lausanne, EPFL, 2011. 

Self-Similar Vector Fields

P. Dehghani Tafti / M. Unser (Dir.)  

Lausanne, EPFL, 2011. 

Object Duplicate Detection

P. Vajda / T. Ebrahimi (Dir.)  

Lausanne, EPFL, 2011. 

Deadlock Immunity

H. Jula / G. Candea (Dir.)  

Lausanne, EPFL, 2011. 

Transcriptional Regulatory Networks across Species

X. Zhang / B. M. E. Moret (Dir.)  

Lausanne, EPFL, 2011. 

Semantic Trajectories

Z. Yan / K. Aberer; S. Spaccapietra (Dir.)  

Lausanne, EPFL, 2011. 

A Mobile World of Security

C. Neuberg / R. Urbanke (Dir.)  

Lausanne, EPFL, 2011. 

Secure Neighbor Discovery and Ranging in Wireless Networks

M. Poturalski / J-P. Hubaux; P. Papadimitratos (Dir.)  

Lausanne, EPFL, 2011. 

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

O. Crameri / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2011. 

Propagation Models for Biochemical Reaction Networks

M-E. Mateescu / T. Henzinger (Dir.)  

Lausanne, EPFL, 2011. 

Sparse Source Recovery from Boundary Measurements using an Extension of Prony’s Method for the Poisson Equation

D. Kandaswamy / D. Van de Ville; T. Blu (Dir.)  

Lausanne, EPFL, 2011. 

Software Framework for Integrated Modelling and Dimensioning of Backbone Optical Networks

S. Rumley / J. R. Mosig; C. Gaumier (Dir.)  

Lausanne, EPFL, 2011. 

Vision-Based Scene Understanding with Sparsity Promoting Priors

A. Alahi / P. Vandergheynst; M. Kunt (Dir.)  

Lausanne, EPFL, 2011. 

Dataflow Programming for Systems Design Space Exploration for Multicore Platforms

C. Lucarz / M. Mattavelli (Dir.)  

Lausanne, EPFL, 2011. 

Automated Detection and Delineation of Tree Structures in Noisy Micrographs

G. González Serrano / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2011. 

Modeling and Understanding Communities in Online Social Media using Probabilistic Methods

R. A. Negoescu / D. Gatica-Perez (Dir.)  

Lausanne, EPFL, 2011. 

Distributed Dynamics on Networks and their Applications in Network Communities, Sensor Networks and EEG’s

A. Khadivi / M. Hasler (Dir.)  

Lausanne, EPFL, 2011. 

Flexible and Robust Calibration of the Yule-Nielsen Model for CMYK Prints

T. Bugnon / R-D. Hersch (Dir.)  

Lausanne, EPFL, 2011. 

Energy-Efficient Indoor Search by Swarms of Flying Robots without Global Information

T. Stirling / D. Floreano (Dir.)  

Lausanne, EPFL, 2011. 

Extents of Reaction and Mass Transfer in the Analysis of Chemical Reaction Systems

N. P. Bhatt / D. Bonvin; M. Amrhein (Dir.)  

Lausanne, EPFL, 2011. 

Definitive Consensus for Distributed Data Inference

L. Georgopoulos / M. Hasler (Dir.)  

Lausanne, EPFL, 2011. 

A Probabilistic Approach to Socio-Geographic Reality Mining

K. Farrahi / D. Gatica-Perez (Dir.)  

Lausanne, EPFL, 2011. 

Energy-Proportional and Scalable Networks

N. Vasic / D. Kostic (Dir.)  

Lausanne, EPFL, 2011. 

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

G. Dubochet / M. Odersky (Dir.)  

Lausanne, EPFL, 2011. 

Traffic Anomaly Detection and Diagnosis on the Network Flow Level

M. P. Stöcklin / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2011. 

Information Processing and Structure of Dynamical Networks

A. Ajdari Rad / M. Hasler; R. Urbanke (Dir.)  

Lausanne, EPFL, 2011. 

Optimally Localized Wavelets and Smoothing Kernels

K. N. Chaudhury / M. Unser (Dir.)  

Lausanne, EPFL, 2011. 

Audio-Visual Fusion

A. Llagostera Casanovas / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2011. 

Signaling and Reciprocity

W. Galuba / K. Aberer (Dir.)  

Lausanne, EPFL, 2011. 

Bringing Stability to Wireless Mesh Networks

A. Aziz / P. Thiran (Dir.)  

Lausanne, EPFL, 2011. 

Single-Photon Techniques for Standard CMOS Digital ICs

C. Favi / E. Charbon (Dir.)  

Lausanne, EPFL, 2011. 

Broadcast Encryption and Traitor Tracing for Conditional Access Systems

A. Karlov / A. K. Lenstra (Dir.)  

Lausanne, EPFL, 2011. 

Genetic Representation of Adaptive Neural Controllers

P. Dürr / D. Floreano (Dir.)  

Lausanne, EPFL, 2011. 

When Whereabouts is No Longer Thereabouts

J. Freudiger / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2011. 

Neuromuscular Modeling and Visualization of the Human Lower Extremities

A. Sandholm / D. Thalmann (Dir.)  

Lausanne, EPFL, 2011. 

Subspace Correction Methods in Multivariate Calibration

P. S. Gujral / D. Bonvin; M. Amrhein (Dir.)  

Lausanne, EPFL, 2011. 

Finding Objects of Interest in Images using Saliency and Superpixels

R. Achanta / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2011. 

Model Checking of Distributed Algorithm Implementations

M. Yabandeh / D. Kostic; R. Guerraoui (Dir.)  

Lausanne, EPFL, 2011. 

Round-Based Consensus Algorithms, Predicate Implementations and Quantitative Analysis

F. Borran / A. Schiper (Dir.)  

Lausanne, EPFL, 2011. 

2010

Virtual Human Control for Reaching Tasks

D. Maupu / D. Thalmann (Dir.)  

Lausanne, EPFL, 2010. 

Database Queries in Java

C. M-Y. Iu / W. Zwaenepoel (Dir.)  

Lausanne, EPFL, 2010. 

Quantitative Analysis of Robustness in Systems Biology

M. Hafner / M. Hasler; H. Köppl (Dir.)  

Lausanne, EPFL, 2010. 

Evolutionary Synthesis of Communication-Based Aerial Swarms

S. Hauert / D. Floreano; J-C. Zufferey (Dir.)  

Lausanne, EPFL, 2010. 

Augmenting Face-to-Face Collaboration with Low-Resolution Semi-Ambient Feedback

K. Bachour / P. Dillenbourg; F. Kaplan (Dir.)  

Lausanne, EPFL, 2010. 

Mathematical Modeling of T-Cell Experimental Data

I. Baltcheva / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2010. 

Isolated Actors for Race-Free Concurrent Programming

P. Haller / M. Odersky (Dir.)  

Lausanne, EPFL, 2010. 

A Modular Approach towards Wearable Computing

X. Righetti / D. Thalmann (Dir.)  

Lausanne, EPFL, 2010. 

Signal Processing in Space and Time

F. P. C. Pinto / M. Vetterli (Dir.)  

Lausanne, EPFL, 2010. 

Robust, High-Speed Interest Point Matching for Real-Time Applications

M. Calonder / P. Fua (Dir.)  

Lausanne, EPFL, 2010. 

Adaptation en temps réel pour une meilleure qualité d’expérience en réalité augmentée

D. Perritaz / D. Gillet; C. Salzmann (Dir.)  

Lausanne, EPFL, 2010. 

Sensing and Recovery under Sparsity Constraints

A. Hormati / M. Vetterli (Dir.)  

Lausanne, EPFL, 2010. 

Analysis of Multiview Omnidirectional Images in a Spherical Framework

Z. Arican / P. Frossard (Dir.)  

Lausanne, EPFL, 2010. 

DAISY: A Fast Descriptor for Dense Wide Baseline Stereo and Multiview Reconstruction

E. Tola / P. Fua (Dir.)  

Lausanne, EPFL, 2010. 

The 3A Interaction Model and Relation-Based Recommender System

S. El Helou / D. Gillet (Dir.)  

Lausanne, EPFL, 2010. 

Discrete and Rhythmic Motor Primitives for the Control of Humanoid Robots

S. Dégallier Rochat / A. J. Ijspeert (Dir.)  

Lausanne, EPFL, 2010. 

Compiling Scala for Performance

I. Dragos / M. Odersky (Dir.)  

Lausanne, EPFL, 2010. 

Approximation for Problems in Multi-User Information Theory

S. Mohajerzefreh / S. Diggavi (Dir.)  

Lausanne, EPFL, 2010. 

Game Theory in Communications

V. Gajic / B. Rimoldi (Dir.)  

Lausanne, EPFL, 2010. 

Spatial Fringe Analysis Methods and their Application to Holographic Interferometry and Fringe Projection Techniques

S. S. Gorthi / P. Rastogi (Dir.)  

Lausanne, EPFL, 2010. 

Fixed-Order Robust Controller Design by Convex Optimization Using Spectral Models

G. Galdos Sanz de Galdeano / R. Longchamp; A. Karimi (Dir.)  

Lausanne, EPFL, 2010. 

Software integration in mobile robotics, a science to scale up machine intelligence

S. Magnenat / F. Mondada (Dir.)  

Lausanne, EPFL, 2010. 

Efficient Processing of Ranking Queries in Novel Applications

P. Haghani / K. Aberer (Dir.)  

Lausanne, EPFL, 2010. 

Software Verification by Combining Program Analyses of Adjustable Precision

G. Théoduloz / T. Henzinger (Dir.)  

Lausanne, EPFL, 2010. 

The Complementarity of Tangible and Paper Interfaces in Tabletop Environments for Collaborative Learning

G. Zufferey / P. Dillenbourg; P. Jermann (Dir.)  

Lausanne, EPFL, 2010. 

Live Streaming with Gossip

M. Monod / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2010. 

Computer Aided Cryptanalysis from Ciphers to Side Channels

M. Vuagnoux / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2010. 

Applications of Derandomization Theory in Coding

M. Cheraghchi Bashi Astaneh / M. A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2010. 

Neutrality-Based Symmetric Cryptanalysis

S. Khazaei / A. K. Lenstra; W. Meier (Dir.)  

Lausanne, EPFL, 2010. 

Biometrics & [and] Security

C. Barral / S. Vaudenay; A. Tria (Dir.)  

Lausanne, EPFL, 2010. 

Strategies for Delay-Limited Source-Channel Coding

M. Kleiner / B. Rimoldi (Dir.)  

Lausanne, EPFL, 2010. 

Learning Pose Invariant and Covariant Classifiers from Image Sequences

M. Özuysal / P. Fua; V. Lepetit (Dir.)  

Lausanne, EPFL, 2010. 

Bioinspired Jumping Locomotion for Miniature Robotics

M. Kovac / D. Floreano; J-C. Zufferey (Dir.)  

Lausanne, EPFL, 2010. 

Pre-Synthesis Optimization of Arithmetic Circuits

A. K. Verma / P. Ienne (Dir.)  

Lausanne, EPFL, 2010. 

Modeling and Characterization of Coated Conductors Applied to the Design of Superconducting Fault Current Limiters

F. Roy / B. Dutoit (Dir.)  

Lausanne, EPFL, 2010. 

Ultra Low Power Communication Protocols for UWB Impulse Radio Wireless Sensor Networks

J. Rousselot / J-D. Decotignie (Dir.)  

Lausanne, EPFL, 2010. 

Leveraging User-Generated Content for Information Discovery on the Web

A. Budura / K. Aberer (Dir.)  

Lausanne, EPFL, 2010. 

High Quality P2P Service Provisioning via Decentralized Trust Management

H. L. Vu / K. Aberer (Dir.)  

Lausanne, EPFL, 2010. 

Bridging the Gap between Detection and Tracking for 3D Human Motion Recovery

A. Fossati / P. Fua (Dir.)  

Lausanne, EPFL, 2010. 

Interference Robustness and Security of Impulse-Radio Ultra-Wide Band Networks

M. Flury / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2010. 

Context Aware, Multimodal, and Semantic Rendering Engine

P. Salamin / D. Thalmann; F. Vexo (Dir.)  

Lausanne, EPFL, 2010. 

Application of Tactile Perception Enhancement

S. Cardin / D. Thalmann (Dir.)  

Lausanne, EPFL, 2010. 

A Publish/Subscribe Approach to Processing Continuous Queries over Sensor Streams

O. A. Jurca / K. Aberer (Dir.)  

Lausanne, EPFL, 2010. 

User Perceived Qualities and Acceptance of Recommender Systems

N. Jones / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2010. 

Architectural Support for Coherent Architecturally Visible Storage in Instruction Set Extensions

T. J. H. Kluter / E. Charbon; P. Ienne (Dir.)  

Lausanne, EPFL, 2010. 

Theory of Transactional Memory

M. Kapalka / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2010. 

Non-Iterative Data-Driven Model Reference Control

K. v. Heusden / D. Bonvin; A. Karimi (Dir.)  

Lausanne, EPFL, 2010. 

Fisher Kernels and Probabilistic Latent Semantic Models

E. Eckard / M. Rajman; J-C. Chappelier (Dir.)  

Lausanne, EPFL, 2010. 

Binaural Audio Signal Processing Using Interaural Coherence Matching

F. Menzer / M. Vetterli; C. Faller (Dir.)  

Lausanne, EPFL, 2010. 

Designable Visual Markers for Mobile Human-Computer Interaction

E. Costanza / J. Huang (Dir.)  

Lausanne, EPFL, 2010. 

Motion Synergies for Real-Time Postural Control in Virtual Environments

D. Raunhardt / R. Boulic (Dir.)  

Lausanne, EPFL, 2010. 

Pedestrian localization, tracking and behavior analysis from multiple cameras

J. Berclaz / P. Fua; F. Fleuret (Dir.)  

Lausanne, EPFL, 2010. 

Bio-inspired and probabilistic algorithms for distributed odor source localization using mobile robots

T. Lochmatter / A. Martinoli (Dir.)  

Lausanne, EPFL, 2010. 

Computation and visualization of ideal knot shapes

M. Carlen / J. H. Maddocks (Dir.)  

Lausanne, EPFL, 2010. 

Design and implementation of an efficient data stream processing system

A. Salehi / K. Aberer (Dir.)  

Lausanne, EPFL, 2010. 

In-flight quality assessment and data processing for airborne laser scanning

P. Schär / J. Skaloud (Dir.)  

Lausanne, EPFL, 2010. 

Routing and search on large scale networks

D. Tschopp / S. Diggavi; M. Grossglauser (Dir.)  

Lausanne, EPFL, 2010. 

Exploiting redundancy in color images

J. Marguier / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2010. 

The SURE-LET approach to image denoising

F. Luisier / M. Unser; T. Blu (Dir.)  

Lausanne, EPFL, 2010. 

Formalizing and verifying transactional memories

V. Singh / T. Henzinger (Dir.)  

Lausanne, EPFL, 2010. 

2009

Data-driven constraint-based motion editing

S. R. d. Carvalho / D. Thalmann; R. Boulic (Dir.)  

Lausanne, EPFL, 2009. 

Evolution of whole genomes through inversions

K. Swenson / B. M. E. Moret (Dir.)  

Lausanne, EPFL, 2009. 

The evolution of communication in robot societies

S. Mitri / D. Floreano; L. Keller (Dir.)  

Lausanne, EPFL, 2009. 

Adaptation based scalable video delivery and management

B. Shao / M. Mattavelli (Dir.)  

Lausanne, EPFL, 2009. 

Impulse Radio Ultra-WideBand ranging and localization for sensor networks

H. Zhan / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2009. 

Distributed average consensus for wireless sensor networks

F. Bénézit / M. Vetterli; P. Thiran (Dir.)  

Lausanne, EPFL, 2009. 

Answering questions about archived, annotated meetings

M. Ailomaa / M. Rajman (Dir.)  

Lausanne, EPFL, 2009. 

Analysis and design of symmetric cryptographic algorithms

J-P. Aumasson / S. Vaudenay; W. Meier (Dir.)  

Lausanne, EPFL, 2009. 

Evolutionary reverse engineering of gene networks

D. Marbach / D. Floreano (Dir.)  

Lausanne, EPFL, 2009. 

Source and channel coding using Fountain codes

B. Ndzana Ndzana / M. A. Shokrollahi (Dir.)  

Lausanne, EPFL, 2009. 

Fundamental limits and optimal operation in large wireless networks

A. Özgür Aydin / O. Lévêque; E. Telatar (Dir.)  

Lausanne, EPFL, 2009. 

Model-free data interpretation for continuous monitoring of complex structures

D. Posenato / I. Smith (Dir.)  

Lausanne, EPFL, 2009. 

Information-theoretic secrecy for wireless networks

E. Perron / S. Diggavi; E. Telatar (Dir.)  

Lausanne, EPFL, 2009. 

Implicit methods for modeling gene regulatory networks

A. Garg / G. De Micheli (Dir.)  

Lausanne, EPFL, 2009. 

Mental vision

A. Peternier / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Simulating interactions with virtual characters for the treatment of social phobia

H. Grillon / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Understanding the Web

E. Baykan / M. Henzinger (Dir.)  

Lausanne, EPFL, 2009. 

Polar codes for channel and source coding

S. B. Korada / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2009. 

Vision-based control of near-obstacle flight

A. Beyeler / D. Floreano; J-C. Zufferey (Dir.)  

Lausanne, EPFL, 2009. 

Secure communication using authenticated channels

S. Pasini / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2009. 

Modifier-adaptation methodology for real-time optimization

A. G. Marchetti / D. Bonvin; B. Chachuat (Dir.)  

Lausanne, EPFL, 2009. 

Adaptive frequency tracking and application to biomedical signals

Y. Prudat / J-M. Vesin (Dir.)  

Lausanne, EPFL, 2009. 

Statistical physics methods for sparse graph codes

S. Kudekar / R. Urbanke; N. Macris (Dir.)  

Lausanne, EPFL, 2009. 

Hybridation MEMS/UWB pour la navigation pédestre intra-muros

V. J. T. Renaudin-Schouler / B. Merminod; M. Kasser (Dir.)  

Lausanne, EPFL, 2009. 

Contact modeling and collision detection in human joints

E. Arbabi / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Cooperative coding on orthogonal information networks

D. Vasudevan / E. Telatar (Dir.)  

Lausanne, EPFL, 2009. 

Super-resolution fluorescence microscopy based on physical models

F. Aguet / M. Unser (Dir.)  

Lausanne, EPFL, 2009. 

On the design of audio features robust to the album-effect for music information retrieval

N. Scaringella / H. Bourlard (Dir.)  

Lausanne, EPFL, 2009. 

Data-driven methods for tracking improvement

M. E. J. Butcher / R. Longchamp; A. Karimi (Dir.)  

Lausanne, EPFL, 2009. 

Generating, animating, and rendering varied individuals for real-time crowds

J. Maim / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Real-time motion planning, navigation, and behavior for large crowds of virtual humans

B. Yersin / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Adaptive wake and sleep detection for wearable systems

W. Karlen / D. Floreano (Dir.)  

Lausanne, EPFL, 2009. 

Source coding in sensor networks

R. Konsbruck / E. Telatar; M. Vetterli (Dir.)  

Lausanne, EPFL, 2009. 

On uncoordinated wireless ad-hoc networks

A. El Fawal / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2009. 

On unifying sparsity and geometry for image-based 3D scene representation

I. Tošic / P. Frossard (Dir.)  

Lausanne, EPFL, 2009. 

Frequency-domain controller design by linear programming

M. Kunze / R. Longchamp; A. Karimi (Dir.)  

Lausanne, EPFL, 2009. 

Automatic face analysis in static and dynamic environments

M. Sorci / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2009. 

A hardware-software codesign framework for cellular computing

P-A. Mudry / A. J. Ijspeert; G. Tempesti (Dir.)  

Lausanne, EPFL, 2009. 

Sparsity & [and] dictionaries – algorithms & [and] design

K. Schnass / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2009. 

Two-handed haptic feedback in generic virtual environments

R. Ott / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Fast and automated wavelet-regularized image restoration in fluorescence microscopy

C. Vonesch / M. Unser (Dir.)  

Lausanne, EPFL, 2009. 

Nonideal sampling and regularized interpolation of noisy data

S. Ramani / M. Unser (Dir.)  

Lausanne, EPFL, 2009. 

Variational methods for texture segmentation

N. Houhou / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2009. 

Semantics for virtual humans

A. Garcia Rojas Martinez / D. Thalmann (Dir.)  

Lausanne, EPFL, 2009. 

Overactuated systems coordination

Y. Michellod / D. Gillet; P. Müllhaupt (Dir.)  

Lausanne, EPFL, 2009. 

Geometry-aware analysis of high-dimensional visual information sets

E. Kokiopoulou / P. Frossard (Dir.)  

Lausanne, EPFL, 2009. 

Multimodal feature extraction and fusion for audio-visual speech recognition

M. Gurban / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2009. 

Trajectory determination and analysis in sports by satellite and inertial navigation

A. Wägli / J. Skaloud (Dir.)  

Lausanne, EPFL, 2009. 

Performance prediction and race detection in message-passing parallel applications

B. Schäli / R-D. Hersch (Dir.)  

Lausanne, EPFL, 2009. 

Learning and recovering 3D surface deformations

M. Salzmann / P. Fua (Dir.)  

Lausanne, EPFL, 2009. 

Operator-like wavelets with application to functional magnetic resonance imaging

I. Khalidov / M. Unser (Dir.)  

Lausanne, EPFL, 2009. 

Distributed intelligent algorithms for robotic sensor networks monitoring discontinuous anisotropic environmental fields

C. M. Cianci / A. Martinoli (Dir.)  

Lausanne, EPFL, 2009. 

Concurrency and dynamic protocol update for group communication middleware

O. Rütti / A. Schiper (Dir.)  

Lausanne, EPFL, 2009. 

2008

Synthesis, modeling, and experimental validation of distributed robotic search

J. Pugh / A. Martinoli (Dir.)  

Lausanne, EPFL, 2008. 

Selected topics on distributed video coding

M. Ouaret / T. Ebrahimi (Dir.)  

Lausanne, EPFL, 2008. 

Motor intention in the posterior parietal cortex

J. Acimovic / M. Hasler (Dir.)  

Lausanne, EPFL, 2008. 

A collaborative approach to image segmentation and behavior recognition from image sequences

L. I. Gui / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2008. 

Reflexes: programming abstractions for highly responsive computing in Java

J. H. Spring / R. Guerraoui; J. Vitek (Dir.)  

Lausanne, EPFL, 2008. 

Control of legged locomotion using dynamical systems

L. Righetti / A. J. Ijspeert (Dir.)  

Lausanne, EPFL, 2008. 

Distributed signal processing for binaural hearing aids

O. Roy / M. Vetterli (Dir.)  

Lausanne, EPFL, 2008. 

Synchronization in dynamical networks

M. Jalili / M. Hasler (Dir.)  

Lausanne, EPFL, 2008. 

Quantitative security of block ciphers

T. Baignères / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2008. 

Estimation of the depth of anaesthesia from interacting physiological oscillators

K. Oshima / M. Hasler (Dir.)  

Lausanne, EPFL, 2008. 

Augmented reality for non-rigid surfaces

J. Pilet / P. Fua (Dir.)  

Lausanne, EPFL, 2008. 

Wireless sensor networks for marginal farming in India

J. Panchard / J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2008. 

Self-replication of complex digital circuits in programmable logic devices

J. Rossier / A. J. Ijspeert; G. Tempesti (Dir.)  

Lausanne, EPFL, 2008. 

Single-photon image sensors in CMOS

C. L. Niclass / E. Charbon (Dir.)  

Lausanne, EPFL, 2008. 

Application of 3D range camera in virtual human-computer interfaces

H. Du / E. Charbon (Dir.)  

Lausanne, EPFL, 2008. 

User decision improvement and trust building in product recommender systems

L. Chen / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2008. 

Sharing of probabilistically correlated data in peer-to-peer networks

R. Schmidt / K. Aberer (Dir.)  

Lausanne, EPFL, 2008. 

Diversity embedding for broadband communication

S. Dusad / S. Diggavi (Dir.)  

Lausanne, EPFL, 2008. 

Resource allocation and adaptive scheduling for scalable video streaming

J-P. Wagner / P. Frossard (Dir.)  

Lausanne, EPFL, 2008. 

Interference management in impulse-radio ultra-wide band networks

R. Merz / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2008. 

Design of multimodal dialogue-based systems

M. Melichar / M. Rajman (Dir.)  

Lausanne, EPFL, 2008. 

Design and evaluation issues for user-centric online product search

J. Zhang / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2008. 

Local search techniques for multi-agent constraint optimization problems

Q. H. Nguyen / B. V. Faltings (Dir.)  

Lausanne, EPFL, 2008. 

Data mining methodologies for supporting engineers during system identification

S. Saitta / I. Smith; B. Raphael (Dir.)  

Lausanne, EPFL, 2008. 

Feature-based SLAM using relative quantities and structural knowledge

V. T. Nguyen / R. Siegwart (Dir.)  

Lausanne, EPFL, 2008. 

Analysis of lightweight stream ciphers

S. Fischer / S. Vaudenay; W. Meier (Dir.)  

Lausanne, EPFL, 2008. 

Deferred-update database replication

R. Malta Schmidt / W. Zwaenepoel; F. Pedone (Dir.)  

Lausanne, EPFL, 2008. 

Stability and bounds in aggregate scheduling networks

G. Rizzo / J. Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2008. 

Jet-scheduling control for flat systems

D. Buccieri / D. Bonvin; P. Müllhaupt (Dir.)  

Lausanne, EPFL, 2008. 

Data processing techniques for the characterization of atrial fibrillation

M. Lemay / J-M. Vesin (Dir.)  

Lausanne, EPFL, 2008. 

Access control and privacy in location-aware applications

M. L. Damiani / S. Spaccapietra; E. Bertino (Dir.)  

Lausanne, EPFL, 2008. 

Dense deformation field estimation for atlas registration using the active contour framework

V. Duay / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2008. 

2007

Advances in top-down and bottom-up approaches to video-based camera tracking

D. Marimón Sanjuán / T. Ebrahimi (Dir.)  

Lausanne, EPFL, 2007. 

Information theoretic combination of classifiers with application to face detection

J. Meynet / J-P. Thiran (Dir.)  

Lausanne, EPFL, 2007. 

Algorithmic aspects of sparse approximations

P. Jost / P. Vandergheynst (Dir.)  

Lausanne, EPFL, 2007. 

Ontology filtering

V. Schickel-Zuber / B. V. Faltings (Dir.)  

Lausanne, EPFL, 2007. 

Concrete syntax definition for modeling languages

F. Fondement / T. Baar (Dir.)  

Lausanne, EPFL, 2007. 

Bayesian machine learning applied in a brain-computer interface for disabled users

U. Hoffmann / T. Ebrahimi; J-M. Vesin (Dir.)  

Lausanne, EPFL, 2007. 

Coordination schemes for distributed boundary coverage with a swarm of miniature robots

N. Correll / A. Martinoli (Dir.)  

Lausanne, EPFL, 2007. 

Object-oriented pattern matching

B. Emir / M. Odersky (Dir.)  

Lausanne, EPFL, 2007. 

Efficient image duplicate detection based on image analysis

Y. Maret / T. Ebrahimi (Dir.)  

Lausanne, EPFL, 2007. 

Engineering limit cycle systems

J. Buchli / A. J. Ijspeert (Dir.)  

Lausanne, EPFL, 2007. 

Design and control of amphibious robots with multiple degrees of freedom

A. Crespi / A. J. Ijspeert (Dir.)  

Lausanne, EPFL, 2007. 

2006

Phase estimation methods and their application to holographic interferometry

R. Langoju / P. Rastogi (Dir.)  

Lausanne, EPFL, 2006. 

Web-based interaction and collaboration in felxible engineering education

A. V. Nguyen Ngoc / D. Gillet (Dir.)  

Lausanne, EPFL, 2006. 

2005

From diffusion MRI to brain connectomics

P. Hagmann / J-P. Thiran; R. Meuli (Dir.)  

Lausanne, EPFL, 2005.