June 28, 2010 – July 2, 2010

Summer School 2010

Location: Cambridge, England, U.K.

  • 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.

    1. VORTEX – Volumetric Three-Dimensional Explorer – Abhijit Karnik, University of Bristol
    2. Types With Numeric Constraints – Adam Gundry, University of Strathclyde
    3. Hardware Transactional Memory: Implementing a Lazy-Lazy Simulator – Adria Armejach, Barcelona Supercomputing Center Universitat Politècnica de Catalunya
    4. An Overview of GPGPU Programming with CUDA and Accelerator – Alexander Cole, Leicester University
    5. Optimal Automatizable Heuristic Proof Systems – Alexander V. Smal, Steklov Institute of Mathematics at St.Petersburg
    6. Exploring Compilers for Tiled Architectures – Ali Mustafa Zaidi, University of Cambridge
    7. Local Coloring Of Graphs – Ali Pourmiri, Max-Planck-Institute for Informatic
    8. Modelling Food Web Dynamics – Alice Boit, University of Potsdam
    9. Analysis of Content and Activity in Social Networks for Place Recommendations – Anastasios Noulas, University of Cambridge
    10. Computational Insights into Signalling Crosstalk and Dynamics during C. elegans Vulval Development – Antje Beyer, University of Cambridge
    11. Mathematical tools for the design of cognitive radios – Antonia Masucci, Supélec
    12. Syscall elision: Specialising programs for a faster desktop experience – Chris Smowton, University of Cambridge
    13. Exploring control and data management within an enhanced tangible multitouch surface – Daniel Gallardo, Universitat Pompeu Fabra
    14. microRNAs as new players in biology and disease – Davide Cacchiarelli, University of Rome ‘Sapienza’
    15. Determining the distance to monotonicity of a biological networks – Fahimeh Ramezani, Max Planck Institute for Informatic
    16. Correcting under-exposed images – Frederic Besse, UCL
    17. Software Verification by Combining Program Analyses of Adjustable Precision – Gregory Theoduloz, ÉPFL
    18. Knowledge discovery in learner texts – Helen Yannakoudakis, University of Cambridge
    19. Proglab.Net, Ensuring Embedded Software Reliability at Compile-Time – Hossein Hojjat, ÉPFL

    1. Towards Proof Script Refactoring – Ian Whiteside, University of Edinburgh
    2. Mobile phones as a gateway to cloud computing – Ioana Giurgiu, ETH Zurich
    3. Inferring Community Structure in Wild Bird Populations – Ioannis Psorakis, University of Oxford
    4. A data-constrained predictive model of tropical deforestation and resultant carbon emissions – Isabel Rosa, Imperial College London
    5. Unified Probabilistic Relevance Models for Information Retrieval – Jagadeesh Gorla, UCL
    6. Implementing Go!, A Multi Paradigm Language, on the .NET Platform – Jamilu Abubakar, Imperial College London/Microsoft
    7. Recommendation System for Twitter Users – Jisun An, University of Cambridge
    8. Constraint-based Specifications for System Configuration – John Hewson, University of Edinburgh
    9. A Medical Image Search Engine – Karén Simonyan, University of Oxford
    10. EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology Research – Kiran Rachuri, University of Cambridge
    11. GOmputer – The Go Machine – Lars Schäfers, Paderborn University
    12. Describing complex ecological communities using dynamical models – Lawrence Hudson, Imperial College London
    13. Diversification and Intensification in Parallel SAT Solving – Long Guo, CRIL-Lens France
    14. Discovering the Intrinsic Image Layer – Lumin Zhang, Max-Planck Institute
    15. Nimbus: Intelligent Personal Storage – Malte Schwarzkopf, University of Cambridge
    16. Automated Reasoning for Dynamic Authorization Policy Analysis – Martin Suda, Max-Planck-Institut für Informatik
    17. Heterogeneous Reasoning: diagrams in proofs – Matej Urbas, University of Cambridge
    18. Orientability of Hypergraphs – Megha Khosla, Max Planck Institute for Informatics
    19. Video Matting using optical flow – Mikhail Sindeyev, Moscow State University

    1. Autonomous Local Search for Combinatorial Problem Solving – Nadarajen Veerapen, Université d’Angers
    2. Erdos: A social operating system – Narseo Vallina, University of Cambridge
    3. Global variation in tree mortality – Nikee Groot, University of Leeds
    4. High-Performanced Visualization of Scientific DataSets – Nikita Skoblov, Moscow State University
    5. Joint action and social interaction – Olle Blomberg, University of Edinburgh
    6. Beefarm: an FPGA-based multiprocessor system – Oriol Arcas, Barcelona Supercomputing Centre
    7. Reasoning about collections, Decision Procedures and Applications – Ruzica Piskac, ÉPFL
    8. Facial expression synthesis – Tadas Baltrusaitis, University of Cambridge
    9. JigPheno: modelling visual phenotypes for association studies – Theofanis Karaletsos, Max Planck Insitute for Biological Cybernetics
    10. Trust on the Internet – Thomas Simpson, University of Cambridge
    11. Optimal Multicore Algorithms & The GPGPU – Tomasz Jurkiewicz, Max-Planck-Institute für Informatik
    12. RMS-TM++ A New Transactional Benchmark Suite – Vasilis Karakostas, Barcelona Supercomputing Center
    13. Data Acquisition via Compressive Sensing in Wireless Sensor networks – Wie Chen, University of Cambridge
    14. Buffer overflow identification via taint dataflow graphs – Wie Ming, University of Cambridge
    15. Biological network reconstruction from noisy data – Ye Yuan, University of Cambridge
    16. How to extend Java compilers for semantic verification – Artem Melentyev
    17. David Hopkins – Model checking using game semantics