PhD Summer School 2012

• Optimal Buffer Size for Wireless Mesh Networks – Ahmad Showail, KAUST
• Communication In Massively Parallel Cloud Computer Systems – Alan Mujumdar, University of Cambridge
• Wake Up Studio – Makes your Good Morning – Alexander Okoledov , MIPT
• ThinkAir: the power of mobile cloud computing – Andrius Aucinas, University of Cambridge
• Supporting Mental Wellbeing through Digital Design – Anja Thieme, Newcastle University
• Interaction in the family car: Managing conversations & Media – Chandrika Cycil, Brunel University
• Control-Data Decoupled Architecture – Daniel Nemirovsky, Barcelona Supercomputing Center
• Sevigator – Virtualization-based tool for preventing sensitive data leaks from a computer running untrusted commodity operating system – Denis Efremov, The Institute for System Programming of the Russian Academy of Sciences
• Towards A Next Generation Data-Parallel Platform For Graph Processing – Karthik Nilakant, University of Cambridge
• Microsoft AGE: Adapted Games for Elderly – Mahmoud Awad, Queens University
• uvNIC: Rapid Prototyping NIC Device Drivers – Matthew P. Grosvenor, University of Cambridge
• CogFrame: Enabling Large Scale Flexible Deployment of Cognitive Radio Routing Protocols – Mohamed Ibrahim, Egypt-Japan University of Science and Technology
• Predicting the Evolution of Collective Web Catalogues – Natalia Prytkova, Max Planck Institute for Computer Science
• DejaVu: A Complex Event Processing System for Pattern Matching over Live and Historical Data Streams – Nihal Dindar, ETH Zurich
• Towards activity-relevant attribution of IT energy usage – Oliver Bates, Lancaster University
• Public Health Applications for SenseCam in the field of Travel Research – Paul Kelly, University of Oxford
• Exploring the Hardware-Software Interface using an FPGA-based Research Platform – Robert Norton, University of Cambridge
• Social Networking Services for Public Spaces – Simo Hosio, University of Oulu
• Programmable Memory Controller for Vector System-on-Chip – Tassadaq Hussain, University Politechnique Catalonia
• Self-Optimising Data Centres – Can data centres model themselves? – Toby Moncaster, University of Cambridge Computer Laboratory
• Development of control system to detect incorrect pupil’s posture using Kinect – Valentina Kustikova, Nizhny Novgorod State University

• Nonintrusive human’s functional state monitoring system – Alexandra Vtyurina, Southern Federal University
• Random Decision Forests For Human Motion Synthesis – Andreas Lehrmann, Max Planck Institute for Intelligent Systems
• Multiple Feedback loops control asymmetry establishment in the septation initiation network of Fission Yeast Cells – Archana Bajpai, Microsoft Research University of Trento Centre for Computational and Systems Biology
• Simultaneous Algebraic Reconstruction Technique in Electon Tomography – Beata Turonová, Saarland University (IMPRS-CS)
• Computing with Metabolic Machines – Claudio Angione, University of Cambridge
• Circadian Rhythms In Plants: Machine Learning Models And Bioinformatics Approaches – Daniel Trejo, University of Edinburgh
• A one-step method for de novo genome assembly using short paired-end sequence reads – David Silver, Technion – Israel Institute of Technology
• Environmental data fetching service – Dmitry A. Grechka, Moscow State University
• Physically based indoor scene analysis – Elena Tretyak, Max Planck Institute for Intelligent Systems
• Fast and Intuitive Epigenetic Data Analysis – Felipe Albrecht, Max Planck Institute for Informatics
• Recognition and Pose Estimation of Rigid Transparent Objects with a Kinect Sensor – Ilya Lysenkov, Itseez
• Living Cardiac Tissue Slices: a Biological Testbed to Study Action Potential Heterogeneity, Conduction Velocity and Drug Effects – Ken Wang, University of Oxford
• Gloss in Stereo – Krzysztof Templin, Max Planck Institute for Informatics
• Machinery and Computer Vision – Mateusz Malinowski , Max Planck Institute for Informatics
• Kinect for Any Game Contest Project – Maxim Pestun, Moscow State University of Lomonosov
• Depth Super Resolution by Example – Michael Hornacek, Vienna University of Technology
• Assembly and Disassembly of Ecological Networks – Miguel Lurgi, CREAF
• Music Structure Analysis: Audio Thumbnailing and Structure Scape Plot – Nanzhu Jiang, Max Planck Insitute for Informatics
• Flowers are soft. But, How Would Computers Know? – Niket Tandon, Max Planck Institute
• Bent Normals and Cones in Screen Space – Oliver Klehm, Max Planck Institute for Informatics
• Optical Simulation of Participating Media – Oskar Elek, Max Planck Institute for Informatics
• Relation Extraction for Diseases and their Determinants within the DIDO Framework – Patrick Ernst, Max Planck Institute for Informatics
• Text Recognition in Natural Images – Tatiana Novikova , Lomonosov Moscow State University
• Gene expression in mouse intestine is modulated by dietary fat intake – Tenzin Nyima , University of Trento
• Multi-Stage Constraint Programming – Nguyen Thi Van, Université de Caen Basse-Normandie
• A Universal Construction for transaction based multi-process programs – Tyler Crain, University of Rennes
• Probabilistic Image Models – Uwe Schmidt, TU Darmstadt
• Reconstruction of Complex Dynamical Networks – Wei Pan, Imperial College London
• 3D Object Completion from Unordered Depth Images using a Vocabulary Forest – Xiaokun (Kelvin) Wu, Max Planck Institute for Informatics

