Thirty-four presentations on recent
research, for an audience of general computer scientists.
The times of sessions are fixed. The starting times of individual presentations are estimates. Each talk is scheduled for ten minutes, with three minutes for questions and hand-over.
10:00 Neil Dodgson (module leader)
Introduction
10:10 Ovidiu Popa (op240)
Antfarm: Efficient Content Distribution with Managed Swarms,
Ryan S. Peterson and Emin Gόn Sirer, USENIX NSDI
2009 (Networked Systems Design and Implementation)
10:23 Assad Navi (an359)
A model of
internet routing using semi-modules, J. N. Billings and T. G. Griffin, Relational Methods in Computer Science
2009
10:36 Feng Qiang (fq208)
Networking
Named Content, V. Jacobson, D.K.
Smetters, J. D. Thornton, M. Plass, N. Briggs, R.L. Braynard, ACM CoNext
09 (emerging Networking EXperiments and Technologies)
10:49 Iulian Nitescu (in233)
A model of
configuration languages for routing protocols, T. G. Griffin and P. J. Taylor, ACM SIGCOMM
2009 (Communications)
11:30 Huanye Liu (hl372)
Building
Taskable Spaces over Ubiquitous Services, Seng W. Loke, ACM CHI 2009 (Computer-Human Interaction)
11:43 Keng Siew Han (ksah3)
What Do You
See When Youre Surfing? Using Eye Tracking to Predict Salient Regions of Web
Pages, Georg Buscher, Edward
Cutrell, Meredith Ringel Morris, ACM CHI 2009 (Computer-Human Interaction)
11:56 Alexander Kuscher (afk34)
Back-of-device
interaction allows creating very small touch devices, P. Baudisch and G. Chu, ACM CHI 2009 (Computer-Human
Interaction)
12:09 Melinos Averkiou (ma485)
Opto-Haptic Substitution for Touch-Enhanced Interactive Spaces,
J. Rekimoto, ACM CHI 2009 (Computer-Human
Interaction)
13:30 Jonathan Woodruff (jdw57)
Token
tenure: PATCHing token counting using directory-based cache coherence,
A. Raghavan, C. Blundell and M.M.K. Martin,
IEEE/ACM
MICRO '08 (Microarchitecture)
13:43 Bin Sun (bs432)
Amdahl's Law
in the Multicore Era, M. D. Hill and
M. R. Marty, IEEE Computer Jul 2008
13:56 Periklis Vasileiou (pv255)
Boosting
single-thread performance in multi-core systems through fine-grain
multi-threading, Carlos Madriles,
Pedro Lσpez, Josep M. Codina, Enric Gibert, Fernando Latorre, Alejandro
Martνnez, Raϊl Martνnez and Antonio Gonzαlez, ACM SIGARCH 2009 (Architectures)
14:09 Siming Ma (sm811)
The
Multikernel: A new OS architecture for scalable multicore systems, Andrew Baumann , Paul Barham, Pierre-Evariste Dagand,
Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe , Adrian Schόpbach and Akhilesh Singhania, ACM SOSP 2009
(Operating Systems)
14:50 Alexander Katovsky (apk32)
Formal
Verification of Analog Designs using MetiTarski, William Denman, Behzad Akbarpour, Sofine Tahar,
Mohamed H. Zaki, Lawrence C. Paulson, Formal Methods in Computer Aided Design
2009
15:03 Andrea Lo Pumo (al565)
Accuracy
estimate and optimization techniques for SimRank computation, Dmitry Lizorkin, Pavel Velikhov, Maxim Grinev and
Denis Turdakov, VLDB Endowment 2008 (Very Large Databases)
15:16 Minghao Wu (mw494)
Proof Pearl:
Mechanizing the Textbook Proof of Huffmans Algorithm, J. C. Blanchette, Journal of Automated Reasoning Jun 2009
15:29 Yuriy Yemelyanov (yy325)
seL4: Formal
Verification of an OS Kernel, Gerwin
Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip
Derrin, Dhammika Elkaduwe, Kai Engelhardt, Michael Norrish, Rafal Kolanski,
Thomas Sewell, Harvey Tuch, and Simon Winwood, ACM SOSP 2009 (Operating Systems)
10:00 Omar-Salim Choudary (osc22)
Optimised to
Fail: Card Readers for Online Banking, Saar Drimer, Steven J. Murdoch, and Ross Anderson, Financial Cryptography
and Data Security '09
10:13 Roland Tai (ykrt2)
RFIDs and
secret handshakes: defending against ghost-and-leech attacks and unauthorized
reads with context-aware communications, A. Czeskis, K. Koscher, J. R. Smith, and T. Kohno, ACM CCS '08
(Computer and Communications Security)
10:26 Alexandros Toumazis (at443)
Tempest in a
Teapot: Compromising Reflections Revisited, M. Backes, T. Chen, M. Duermuth, H. P. A. Lensch, and M. Welk, IEEE
Symposium on Security and Privacy 2009
10:39 Danish Zeb (dz245)
Time and
Location Based Services with Access Control, C. Bertolissi and M. Fernandez, IEEE NTMS '08
(New Technologies, Mobility and Security)
10:52 Guanwei Zeng (gz233)
Privacy-enabling
social networking over untrusted networks, J. Anderson, C. Diaz, J. Bonneau and F. Stajano, WOSN 09
(Online Social Networks)
11:30 Kwok Ho Cheung (khc32)
Comparing
the performance of concurrent linked-list implementations in Haskell,
Martin Sulzmann, Edmund S. L. Lam and Simon
Marlow, ACN POPL: DAMP '09 (Declarative Aspects of Multicore Programming)
11:43 Maciej Wos (mw493)
Applicative
programming with effects, C. McBride
and R. Paterson, Journal of Functional Programming Jan 2008
11:56 Steffen Loesch (sgl27)
Initial
Algebra Semantics for Cyclic Sharing Structures, M. Hamana, Typed Lambda Calculi and Applications 2009
12:09 Georgios Karnas (gk303)
Music
Tracking in Audio Streams from Movies, T. Giannakopoulos, A. Pikrakis and S. Theodoridis, Multimedia
Signal Processing 2008
13:30 Samuel Olatunji (soo24)
Flexible
reference-counting-based hardware acceleration for garbage collection,
Josι A. Joao, Onur Mutlu, and Yale N. Patt,
ACM
SIGARCH 2009 (Architectures)
13:43 Zeynep Sagar (zs252)
Event-Based
Data Dissemination Control in Healthcare, Jatinder Singh and Jean Bacon, eHealth 2008 (Electronic Healthcare)
13:56 Alexandru Bleotu (asdb2)
The
Multikernel: A new OS architecture for scalable multicore systems, Andrew Baumann , Paul Barham, Pierre-Evariste Dagand,
Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe , Adrian Schόpbach and Akhilesh Singhania, ACM SOSP 2009
(Operating Systems)
14:09 Sarah Fortune (sjf65)
Corey: An
Operating System for Many Cores, Silas
B. Wickizer, Haibo Chen, Rong Chen, Yandong Mao, Frans Kaashoek, Robert Morris,
Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang and Zheng Zhang,
USENIX
OSDI 2008 (Operating Systems)
14:22 Bingjian Wu (bw306)
Implications
of Electronics Technology Trends to Algorithm Design, Daniel Greenfield and Simon Moore, The Computer
Journal Apr 2009
15:00 Daiva Aleknaviciute (da319)
Paint
Selection, J. Liu, J. Sun, and H.Y.
Shum, ACM SIGGRAPH 2009 (Computer Graphics)
15:13 Neil Jenkins (nmj27)
Analysis of
sensor photo response non-uniformity in RAW images, Simon Knight, Simon Moschou and Matthew Sorell,
e-Forensics
2009
15:26 Lech Świrski (ls426)
PatchMatch: a randomized correspondence algorithm for structural
image editing, C. Barnes, E.
Shechtman, A. Finkelstein, and D. B. Goldman, ACM SIGGRAPH 2009 (Computer Graphics)
15:39 Sebastian Kaldonek (sk623)
Search the
Web with Mobile Images for Location Recognition, Tom Yeh, Konrad Tollmar, Trevor Darrell, CVPR 2004
(Computer Vision and Pattern Recognition)