|
      
|
|
|
|
Computer Systems Colloquia are held at 3.30 (until 4.30) on Thursday afternoons during the second to tenth weeks of academic terms. The normal location is Room G.07a in the Informatics Forum.
The technical areas covered by the colloquium include computer systems architecture in the small and in the large, as well as practical applications of theoretical computer science. Speakers are from both academia and industry. Suggestions of future speakers should be mailed to the Bjoern Franke.
Prompts about forthcoming colloquia are e-mailed regularly to ICSA members, and are posted on the eduni.dcs.icsa newsgroup. Anyone outside ICSA who wishes to receive this regular e-mail should mail the ICSA secretary, and ask to be added to the mailing list.
| Date | Speaker / Title |
|---|---|
| 30 July 2009 3.30pm in AT 2.14 not usual venue |
Prof Greg Steffan University of Toronto |
| "Parallelizing FPGA CAD with Transactional Memory" | |
| 21 May 2009 2.00pm in 4.31/33 |
Prof. C Siva Ram Murthy IIT, Madras, India |
| "Lifetime Driven MAC Protocols for Ad Hoc Networking " | |
| 6 February 2009 3.00pm in G03 |
Professor Babak Falsafi Carnegie Mellon University |
| "Spatio-Temporal Memory Streaming " |
| Date | Speaker / Title | ||
|---|---|---|---|
| 18 October 2007 | Tom Ashby IMEC, Leuven, Belgium |
||
| "Overview of the activities in the Design Technology Group" | |||
| 25 October 2007 | Gerard Smit University of Twente |
||
| "Multi-core architectures and streaming applications" | |||
| 9 November 2007 | Dr Maziar Nekovee BT Research and University College London |
||
| "Vehicular Communications Networks Principles and Applications" | |||
| 15 November 2007 | Bashir Al-Hashimi School of Electronics and Computer Science, Southampton University |
||
| "Energy efficient and reliable embedded computing systems" | "Slides" | ||
| 20 November 2007 | Prof. Dr. Sabine Glesner Technical University of Berlin |
||
| "Correct and Efficient Software Systems: Pie in the Sky or Viable Vision?" | |||
| 29 November 2007 | Joachim Trescher NXP, Eindhoven |
||
| Compiler challenges for the NXP TriMedia architecture | |||
| Wednesday, 23 January 2008 | Francisco Garcia Agilent Labs |
||
| Wireless Convergence: A Test and Measurement Perspective | |||
| Thursday, 24 January 2008 |
Eiko Yoneki University of Cambridge, Computer Labs |
||
| Epidemic Spread in Time-Dependent Networks from Human Connectivity | |||
| Friday, 28 March 2008 at 1030 a.m. |
Tilman Wolf University of Massachusetts |
||
| Packet Processing Systems in Next Generation Internet Routers | |||
| Friday, 4 April 2008 at 2 p.m. |
Christos Sotiriou Foundation for Research and Technology Hellas (FORTH) |
||
| De-synchronization : Synthesis of Asynchronous Circuits From Synchronous Specification | |||
| Thursday, 10 April 2008 |
Dr Ian Rogers Computer Science, University of Manchester |
||
| Dynamic binary translation: from Dynamite to Java slides | |||
| Monday, 12 May 2008 note unusual day |
Per Stenstrom Chalmers University of Technology, Goteborg, Sweden |
||
| Techniques for Reduction of Misspeculation Penalties in Transactional Memory Systems | |||
| Tuesday, 10 June 2008 note unusual day |
Professor Sumit Roy Fundamentals of Networking Lab, University of Washington |
||
| High Density 802.11 Mesh Networks:Management Principles | |||
| Friday, 18 July 2008 note unusual day |
Dr Ashutosh Sabharwal, Rice University |
||
| Stealing From an Ongoing Flow | |||
| Wednesday, 23 July 2008 note unusual day |
Dr Jon Weissman, University of Minnesota |
||
| Challenges in Reliable Grid Computing | |||
| Wednesday, 3 September 2008 note unusual day |
Professor Gordon Brebner, Xilinx Research Labs |
||
| G: A high-level packet processing language with a high-speed FPGA-based implementation | |||
| Wednesday, 10 September 2008 note unusual day |
Michael Hind Programming Technologies Dept IBM T.J. Watson Research Center |
||
| The Impact of Multicore Architectures on Software: Disaster or
Opportunity?
| |||
| Friday, 12 September 2008 note unusual day |
Professor Dharma Agrawal University of Cincinnati |
||
| Research Directions in Wireless and Mobile Systems | "Slides" | ||
| Friday, 12 September 2008 note unusual day |
Margaret Martonosi Professor, Dept. of Electrical Engineering Princeton University |
||
| Emerging Issues for Next-Generation Microprocessors | |||
| postponed early 2008 date tbc |
Professor Joerg Henkel Computer Science, University of Karlsruhe |
||
| RISPP:An Adaptive Embedded Processor |
| Date | Speaker / Title |
|---|---|
| 21 September 2006 | Dr Gavin Brown University of Manchester |
| "A Rank Order Sensitive Associative Memory" | |
| 23 November 2006 | Ben Gaster ClearSpeed, Bristol |
| "Coprocessors for Application Acceleration" | |
| 7 December 2006 | Professor Chris Jesshop Institute for Informatics, University of Amsterdam |
| "Programming multicores using the sequential paradigm " | |
| 2 April 2007 |
Dr Olaf Storaasli ORNL |
| "Accelerating Scientific Applications with FPGAs" | |
| 1 June 2007 | Professor Daniel A Jimenez Department of Computer Science, The University of Texas at San Antonio |
| "Recent Advances in Branch Prediction" | |
| 29 June 2007 Please note different day and time from usual |
Professor Dan Connors Department of Electrical and Computer Engineering |
| "Adaptive Transient Fault-Tolerance in Modern Computer Systems" |
| Date | Speaker / Title |
|---|---|
| 8 February 2006 | Professor R. B. Fisher, IPAB, Informatics, University of Edinburgh |
| THIS TALK WILL TAKE PLACE ON WEDNESDAY AT 1 P.M. INSTEAD OF THE USUAL 3.30 P.M. "Scene recovery from many randomly distributed single pixel cameras" | |
| 16 March 2006 | Antonio Gonzalez, Director, Intel-UPC Barcelona Research Center |
| "The Multi-Core Approach to Keep Processors on Moore's Curve" | |
| 14 September 2006 | Professor Rainer Leupers RWTH Aachen |
| "From ASIP to MPSoC - Architectures and Design Tools for Communication and Multimedia Systems" |
| Date | Speaker / Title |
|---|---|
| 26 May 2005 | Professor Scott B Baden, KTH, University of California |
| THIS TALK WILL TAKE PLACE AT 11 A.M. INSTEAD OF THE USUAL 3.30 P.M. "New directions in irregular large scale computation" | |
| 7 April 2005 | Michael Franz, University of California, Irvine |
| "Mobile Code Research at UC Irvine" |
| Date | Speaker / Title |
|---|---|
| 10 October 2003 | Gordon Brebner, Xilinx Research Labs |
| "Eccentric SoC architectures as the future norm"
Please note usual day Friday and not Thursday | |
| 22 January 2004 | Olav Beckmann, Department of Computing, Imperial College London |
| "Dynamic Code Generation in C++ as a Foundation for Domain-Specific Optimisation" | |
| 11 March 2004 | Rolf Neugebauer, Intel Labs Cambridge |
| "OS and I/O for multiple-context (hyperthreading) processors" |
| Date | Speaker / Title |
|---|---|
| 3 June 2004 | Robert Gardner and Frankie Garcia Agilent Laboratories, Agilent Technologies UK Ltd, South Queensferry |
| "In-line Measurements - A Native Measurement Technique for IPv6-based Networks" | |
| 24 June 2004 | Marcio M Fernandes, Unversidade Metodista de Piracicaba, Brazil and Eduardo Marques, Universidade de Sao Paulo, Brazil |
| "Reconfigurable Computing for Design and Implementation of Mobile Robots" | |
| 9 September 2004 | Derek McAuley, Intel Research Lab, Cambridge |
| Xen and the art of Virtualizatiion" |
| Date | Speaker / Title |
|---|---|
| 30 January 2003 | Ben Paechter, Napier University, Edinburgh |
| "The DREAM Project - An Overview"
| |
| 13 February 2003 | Professor Mark D. Hill, Computer Sciences Department, University of Wisconsin-Madison |
| "SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery"
| |
| 20 Mar 2003 | Anne Beniot, IAMG, Grenoble |
| "Methods and algorithms for the performance analysis of large sums" | |
| 8 May 2003 | Stephen Jarvis, Department of Computer Science, University of Warwick |
| - "Grid Middleware: underpinning the e-architectures" | |
| 29 May 2003 | Professor Paul Kelly, Imperial College of Science and Technology, London |
| - "Software performance optimisation at run-time using dependence metadata" | |
| 10 June 2003 | Professor Ian Sommerville, Computing Department, Lancaster University |
| - "Dependable Peer-to-Peer Systems Design" | |
| 22 July 2003 | Dr Maziar Gudarzi, Visiting scholar, Computer Labs, University of Cambridge |
| - "ODYSSEY: Object-oriented Design and sYntheSiS of Embedded sYstems" |
| Date | Speaker / Title |
|---|---|
| 10 December 2002 | Jonathan M. Smith, CIS Department, University of Pennsylvania |
| - "Privacy Lost" |
| Date | Speaker / Title |
|---|---|
| 5 April 2002 | Greg O'Shea, Microsoft Research, Cambridge |
| - "Mobile IPv6" | |
| 16 May 2002 | Roger Blake, Business Innovation Services, IBM |
| - "IBM at Wimbledon" | |
| 30 May 2002 | Kerstin Eder, Computer Science, University of Bristol |
| - "To Move or not to Move: A Pipeline Performance Specification" | |
| 6 June 2002 | Professor John Darlington, Director, London E-Science Centre, Imperial College of Science, Technology and Medicine |
| - "A framework for the Sharing and Effective Exploitation of Distributed Computing Resource" | |
| 26 July 2002 | Dr Jose Moreira, IBM, US |
| - | |
| 17 September 2002 | David Abramson, School of Computer Science and Software Engineering, Monash University, Australia |
| - "From PC Clusters to a Global Computational Grid" |
| Date | Speaker / Title |
|---|---|
| 19 April 2001 | Robert Muetzelfeldt and Jasper Taylor, University of Edinburgh |
| - "Object-based design concepts in the Simile continuous-systems modelling environment" | |
| 26 April 2001 | Marcelo Cintra, University of Edinburgh |
| - "Speculative Parallelization in Shared-Memory Multiprocessors" | |
| 10 May 2001 | Marc Desmulliez, Computing and Electrical Engineering, Heriot-Watt University |
| - "Microsystems Research in Scotland" | |
| 31 May 2001 | Wilson Poon, Department of Physics and Astronomy |
| - "Maverick Thoughts on Bioinformatics and Biocomputing" | |
| 7 June 2001 | Paul Boca, Sharp Laboratories of Europe, Oxford |
| - "High Level Synthesis with the Bach System" | |
| 5 July 2001 | Frederic Mallet, University Nice-Sophia Antipolis |
| - "SEP: Simulation and validation of hardware architectures using a component-based method" |
| Date | Speaker / Title |
|---|---|
| 11 January 2001 | Alex Yakovlev, University of Newcastle |
| - "Communicating in Heterogeneously Timed Systems" | |
| 18 January 2001 | Paul Watson, University of Newcastle-upon-Tyne |
| - "The Active Information Repository" | |
| 25 January 2001 | Fred Howell, Informatics, ANC |
| - "Computational Problems in Brain Modelling" | |
| 1 February 2001 | Henk Muller, Computer Science, University of Bristol |
| - "Non-Deterministic Processors" | |
| 8 February 2001 | Peter Dew, University of Leeds and John Snowdon, Heriot-Watt University |
| - "Optoelectronic Impact on System Architectures" | |
| 15 February 2001 | Greg Michaelson, Heriot-Watt University |
| 22 February 2001 | Philip James-Roxby, Xilinx Inc., Boulder CO, USA |
| - "Building a CAM bit by bit by JBits" | |
| 1 March 2001 | Greg Michaelson, Heriot-Watt University |
| - "Parallelising Compilation of SML with Higher Order Functions and Skeletons" | |
| 15 March 2001 | Rob Payne |
| - "Testing Times - pragmatic approaches to testing DRAM Memories" |
| Date | Speaker / Title |
|---|---|
| 19 October 2000 | Ian Phillips, Principal Staff Engineer, ARM Ltd., Cambridge |
| - "True-SoC: The Functional Alloy of Hardware and Software!" | |
| 26 October 2000 | Georg Bodammer, Silicon Technology Research Group, Department of Electronics and Electrical Engineering, University of Edinburgh |
| - "Microdisplay Research in Edinburgh" | |
| 2 November 2000 | Gordon Brebner, University of Edinburgh |
| - "Active Protocols" | |
| 9 November 2000 | Adam Donlin, University of Edinburgh |
| - "The FURI runtime system" | |
| 16 November 2000 | Peter Boyle, University of Edinburgh, Physics and Astronomy |
| - "Portable assembler and other oxymorons" | |
| 21 November 2000 | Valerie Barr, Department of Computer Science, Hofstra University |
| - "Testing and Evaluation of NLP Systems" | |
| 23 November 2000 | Andrew Sijan, ERI, University of Edinburgh |
| - "Licensing and commercialisation" | |
| 30 November 2000 | Hugo Simpson, British Aerospace Matra |
| - "Real Time Logic Specification of a Class of Interaction Protocols used in Real-Time Systems" | |
| 7 December 2000 | Ian Watson, University of Manchester |
| - "The VAULT/JAMAICA project" | |
| 14 December 2000 | Morris Sloman, Imperial College |
| - "Ponder: A Language for Specifying Security and Management Policies for Distributed Systems" |
| Date | Speaker / Title |
|---|---|
| 25 May 2000 | Richard Sharp (with Alan Mycroft), AT&T Laboratories, Cambridge |
| - "The FLaSH Project: Resource Aware Hardware Synthesis of Declarative Specifications" | |
| 8 June 2000 | Chris Jesshope, Massey University, New Zealand |
| - "An execution model for a Chip-multiprocessor using dynamic register allocation and micro-threaded execution" |
| Date | Speaker / Title |
|---|---|
| 18 Nov 1999 | Brian Gilmore, Edinburgh University Computing Services |
| - "Universities and IT" | |
| 25 Nov 1999 | James Munro, Lucent Technologies |
| - "R/Evolutionary Networks" | |
| 2 Dec 1999 | William Knottenbelt, Dept of Computing, Imperial College |
| - "Parallel Techniques For Large-Scale Performance Analysis" | |
| 9 Dec 1999 | Wayne Luk, Dept of Computing, Imperial College |
| - "Custom Computing Research at Imperial College" | |
| 16 Dec 1999 | Gordon Brebner, Division of Informatics, Edinburgh |
| - "Onwards to the Year 2000" |
| Date | Speaker / Title |
|---|---|
| 13 Jan 2000 | Inaugural Lecture: Gordon Brebner, Division of Informatics, Edinburgh |
| 20 Jan 2000 | Ian Page, Embedded Solutions Ltd, formerly University of Oxford |
| - "Computing without Computers" | |
| 27 Jan 2000 | Turing Lecture: Brian Randall, Dept of Computing Science, Newcastle |
| 3 Feb 2000 | Michael O'Boyle, Division of Informatics, Edinburgh |
| - "Efficient Parallelisation by Unifying Loop and Data Transformation" | |
| 1 Feb 2000 | Paul Anderson, Division of Informatics, Edinburgh |
| - "Designing Manageable Computer Systems: A New Framework for Division of Informatics Computing" | |
| 17 Feb 2000 | Nigel Topham, Siroyan Technology Ltd, and Division of Informatics, Edinburgh |
| - "Siroyan's Silicon IP Strategy" | |
| 24 Feb 2000 | Ian Wakeman, School of Cognitive and Computing Sciences, Sussex |
| - "Safetynet: A language based approach to programmable networks" | |
| 2 Mar 2000 | Cliff Jones, Dept of Computing Science, Newcastle |
| - "Some prejudices about the development of concurrent software" | |
| 9 Mar 2000 | Niklaus Wirth, Dept of Computer Science, ETH Zurich |
| "- A Real-time Application of Oberon-SA: Flight-control of Model Helicopters" | |
| 16 Mar 2000 | Moira Norrie, Dept of Computer Science, ETH Zurich |
| - "OMS: A Development, Research and Teaching Platform for Object-Oriented Databases" |