• Improving the DDoS resistance of Internet services – Aapo Kalliola, Aalto University
• Relational Reasoning for Programs using Higher-Order Store – Ales Bizjak, IT University of Copenhagen
• Communicating Transactions – Carlo Spaccasassi, Trinity College Dublin
• An Opportunistic Data Backup System for MANETs – David Sainz, Technion
• Simulation of AADL Models of Safety Critical Systems – Denis Buzdalov , Lomonosov Moscow State University
• How to Commit More Transactions? – Eleni Kanellou, IRISA – University of Rennes
• Harvesting Temporal Knowledge from Web Sources – Erdal Kuzey, Max Planck Institute for Informatics
• Enforcing Atomicity for Data Structure Manipulations – Guy Golan Gueta, Tel Aviv University
• 1. PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors (RV 2012 Submission) / 2. Static Verification of Relaxed Memory Models / 3. VCC+TM – Ismail Kuru , Koç University
• Controlling Aliasing with Aliasing Contracts – Janina Voigt, University of Cambridge
• How to point at an unseen target? – Jenny Vuong, University of Reading
• Efficient Distributed Grounding in Markov Logic Networks – Kaustubh Beedkar, Max Planck Institute for Informatics
• Proving Security Protocol Implementations in Modern Functional Language – Klaus Von Gleissenthall, Technical University of Munich
• Arithmetic and First-Order Theorem Proving – Marek Kosta, Max Planck Insitute for Computer Science
• Obstruction degree: measuring concurrency in shared memory systems – Mihai Letia, EPFL
• Reducing Contention in STM – Mykhailo Iaremko , ICS Forth
• Seamless distributed computing – Olle Fredriksson, The University of Birmingham
• Programming Language Evolution via Quantitative Analysis and Refactoring – Raoul-Gabriel Urma, University of Cambridge
• A Two-Tiered Index Architecture for Scalable RDF Processing – Sairam Gurajada, Max Planck Institute for Informatics
• Transactions Are Back – But How Different They Are? – Sandeep Hans, Technion
• Giving Knowledge Bases a Voice – Towards Natural Language Generation from Structured Knowledge – Sandro Bauer, University of Cambridge Computer Laboratory
• Theory for Transactional Memory – Srivatsan Ravi, T-Labs/TU Berlin
• Coeffects: Programming languages for rich environments – Tomas Petricek, University of Cambridge
• Emotion recognition in music – Vaiva Imbrasaite , University of Cambridge Computer Laboratory
• A Simple Refinement to Cube Pruning for Syntax-Based Statistical Machine Translation – Wenduan Xu, University of Cambridge
• Speculative Deforestation – Will Sonnex, University of Cambridge
• Gasnet Library Evaluation on Barrelfish and Intel SCC – Zeus Gomez Marmolejo , Barcelona Supercomputing Centre

Posters should be designed for A1 portrait (594 mm width x 841 mm height) colour printing (either PowerPoint or PDF) and articulate clearly and concisely either visually or textually:

• The challenge being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research
• The focus of the research
• The intended outcome of the research
• The current stage of the research
• Any research results, preliminary conclusions, or potentially interesting next steps

Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.

Posters should clearly display your name and the name of your university.

Submission deadline: June 8, 2012