PhD Summer School 2010

• VORTEX – Volumetric Three-Dimensional ExplorerAbhijit Karnik, University of Bristol
• Types With Numeric ConstraintsAdam Gundry, University of Strathclyde
• Hardware Transactional Memory: Implementing a Lazy-Lazy SimulatorAdria Armejach, Barcelona Supercomputing Center Universitat Politècnica de Catalunya
• An Overview of GPGPU Programming with CUDA and AcceleratorAlexander Cole, Leicester University
• Optimal Automatizable Heuristic Proof SystemsAlexander V. Smal, Steklov Institute of Mathematics at St.Petersburg
• Exploring Compilers for Tiled ArchitecturesAli Mustafa Zaidi, University of Cambridge
• Local Coloring Of GraphsAli Pourmiri, Max-Planck-Institute for Informatic
• Modelling Food Web DynamicsAlice Boit, University of Potsdam
• Analysis of Content and Activity in Social Networks for Place RecommendationsAnastasios Noulas, University of Cambridge
• Computational Insights into Signalling Crosstalk and Dynamics during C. elegans Vulval DevelopmentAntje Beyer, University of Cambridge
• Mathematical tools for the design of cognitive radiosAntonia Masucci, Supélec
• Syscall elision: Specialising programs for a faster desktop experienceChris Smowton, University of Cambridge
• Exploring control and data management within an enhanced tangible multitouch surfaceDaniel Gallardo, Universitat Pompeu Fabra
• microRNAs as new players in biology and diseaseDavide Cacchiarelli, University of Rome ‘Sapienza’
• Determining the distance to monotonicity of a biological networksFahimeh Ramezani, Max Planck Institute for Informatic
• Correcting under-exposed imagesFrederic Besse, UCL
• Software Verification by Combining Program Analyses of Adjustable PrecisionGregory Theoduloz, ÉPFL
• Knowledge discovery in learner textsHelen Yannakoudakis, University of Cambridge
• Proglab.Net, Ensuring Embedded Software Reliability at Compile-TimeHossein Hojjat, ÉPFL

• Towards Proof Script RefactoringIan Whiteside, University of Edinburgh
• Mobile phones as a gateway to cloud computingIoana Giurgiu, ETH Zurich
• Inferring Community Structure in Wild Bird PopulationsIoannis Psorakis, University of Oxford
• A data-constrained predictive model of tropical deforestation and resultant carbon emissionsIsabel Rosa, Imperial College London
• Unified Probabilistic Relevance Models for Information RetrievalJagadeesh Gorla, UCL
• Implementing Go!, A Multi Paradigm Language, on the .NET PlatformJamilu Abubakar, Imperial College London/Microsoft
• Recommendation System for Twitter UsersJisun An, University of Cambridge
• Constraint-based Specifications for System ConfigurationJohn Hewson, University of Edinburgh
• A Medical Image Search EngineKarén Simonyan, University of Oxford
• EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology ResearchKiran Rachuri, University of Cambridge
• GOmputer – The Go MachineLars Schäfers, Paderborn University
• Describing complex ecological communities using dynamical modelsLawrence Hudson, Imperial College London
• Diversification and Intensification in Parallel SAT SolvingLong Guo, CRIL-Lens France
• Discovering the Intrinsic Image LayerLumin Zhang, Max-Planck Institute
• Nimbus: Intelligent Personal StorageMalte Schwarzkopf, University of Cambridge
• Automated Reasoning for Dynamic Authorization Policy AnalysisMartin Suda, Max-Planck-Institut für Informatik
• Heterogeneous Reasoning: diagrams in proofsMatej Urbas, University of Cambridge
• Orientability of HypergraphsMegha Khosla, Max Planck Institute for Informatics
• Video Matting using optical flowMikhail Sindeyev, Moscow State University

• Autonomous Local Search for Combinatorial Problem SolvingNadarajen Veerapen, Université d’Angers
• Erdos: A social operating systemNarseo Vallina, University of Cambridge
• Global variation in tree mortalityNikee Groot, University of Leeds
• High-Performanced Visualization of Scientific DataSetsNikita Skoblov, Moscow State University
• Joint action and social interactionOlle Blomberg, University of Edinburgh
• Beefarm: an FPGA-based multiprocessor systemOriol Arcas, Barcelona Supercomputing Centre
• Reasoning about collections, Decision Procedures and ApplicationsRuzica Piskac, ÉPFL
• Facial expression synthesisTadas Baltrusaitis, University of Cambridge
• JigPheno: modelling visual phenotypes for association studiesTheofanis Karaletsos, Max Planck Insitute for Biological Cybernetics
• Trust on the InternetThomas Simpson, University of Cambridge
• Optimal Multicore Algorithms & The GPGPUTomasz Jurkiewicz, Max-Planck-Institute für Informatik
• RMS-TM++ A New Transactional Benchmark SuiteVasilis Karakostas, Barcelona Supercomputing Center
• Data Acquisition via Compressive Sensing in Wireless Sensor networksWie Chen, University of Cambridge
• Buffer overflow identification via taint dataflow graphsWie Ming, University of Cambridge
• Biological network reconstruction from noisy dataYe Yuan, University of Cambridge
• Artem MelentyevHow to extend Java compilers for semantic verification
• David HopkinsModel checking using game semantics

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:

• What challenge is being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research.
• What the research is.
• What the intended outcome is.
• What stage it is at.
• Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.

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

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

You can find example of posters on the page of the 2009 Summer School.