Computer Laboratory - NetOS publications

	Computer Laboratory NetOS publications

Computer Laboratory > Research > Systems Research Group > NetOS > NetOS publications

News and intro

Publications

Publications by year | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 |

2009 Publications

Experience with high-speed automated application-identification for network-management,
Marco Canini, Wei Li, Martin Zadnik, Andrew W. Moore,
Symposium on Architectures for Networking and Communications Systems (ANCS), Oct 2009, Princeton, USA
[TO APPEAR]
Motivating Future Interconnects: A Differential Measurement Analysis of PCI Latency,
David Miller and Philip Watts and Andrew W. Moore,
Symposium on Architectures for Networking and Communications Systems (ANCS), Oct 2009, Princeton, USA
[TO APPEAR]
Addressing the Scalability of Ethernet with MOOSE,
Malcolm Scott, Andrew W. Moore, Jon Crowcroft,
First Workshop on Data Center - Converged and Virtual Ethernet Switching (DC CAVES), ITC 21, September 2009, Paris, France
[PDF]
On the Importance of Local Connectivity for Internet Topology Models
Hamed Haddadi, Damien Fay, Almerima Jamakovic, Olaf Maennel, Andrew W. Moore, Richard Mortier, Steve Uhlig
21st International Teletraffic Congress (ITC 21), September 2009, Paris, France
[TO APPEAR]
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors
Periklis Akritidis, Manuel Costa, Miguel Castro and Steven Hand
In Proceedings of the 18th USENIX Security Symposium, Montreal, Canada, August 2009
[TO APPEAR]
Satori: Englightened Page Sharing
Grzegorz Milos, Derek G. Murray, Steven Hand and Michael Fetterman
In Proceedings of the USENIX Annual Technical Conference, June 2009, San Diego, CA
[TO APPEAR]
GTVS: Boosting the Collection of Application Traffic Ground Truth
M. Canini, W. Li, A. W. Moore, R. Bolla.
In Proceedings of the First International Workshop on Traffic Monitoring and Analysis (TMA'09), May 2009.
[TO APPEAR]
Weighted Spectral Distribution for Internet Topology Analysis: Theory and Applications
Damien Fay, Hamed Haddadi, Andrew G. Thomason, Andrew W. Moore, Richard Mortier, Almerima Jamakovic, Steve Uhlig, Miguel Rio,
To appear in ACM/IEEE Transactions on Networking
[ACCEPTED March 2009]
A Runtime System for Software Lock Elision
Amitabha Roy, Steven Hand and Tim Harris
In Proceedings of EuroSys 2009, Nuremberg, Germany, April 2009.
[ACL DL]
Exploring the Limits of Disjoint Access Parallelism
Amitabha Roy, Steven Hand and Tim Harris
In Proceedings of the First USENIX Workshop on Hot Topics in Parallelism (HotPar'09), Berkeley, CA, March 2009.
[PDF] [HTML]
Challenges in the capture and dissemination of measurements from high-speed networks,
R. G. Clegg, M. S. Withall, A. W. Moore, I. W. Phillips, D. J. Parish, M. Rio, R. Landa, H. Haddadi, K. Kyriakopoulos, J. Auge, R. Clayton and D. Salmon,
IET Communications, Special Issue on Simulation, Analysis and Measurement of Broadband Network Traffic
[TO APPEAR]

2008 Publications

Spread Spectrum Computation
Derek G. Murray and Steven Hand
in Proceedings of the Fourth Workshop on Hot Topics in Dependability (HOTDEP'08), San Diego, CA, December 2008.
[PDF]
Revisiting the Issues On Netflow Sample and Export Performance
Hamed Haddadi, Raul Landa, Andrew Moore, Saleem Bhatti, Miguel Rio, Xianhui Che,
CHINACOM 2008, Third International Conference on Communications and Networking in China, August 25-27, 2008, Hangzhou, China
[PDF]
A Transactional Approach to Lock Scalability
Amitabha Roy, Keir Fraser and Steven Hand
Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA08), Munich, Germany, June 2008
[ACL DL]
Applying Kalman Filters to Dynamic Resource Provisioning of Virtualized Server Applications
E Kalyvianaki, T Charalambous and Hand
Proceedings of the 3rd International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID), Annapolis, MD, June 2008.
Tuning Topology Generators Using Spectral Distributions
Hamed Haddadi, Damien Fay, Steve Uhlig, Andrew Moore, Richard Mortier, Almerima Jamakovic, and Miguel Rio
SPEC International Performance Evaluation Workshop 2008, Springer Lecture Notes in Computer Science, Volume 5119, June 2008, Darmstadt, Germany
[PDF]
Process-oriented abstraction of the complex evolvable systems: problem model construction
Behzad Bastani
in ACM SIGSOFT Software Engineering Notes, Volume 33, Issue 3, May 2008, Article No. 1
[ACM DL]
A Survey on Network Topology: Inference, Modeling and Generation
Hamed Haddadi, Gianluca Iannaccone, Andrew Moore, Richard Mortier, and Miguel Rio
in IEEE Communications surveys and tutorials, Volume 10, Number 2, 2008
[PDF]
Techniques for flow inversion on sampled data
Richard G. Clegg, Raul Landa, Hamed Haddadi, Miguel Rio, and Andrew W. Moore
in Proceedings of IEEE INFOCOM Global Internet Workshop, Phoenix, AZ, April 2008
[PDF]
Modeling Internet Topology Dynamics
Hamed Haddadi, Steve Uhlig, Andrew Moore, Richard Mortier, and Miguel Rio,
ACM SIGCOMM Computer Communication Review 38(2), April 2008
[PDF]
Privilege separation made easy
Derek G. Murray and Steven Hand
in Proceedings of EuroSec 2008, Glasgow, UK, April 2008
[PDF] [BibTeX] [ACM DL]
Improving Xen Security Through Disaggregation
Derek G. Murray, Grzegorz Milos and Steven Hand
in Proceedings of the Fourth ACM International Conference on Virtual Execution Environments (VEE 08), Seattle, WA, March 2008
[PDF] [BibTeX] [ACM DL]

2007 Publications

Beta Random Projection
Yu-En Lu, Pietro Lio and Steven Hand
in the Proceedings of the 3rd IEEE International Workshop on Multimedia Information Processing and Retrieval, Taichung, Taiwan, December 2007
eCube: Hypercube Event for Efficient Filtering in Content-Based Routing
E. Yoneki and J. Bacon
in Proceedings of International Conference on Grid computing, High-performance and Distributed Applications, Algarve, Portugal, November 2007
High-level open evolvable systems design by process-oriented modeling: application to DNA replication mechanism
Behzad Bastani and Hoda Bastani
in ACM SIGSOFT Software Engineering Notes, Volume 32, Issue 6, November 2007, Article No. 3
[ACM DL]
A Machine Learning Approach for Efficient Traffic Classification
Wei Li and Andrew W. Moore
in the Proceedings of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Istanbul, Turkey, October 2007
[PDF]
A Socio-Aware Overlay for Publish/Subscribe Communication in Delay Tolerant Networks
E. Yoneki, P. Hui, S. Chan and J. Crowcroft
in Proceedings of 10th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), Crete, Greece, October 2007
[PDF]
Haggle: Seamless Networking for Mobile Applications
Jing Su, James Scott, Pan Hui, Jon Crowcroft, Eyal de Lara, Christophe Diot, Ashvin Goel, Menghow Lim, Eben Upton
in Proceedings of Ubicomp 2007 (pages 391-408), Innsbruck, Austria, September 2007
Visualizing Community Detection in Opportunistic Networks
E. Yoneki, P. Hui and J. Crowcroft
in Proceedings of ACM MobiCom Workshop on Challenged Networks (CHANTS), Montreal, Canada, September 2007
[PDF]
Rethinking Software Connectors
Stephen Kell
in Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors, September 2007
[PDF] [BibTeX]
Lightweight Application Classification for Network Management
Hongbo Jiang, Andrew W. Moore, Zihui Ge, Shudong Jin and Jia Wang
in the Proceedings of the SIGCOMM Workshop on Internet Network Management 2007: The Five-Nines Workshop, Kyoto, Japan, August, 2007
[PDF]
Distributed Community Detection in Delay Tolerant Networks
P. Hui, E. Yoneki, S. Chan and J. Crowcroft
in Proceedings of ACM SIGCOMM Workshop (MOBIARCH), Kyoto, Japan, August 2007
[PDF]
Proximity Breeds Danger: Emerging Threats in Metro-area Wireless Networks
P. Akritidis, W.Y. Chin, V.T. Lam, S. Sidiroglou, K.G. Anagnostakis
in Proceedings of the 16th USENIX Security Symposium, Boston, MA, August 2007
[PDF] [BibTeX]
MIPv6 experimental evaluation using overlay networks
Pablo Vidales, Carlos Jesus Bernardos, Ignacio Soto, David Cottingham, Javier Baliosian, Jon Crowcroft
Computer Networks 51(10): 2892-2915, July 2007
Concurrent programming without locks
Keir Fraser, Tim Harris
ACM Transactions on Computer Systems (TOCS) Volume 25, Issue 2, May 2007, Article No. 5
[ACM DL]
Traffic Trace Artifacts due to Monitoring Via Port Mirroring
Jian Zhang and Andrew W. Moore
in the Proceedings of the Fifth IEEE/IFIP E2EMON 2007, Munich, Germany, May 2007
[PDF]
A requirements analysis framework for open systems requirements engineering
Behzad Bastani
ACM SIGSOFT Software Engineering Notes Volume 32, Issue 2, March 2007, Pages: 1-19
[ACM DL]
Hardware Virtualization with Xen
Steven Hand, Andrew Warfield and Keir Fraser
USENIX ;login magazine 32(1), February 2007
Interacting with Mobile Services: An Evaluation of Camera-Phones and Visual Tags
Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton and Alan Blackwell
In Personal and Ubiquitous Computing Journal, Volume 11, Issue 2, January 2007
Report from the 2006 SIGCOMM nomination committee
Jon Crowcroft, Craig Partridge, Geoffrey M. Voelker, Ellen W. Zegura
Computer Communication Review 37(1): 87, January 2007
Report from the clean slate network research post-sigcomm 2006 workshop
Jon Crowcroft, Peter B. Key
Computer Communication Review 37(1): 75-78, January 2007
Net neutrality: the technical side of the debate: a white paper
Jon Crowcroft
Computer Communication Review 37(1): 49-56, January 2007

2006 Publications

XORs in the air: practical wireless network coding
Sachin Katti, Hariharan Rahul, Wenjun Hu, Dina Katabi, Muriel Medard, Jon Crowcroft
In Proceedings of ACM SIGCOMM 2006, Pisa, Italy, September 2006
Also to appear in Transactions on Networks.
[PDF]
Keyword Searching in Structured Overlays via Content Distance Addressing
Yu-En Lu, Pietro Lio and Steven Hand
in the Proceedings of the 4th International Workshop on Databases, Information systems and Peer-to-Peer Computing, Seoul, Korea, September 2006
A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size.
Antonio Di Ferdinando, Paul D. Ezhilchelvan, Michael Dales, Jon Crowcroft
In Proceedings of ISORC 2006: 253-260, Gyeongju, Korea, April 2006
[IEEE Online]
Impact of Human Mobility on the Design of Opportunistic Forwarding Algorithms
Augustin Chaintreau, Pan Hui, Jon Crowcroft, Christophe Diot, Richard Gass and James Scott
In Proceedings of 25th IEEE Conference on Computer Communications (INFOCOM 2006), Barcelona, Spain, April 2006
Also to appear in Transactions on Mobile Systems
[PDF]
TCP Sending Rate Control at Terabits Per Second
E. Rodriguez-Colinaa, K. A. Williams, A. W. Moore, L. B. James, R .V. Penty and I. H. White,
in the Proceedings of High-Speed Networking Workshop: The Terabits Challenge, INFOCOM, April, 2006, Barcelona, Spain.
[PDF]
Practical Taint-based Protection using Demand Emulation
Alex Ho, Michael Fetterman, Christopher Clark, Andrew Warfield and Steven Hand
in the Proceedings of EuroSys 2006, April 2006, Leuven, Belgium
[PDF]
10 networking papers: recommended reading Jon Crowcroft
ACM SIGCOMM CCR Volume 36, Issue 2, April 2006, Pages: 31-32
[ACM DL]
Network Coding Made Practical
S Katti, H Rahul, W Hu, D Katabi, J Crowcroft
MIT Technical Report MIT-CSAIL-TR-2006-009, February 2006
[MIT DSPACE]
The privacy and safety impact of technology choices for command, communications and control of the public highway
Jon Crowcroft
ACM SIGCOMM Computer Communication Review archive Volume 36, Issue 1, January 2006, Pages: 53-58
[ACM DL]
Haggle: a Networking Architecture Designed Around Mobile Users
J Scott, P Hui, J Crowcroft, C Diot
IFIP WONS, January 2006
[PDF]

2005 Publications

Landmark Guided Forwarding.
Lim Meng How, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft
ICNP 2005: 169-178, Boston, USA, November 2005.
[PDF]
Siphon: overload traffic man agement using multi-radio virtual sinks in sensor networks
Chieh-Yih Wan, Shane B. Eisenman, Andrew T. Campbell, Jon Crowcroft
in Proceedings of SenSys 2005 (p116-129), San Diego, CA, November 2005
Also to appear in Transactions on Sensor Nets.
[ACM DL]
A User-level Approach to Network Attached Storage
Ripduman Sohan and Steven Hand
in Proceedings of the IEEE Conference on Local Computer Networks (LCN-30), Sydney, Australia, November 2005
Grid-Level Computing Needs Pervasive Debugging
Rashid Mehmood, Jon Crowcroft, Steven Hand and Steven Smith
in the Proceedings of Grid 2005, 6th IEEE/ACM International Workshop on Grid Computing
Seattle, Washington, USA, November 2005.
[PDF]
Vigilante: End-to-End Containment of Internet Worms
M. Costa, J. Crowcroft, M. Castro, A. Rowstron, L. Zhou, L. Zhang, and P. Barham
SOSP'05, Brighton, UK, October 2005
Also to appear in Transactions on Computing Systems.
[IEEE Online]
Parallel Iterative Solution Method for Large Sparse Linear Equation Systems
Rashid Mehmood and Jon Crowcroft
Technical Report UCAM-CL-TR-650, Computer Laboratory, University of Cambridge, UK.
October 2005.
[PDF]
Optical Network Packet Error-Rate due to Physical Layer Coding
Andrew W. Moore, Laura B. James, Madeleine Glick, Adrian Wonfor, Richard Plumb, Ian H. White, Derek McAuley, and Richard V. Penty
IEEE/OSA Journal of Lightwave Technology,
Volume 23, Number 10, Oct, 2005
[PDF]
The Main Name System: An exercise in centralized computing
Tim Deegan, Jon Crowcroft and Andrew Warfield
ACM SIGCOMM CCR, Vol. 35, No. 5, Pages 5-13, October 2005.
[PDF]
Hybrid Reliable Multicast with TCP-XM
Karl Jeacle, Jon Crowcroft, Marinho P. Barcellos and Stefano Pettini
in the Proceedings of ACM CoNEXT, Toulouse, October 2005.
[PDF]
TCP-XM: Unicast-enabled Reliable Multicast
Karl Jeacle and Jon Crowcroft
in the Proceedings of IEEE ICCCN, San Diego, October 2005.
[PDF]
The importance of being opportunistic: Practical network coding for wireless environments (invited paper)
Sachin Katti, Dina Katabi, Wenjun Hu, Hariharan Rahul and Muriel Medard
43rd Allerton Conference on Communication, Control and Computing, September 2005
[PDF]
Audio Networking: The Forgotten Wireless Technology
Anil Madhavapeddy, Richard Sharp, David Scott and Alastair Tse
In IEEE Pervasive Computing (volume 4, number 3), July-September 2005.
[PDF]
Non-blocking Hashtables with Open Addressing
Chris Purcell and Tim Harris
In the proceedings of the 19th International Symposium on Distributed Computing, September 2005.
[PDF], extended copy also available as Technical Report UCAM-CL-TR-639.
A Study of Bluetooth Propagation using Accurate Indoor Location Mapping
Anil Madhavapeddy and Alastair Tse
In the proceedings of The Seventh International Conference on Ubiquitous Computing (Ubicomp), September 2005.
[PDF]
On the Design of a Pervasive Debugger
Alex Ho and Steven Hand
in the Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging (AADEBUG '05), September 2005, Monterey, California.
SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions
Anil Madhavapeddy, David Scott and Richard Sharp
In the proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN 2005), August 2005.
[PDF]
Chasing Errors through the Network Stack --- A Testbed for Investigating Errors in Real Traffic on Optical Networks
Andrew W. Moore, Laura B. James, Madeleine Glick, Adrian Wonfor, Richard Plumb, Ian H. White, Derek McAuley and Richard V. Penty
IEEE Communications Magazine, Optical Networking Supplement, August 2005.
[PDF]
Keyword Search in Hypercubic Manifolds
Yu-En Lu, Pietro Lio and Steven Hand
in the Proceedings of the 5th IEEE International Conference on Peer-to-Peer Computing, Konstanz, Germany, August 2005
On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers
Anil Madhavapeddy and David Scott
in the Proceedings of the First IEEE Workshop on Hot Topics in System Dependability (HotDep), June 2005
[PDF]
Parallax: Managing Storage for a Million Machines
Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach and Steven Hand
in the Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS-X), June 2005
[PDF]
Are Virtual Machine Monitors Microkernels Done Right?
Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos and Dan Magenheimer
in the Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS-X), June 2005
[PDF]
Revocable Locks for Non-Blocking Programming
Timothy Harris and Keir Fraser
in the Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), June 2005
[PDF]
Policy-controlled Event Management for Distributed Intrusion Detection
Christian Kreibich and Robin Sommer
4th International Workshop on Distributed Event-Based Systems (DEBS'05), June 2005, Columbus/Ohio, USA
[PDF]
A Multicast Transport Driver for Globus XIO
Karl Jeacle and Jon Crowcroft
in the Proceedings of IEEE WETICE ETNGRID, Linkoping, June 2005.
[PDF]
DELTACAST - Efficient File Reconciliation in Wireless Broadcast Systems
Julian Chesterfield and Pablo Rodriguez
in the Proceedings of MOBISYS, June 2005, Seattle, WA
Internet Traffic Classification Using Bayesian Analysis Techniques
Andrew W. Moore and Denis Zuev
in the Proceedings of the ACM SIGMETRICS June 2005, Banff, Canada
[PDF]
Towards commercial mobile ad hoc network applications: a radio dispatch system.
Elgan Huang, Wenjun Hu, Jon Crowcroft, Ian Wassell:
ACM MobiHoc, May 2005: 355-365
[PDF]
replic8: Location-aware data replication for high availability in ubiquitous environments.
Evangelos Kotsovinos and Douglas McIlwraith
in the Proceedings of the 3rd International Conference on Wired/Wireless Internet Communications (WWIC 2005), May 2005, Xanthi, Greece
Live Migration of Virtual Machines
Christopher Clark, Keir Fraser, Steven Hand, Jakob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt and Andrew Warfield
in the Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI '05), May 2005, Boston, MA
[PDF]
Using Smart Phones to Access Site-Specific Services
Eleanor Toye, Richard Sharp, Anil Madhavapeddy and David Scott
IEEE Pervasive Computing Special Issue on the Smart Phone, April-June 2005
MIRRORS: An integrated framework for capturing real world behaviour for models of ad hoc networks
Wenjun Hu and Jon Crowcroft
Technical Report UCAM-CL-TR-631.
Hyper-Threading Aware Process Scheduling Heuristics
James Bulpin and Ian Pratt
in the Proceedings of the USENIX Annual Technical Conference, April 2005, Anaheim, CA
Facilitating the Development of Soft Devices
Andrew Warfield, Keir Fraser, Steven Hand and Tim Deegan
in the Proceedings of the USENIX Annual Technical Conference, April 2005, Anaheim, CA
[PDF]
Brooery: A Graphical Environment for Analysis of Security-Relevant Network Activity
Christian Kreibich
in the Proceedings of the USENIX Annual Technical Conference, Freenix Track, April 2005, Anaheim, CA
[PDF]
Traffic Classification using a Statistical Approach
Denis Zuev and Andrew W. Moore
in the Proceedings of Sixth Passive and Active Measurement Workshop (PAM 2005), March/April 2005, Boston, MA
[PDF]
Toward the Accurate Identification of Network Applications
Andrew W. Moore and Konstantina Papagiannaki
in the Proceedings of Sixth Passive and Active Measurement Workshop (PAM 2005), March/April 2005, Boston, MA
[PDF]
Optimizing data layout for delay-line memory
Jon Crowcroft and Tim Deegan.
Electronics Letters Vol. 41, No. 6, Pages 358-359, March 2005
Exploiting Diversity to Enhance Multimedia Streaming Over Cellular Links
Julian Chesterfield, Rajiv Chakravorty, Ian Pratt, Suman Banerjee, Pablo Rodriguez
in the proceedings of IEEE INFOCOM, March 2005, Miami, FL
Declarative Control of the Future Home Environment
Tope Omitola.
ACM Symposium on Applied Computing, ACM SAC'05, Santa Fe, NM, March 2005
Internet Routing Policies and Round-Trip-Times
Han Zheng, Eng Keong Lua, Marcelo Pias, and Timothy G. Griffin
in the Proceedings of the Passive & Active Measurement Workshop 2005 March 2005, Boston, MA
A Graphical Exploration of Non-uniform Errors
Laura James, Andrew Moore, Madeleine Glick, and Adrian Wonfor
in the Proceedings of the IEEE INFOCOM March 2005, Miami, FL (poster)
Packet error rate and bit error rate non-deterministic relationship in optical network applications
Laura James, Andrew Moore, Adrian Wonfor, Richard Plumb, Ian White, Richard Penty, Madeleine Glick and Derek McAuley
in the Proceedings of the IEEE/OSA Optical Fibre Conference 2005, March 2005, Anaheim, CA
[PDF]
A Practical Approach for 4G Systems: Deployment of Overlay Networks.
Pablo Vidales, Glenford Mapp, Frank Stajano, Jon Crowcroft, Carlos Jesus Bernardos
in Proceedings of TRIDENTCOM 2005 (p172-181), Trento, Italy, February 2005
On the nature of computing.
Jon Crowcroft
Commun. ACM 48(2): 19-20, February 2005
Global public computing
Evangelos Kotsovinos
PhD dissertation, available as Computer Laboratory Technical Report UCAM-CL-TR-615, ISSN 1476-2986, January 2005
Using Visual Tags to Bypass Bluetooth Device Discovery
David Scott, Richard Sharp, Anil Madhavapedy and Eben Upton
ACM Mobile Computing and Communications Review (MC2R) Special Section on Discovery and Interaction of Mobile Services, January 2005
[PDF]

2004 Publications

Using Camera-phones to Interact with Context-Aware Mobile Services
Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell and Eben Upton
University of Cambridge Technical Report UCAM-CL-TR-609
[PDF]
Highways: Proximity Clustering for Scalable Peer-to-Peer Network.
aEng Keong Lua, Jon Crowcroft, Marcelo Pias:
Peer-to-Peer Computing 2004: 266-267
BarterRoam: A Novel Mobile and Wireless Roaming Settlement Model.
Eng Keong Lua, Alex Lin, Jon Crowcroft, Valerie Tan:
QofIS 2004: 348-357
A case for all-wireless, dual-radio virtual sinks.
Chieh-Yih Wan, Andrew T. Campbell, Jon Crowcroft
ACM SynSys 2004: 267-268
Global-scale Service Deployment in the XenoServer Platform
Evangelos Kotsovinos, Tim Moreton, Ian Pratt, Russ Ross, Keir Fraser, Steven Hand, and Tim Harris
in the Proceedings of the 1st Workshop on Real, Large Distributed Systems (WORLDS'04), December 2004, San Francisco, CA
[PDF]
PDB: Pervasive Debugging With Xen
Alex Ho, Steve Hand, and Tim Harris
in the Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing (Grid 2004), November 2004, Pittsburgh, PA
[PS][PDF]
Experiences with Multimedia Streaming over 2.5G and 3G Networks
J.Chesterfield, R.Chakravorty, J.Crowcroft, P.Rodriguez and S. Banerjee
in the Proceedings of the First International Workshop on Broadband Wireless Multimedia (BROADWIM), October 2004, San Jose, CA
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Marta Kwiatkowska, Dave Parker, Yi Zhang and Rashid Mehmood
in the Proceedings of the 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 123-130, IEEE Computer Society Press, October 2004, Volendam, The Netherlands
[PDF]
Safe Hardware Access with the Xen Virtual Machine Monitor
Keir Fraser, Steve Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield and Mark Williams
Proceedings of the 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure (OASIS), October 2004, Boston, MA
[PDF]
Performance Optimizations for Wireless Wide-Area Networks: Comparative Study and Experimental Evaluation
R.Chakravorty, S.Banerjee, P.Rodriguez, J.Chesterfield and I.Pratt
in the Proceedings of ACM MOBICOM, September 2004, Philadelphia, PA
Beyond Gigabit Ethernet: Physical Layer Issues in Future Optical Networks
Laura James, Andrew Moore, Richard Plumb, Madeleine Glick, Adrian Wonfor, Ian White, Derek McAuley and Richard Penty
London Communications Symposium September 2004
[PDF]
Reconstructing I/O
Keir Fraser, Steve Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield and Mark Williams
Technical Report UCAM-CL-TR-596, August 2004
[PDF]
Rethinking incentives for mobile ad hoc networks
Elgan Huang, Jon Crowcroft, Ian Wassell
Proceedings of the ACM SIGCOMM workshop on Practice and theory of incentives in networked systems, Portland, Oregon, USA , August 2004
[PDF]
An Implementation-Based Comparison of Measurement-Based Admission Control Algorithms
Andrew W. Moore
Journal of High Speed Networks, 13(2), 2004, pp87-102, IOS Press,
[PDF]
Brief Announcement: Implementing Multi-Word Atomic Snapshots on Current Hardware
Chris Purcell and Tim Harris
in Proceedings of the 23rd Annual ACM Symposium on Principles of Distributed Computing (PODC 2004), July 2004, Newfoundland, Canada
[PDF]
Multiprogramming Performance of the Pentium 4 with Hyper-Threading
James Bulpin and Ian Pratt
The Third Annual Workshop on Duplicating, Deconstruction and Debunking, June 2004.
[PDF]
Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming
Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy
Proceedings of the ACM SIGCOMM 2004 Workshop on NetGames
[PDF]
Exceptions and side-effects in atomic blocks
Tim Harris
Workshop on Concurrency and Synchronization in Java Programs.
[PDF]
PROTON: A Policy-based Mobile Client System for the Fourth Generation (4G) Mobile Environments
Pablo Vidales, Rajiv Chakravorty and Calicrates Policroniades
Proceedings of the POLICY 2004: IEEE Fifth International Workshop on Policies for Distributed Systems and Networks, June 2004.
Alternatives for Detecting Redundancy in Storage Systems Data
Calicrates Policroniades and Ian Pratt
Proceedings of the USENIX 2004 Annual Technical Conference, June 2004.
Design and Implementation of Netdude, a Framework for Packet Trace Manipulation
Christian Kreibich
Proceedings of the Usenix 2004 Annual Technical Conference, Freenix Track, June 2004, Boston, USA.
[PDF][PS][HTML]
MAR: A Commuter Router Infrastructure for the Mobile Internet
Pablo Rodriguez, Rajiv Chakravorty, Julian Chesterfield, Ian Pratt, Suman Banerjee
Proceedings of the ACM Second Mobile Systems, Applications and Services Conference (ACM Mobisys 2004), June 2004.
Pinocchio: Incentives for honest participation in distributed trust management
Alberto Fernandes, Evangelos Kotsovinos, Sven Ostring and Boris Dragovic
Proceedings of the 2nd International Conference on Trust Management (iTrust 2004), March 2004, Oxford. Also to be published in Springer-Verlag Lecture Notes in Computer Science (LNCS)
Offering broadband services via the telephone system in a volatile economic env\ ironment.
Alberto Fernandes
Proceedings CSNDSP 2004 ( International Symposium on Communi\ cations Systems, Networks and Digital Signal Processing)
[PDF]
Structured Errors in Optical Gigabit Ethernet Packets
Laura James, Andrew Moore, and Madeleine Glick
Proceedings of Fifth Passive and Active Measurement Workshop (PAM 2004), April 2004
[PDF]
Measurement Approaches to Evaluate Performance Optimizations
over Wide-Area Wireless Networks
Rajiv Chakravorty, Julian Chesterfield, Pablo Rodriguez, Suman Banerjee
Proceedings of Fifth Passive and Active Measurement Workshop (PAM 2004), April 2004
Optimizations for Streaming Media over Wide-area Wireless Networks
Julian Chesterfield, Rajiv Chakravorty, Pablo Rodriguez, Suman Banerjee, Ian Pratt and Jon Crowcroft
Proceedings of WiOpt'04: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, March 2004
Performance Issues with Vertical Handovers - Experiences from
GPRS Cellular and WLAN hot-spots Integration
Rajiv Chakravorty, Pablo Vidales, Kavitha Subramanian, Ian Pratt, Jon Crowcroft
Proceedings of the IEEE Second Pervasive Communications and Computing Conference (IEEE PerCom 2004), March 2004
[PDF]

2003 Publications

Honeycomb — Creating Intrusion Detection Signature using Honeypots
Christian Kreibich, Jon Crowcroft
In the Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II), November 2003
[PDF]
An implementation of a Coordinate based Location System
David Spence
Technical Report UCAM-CL-TR-576, November 2003
[PDF]
Xen and the Art of Virtualization
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebar, Ian Pratt and Andrew Warfield
In the Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), October 2003
[PDF]
Practical Experiences with Wireless Networks Integration
using Mobile IPv6
Rajiv Chakravorty, Pablo Vidales, Kavitha Subramanian, Ian Pratt and Jon Crowcroft
in ACM MOBICOM 2003 (poster). (Amongst top 8 abstracts to feature in forthcoming issue of ACM Mobile Computing and Communications Review (MC2R)).
[PDF]
Ubiquitous Networking in Heterogeneous Environments
Pablo Vidales, Leo Patanapongpibul, Rajiv Chakravorty
in Proceedings of the 8th IEEE Mobile Multimedia Communications (MoMuC 2003), October 2003.
[PDF]
A framework for dynamic SLA-based QoS Control for UMTS
Rajiv Chakravorty, Maurizio D'Arienzo, Ian Pratt and Jon Crowcroft
in IEEE Wireless Communications, Special Issue on Merging IP and Wireless Networks, Vol. 10, No. 5, October 2003.
[PDF]
Role-Based Resource Management
Evangelos Kotsovinos and Tim Harris
In Proceedings of the 8th CaberNet Radicals Workshop, Corsica, France, October 2003
[PDF]
Reducing \ the Guard Interval Loss via Recursive Singular Value Decomposition
Alberto Fernandes
In the Proceedings of the Eigth International OFDM Workshop, Hamburg.
[PDF]
Context-Aware Computing with Sound
Anil Madhavapeddy, David Scott, and Richard Sharp
In the Proceedings of the Fifth International Conference on Ubiquitous Computing (UBICOMP-2003), October 2003.
[PDF]
Ubiquity in Diversity - A Network-Centric Approach (poster)
Rajiv Chakravorty, Pablo Vidales, Boris Dragovic, Calicrates Policroniades, and Leo Patanapongpibul.
In the Adjunct Proceedings of the Fifth International Conference on Ubiquitous Computing (UBICOMP-2003), October 2003.
[PDF]
Language support for lightweight transactions
Tim Harris and Keir Fraser
Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2003), October 2003.
[PDF]
A Data Repository for Fine-Grained Adaptation in Heterogeneous Environments
Calicrates Policroniades, Rajiv Chakravorty, Pablo Vidales
Proceedings of the 3rd ACM Workshop on Data Engineering for Wireless and Mobile Access (ACM MobiDE'2003), September 2003
(with ACM MobiCom 2003).
[PS]
Design choices for language-based transactions
Tim Harris
Technical Report UCAM-CL-TR-572, August 2003
[PDF]
XenoTrust: Event-based distributed trust management
Boris Dragovic, Evangelos Kotsovinos, Steven Hand and Peter Pietzuch
In the Proceedings of the Second IEEE International Workshop on Trust and Privacy in Digital Business (DEXA-TrustBus'03), September 2003.
[PDF]
The XenoServer Open Platform: Deploying global-scale services for fun and profit (poster)
Evangelos Kotsovinos and David Spence
In the Proceedings of ACM SIGCOMM 2003, August 2003.
Honeycomb: Automated NIDS Signature Creation using Honeypots (poster)
Christian Kreibich, Jon Crowcroft
In the Proceedings of ACM SIGCOMM 2003, August 2003.
[PDF]
Plutarch: An Argument for Network Pluralism
Jon Crowcroft, Steven Hand, Richard Mortier, Timothy Roscoe and Andrew Warfield
In the Proceedings of ACM SIGCOMM Workshops, August 2003.
[PDF]
QoS's Downfall: At the bottom, or not at all!
Jon Crowcroft, Steven Hand, Richard Mortier, Timothy Roscoe and Andrew Warfield
In the Proceedings of ACM SIGCOMM Workshops, August 2003.
[PDF]
The Case for Abstracting Security Policies
Anil Madhavapeddy, Alan Mycroft, David Scott and Richard Sharp
In the Proceedings of the 2003 International Conference on Security and Management (SAM-03), June 2003.
[PDF]
Network QoS for GRID Systems
S Bhatti, S Sorensen, P Clark and J Crowcroft
International Journal of High Performance Computing Applications Vol 17, No. 3, published by Sage Publications
Operating System I/O Speculation: How Two Invocations are Faster than One
Keir Fraser and Fay Chang
Proceedings of the USENIX Annual Technical Conference, June 2003
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform
David Spence and Tim Harris
Proceedings of the Twelfth IEEE International Symposium on High Performance Distributed Computing (HPDC-12), June 2003
[PDF]
Dynamic SLA-based QoS Control for Third Generation Wireless Networks: The CADENUS Extension
Rajiv Chakravorty, Maurizio D'Arienzo, Ian Pratt and Jon Crowcroft
Proceedings of Thirty Eighth IEEE International Conference on Communications (ICC 2003), May 2003
[PS]
Managing Trust and Reputation in the XenoServer Open Platform
Boris Dragovic, Steven Hand, Tim Harris, Evangelos Kotsovinos and Andrew Twigg
Proceedings of the First International Conference on Trust Management, May 2003
[PDF] also published as part of Volume 2692 of Lecture Notes in Computer Science
Palimpsest: Soft-Capacity Storage for Planetary-Scale Services
Timothy Roscoe and Steven Hand
Proceedings of the Ninth Workshop on Hot Topics in Operating Systems (HotOS-IX), May 2003
[PDF]
GPRSWeb: Optimizing the Web for GPRS Links
Rajiv Chakravorty, Andrew Clark and Ian Pratt
Proceedings of the ACM First Mobile Systems, Applications, and Services Conference (ACM Mobisys 2003), May 2003
[PS], [HTML]
An Extensible RTCP Control Framework for Large Multimedia Distributions
Julian Chesterfield and Eve Schooler
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA '03), April 2003,
[PS], [PDF]
The Effect of Early Packet Loss on Web Page Download Times
James Hall, Ian Pratt, Ian Leslie and Andrew Moore
Proceedings of the Fourth Passive and Active Measurement Workshop (PAM 2003), April 2003
[PDF]
Architecture of a Network Monitor
Andrew Moore, James Hall, Euan Harris, Christian Kreibech and Ian Pratt
Proceedings of the Fourth Passive and Active Measurement Workshop (PAM 2003), April 2003
[PDF]
Controlling the XenoServer Open Platform
Steven Hand, Tim Harris, Evangelos Kotsovinos and Ian Pratt
Proceedings of the Sixth IEEE Conference on Open Architectures and Network Programming (OPENARCH 2003), April 2003
[PDF]
Flow Aggregation for Enhanced TCP over Wide Area Wireless
Rajiv Chakravorty, Sachin Katti, Jon Crowcroft and Ian Pratt
Proceedings of the Twenty Second IEEE Conference on Computer and Communications (IEEE INFOCOM 2003), April 2003
[PS]
Modeling incentives for collaboration in Mobile Ad Hoc Networks
Jon Crowcroft, Richard Gibbens, Frank Kelly and Sven Ostring
Proceedings of WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, March 2003,
[PDF]
Optimizing the Web for Wide Area Wireless: Design, Implementation and some Real Experiences
Rajiv Chakravorty
Invited Workshop Talk on (recommendations for) Internet Usage over 2.5G, 3G and WLANs (WIU253), March 2003, Barcelona, Spain. Also appears in the Workshop Proceedings.
[PPT]
Lighthouses for Scalable Distributed Location
Marcelo Pias, Jon Crowcroft, Steve Wilbur, Tim Harris and Saleem Bhatti
Proceedings of the 2nd International Workshop on Peer-to-Peer Systems (IPTPS '03), February 2003
The PGM Reliable Multicast Protocol
Jim Gemmel, Todd Montgomery, Tony Speakman, Nidhi Bhaskar and Jon Crowcroft
IEEE Network Special Issue on Multicasting, January 2003
[PDF]
Xen 2002
Paul R Barham, Boris Dragovic, Keir A Fraser, Steven M Hand, Timothy L Harris, Alex C Ho, Evangelos Kotsovinos, Anil V S Madhavapeddy, Rolf Neugebauer, Ian A Pratt and Andrew K Warfield
Technical Report UCAM-CL-TR-553, January 2003
[PDF]
The Xenoserver computing infrastructure
Keir A Fraser, Steven M Hand, Timothy L Harris, Ian M Leslie and Ian A Pratt
Technical Report UCAM-CL-TR-552, January 2003
[PDF]

2002 Publications

Performance Issues with General Packet Radio Service
Rajiv Chakravorty and Ian Pratt
Journal of Communications and Networks (JCN), Special Issue on Evolving from 3G deployment to 4G definition, pages 266-281, Vol. 4, No. 2, December 2002 (ISSN 1229-2370)
[PS]
Isolation of Shared Network Resources in Xenoservers
Andrew Warfield, Steven Hand, Timothy Harris and Ian Pratt
PlanetLab Design Note PDN-02-006, November 2002
[PDF]
Predicate Routing: Enabling Controlled Networking
Timothy Roscoe, Steven Hand, Rebecca Isaacs, Richard Mortier and Paul Jardetzky
Proceedings of the First Workshop on Hot Topics in Networks (HotNets-I), October 2002
[gzipped postscript][postscript][PDF]
Practical Experience with TCP over GPRS
Rajiv Chakravorty, Joel Cartwright and Ian Pratt
Proceedings of IEEE GLOBECOM 2002
[PDF]
A Practical Multi-Word Compare-and-Swap Operation
Timothy L Harris, Keir Fraser and Ian Pratt
Proceedings of the 2002 IEEE Symposium on Distributed Computing
[PS], [PDF] also published as part of Volume 2508 of Lecture Notes in Computer Science
Practical Experience with HTTP and TCP over GPRS
Rajiv Chakravorty and Ian Pratt
poster and an extended abstract in e-Proceedings of ACM MOBICOM 2002, and also in forthcoming ACM Mobile Comunications and Computing Review (MC2R)
Poster [PDF], Extended Abstract [PS]
WWW Performance over GPRS
Rajiv Chakravorty and Ian Pratt
Proceedings of the IEEE International Conference on Mobile and Wireless Communication Networks (MWCN 2002)
[PDF]
Engineering Mobile Proxy Design for Wide-Area Wireless
Rajiv Chakravorty and Ian Pratt
Proceedings of the 7th CaberNet (European) Radicals Workshop
[PS]
Distributed resource discovery and management in the XenoServers Platform
Evangelos Kotsovinos and Tim Harris
Proceedings of the 7th CaberNet (European) Radicals Workshop
[PDF]
Proactive Multipath Routing
Jing Shen, Jiaoying Shi and Jon Crowcroft
Proceedings of Quality of future Internet Services (QofIS) 2002
[PDF]
InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems
Timothy Roscoe, Richard Mortier, Paul Jardetzky and Steven Hand.
Proceedings of the 2002 ACM SIGOPS European Workshop
[gzipped postscript][postscript][PDF]
SBM: Enabling Remote Management Services for Dynamically Reconfigurable Devices
Rajiv Chakravorty and Hans Ottevanger
Proceedings of the Networks 2002: IEEE International Conference on Wireless LANs and Home Networking (IEEE ICWLHN), 2002, pages 699-710 (book chapter 15), ISBN 981-238-127-9, World Scientific Inc. (ed. Benny Bing, Pascal Lorenz)
[PS]
Architecture and Implementation of a Remote Management Framework for Dynamically Reconfigurable Devices
Rajiv Chakravorty and Hans Ottevanger
Proceedings of the 10th IEEE International Conference on Networks (IEEE ICON), 2002, pages 375-381, ISBN 0-7803-7533-5
[PDF]
Dependable computing needs pervasive debugging
Timothy L Harris
Proceedings of the 2002 ACM SIGOPS European Workshop
[gzipped postscript][postscript][PDF]
Spread Spectrum Storage with Mnemosyne
Steven Hand and Timothy Roscoe
Proceedings of Future Directions in Distributed Computing (FuDiCo02)
Storage, Mutability and Naming in Pasta
Tim D Moreton, Ian A Pratt and Timothy L Harris
Proceedings of the International Workshop on Peer-to-Peer Computing at Networking 2002
[gzipped postscript][postscript][PDF] also published as part of Volume 2376 of Lecture Notes in Computer Science
Transaction-based Charged in Mnemosyne: a Peer-to-Peer Steganographic Storage System
Timothy Roscoe and Steven Hand
Proceedings of the International Workshop on Peer-to-Peer Computing at Networking 2002
[gzipped postscript][postscript][PDF]
Channel Islands in a Reflective Ocean: Large Scale Event Distribution in Heterogeneous Networks
Jon Crowcroft
Proceedings of the IFIP-TC6 Networks 2002 Conference
[PDF]
Peer-to-Peer: Peering into the Future
Jon Crowcroft and Ian Pratt
Proceedings of the IFIP-TC6 Networks 2002 Conference
[gzipped postscript]
Resource Control in Network Elements
Austin Donnelly
PhD dissertation, Computer Laboratory Technical Report 534
[PDF]
Internet Traffic Engineering
Richard Mortier
PhD dissertation, Computer Laboratory Technical Report 532
[PDF]
Measurement-Based Management of Network Resources
Andrew William Moore
PhD dissertation, Computer Laboratory Technical Report 528
[PDF]
Mnemosyne: Peer-to-Peer Steganographic Storage
Steven Hand and Timothy Roscoe
Proceedings of 1st International Workshop on Peer-to-Peer Systems
[gzipped postscript][postscript][PDF]

2001 Publications

Non-Intrusive Estimation of Web Server Delays
James Hall, Ian Pratt and Ian Leslie
IEEE LCN2001, November 2001
[gzipped postscript 99.62 KB]
Observing Web Browser Behaviour Using the Nprobe Passive Monitoring Architecture
James Hall, Ian Pratt and Ian Leslie
Cabernet 2001
[pdf 32KB]
A Pragmatic Implementation of Non-Blocking Linked Lists
Timothy L Harris
Proceedings of the 2001 IEEE Symposium on Distributed Computing
[gzipped postscript][postscript][PDF] also published as part of Volume 2180 of Lecture Notes in Computer Science
Extensible Virtual Machines
Timothy L Harris
PhD dissertation, Computer Laboratory Technical Report 525
[PDF]
Elastic Network Control: An Alternative to Active Networks
Herbert Bos, Rebecca Isaacs, Richard Mortier, Ian Leslie
Journal of Communications and Networks
Note: This was due to appear in the March 2001 special issue on programmable switches and routers. Due to extensive delays on the part of the editors it will now appear in a later issue.
[gzipped postscript 94.56 KB]
Support for Resource-Assured and Dynamic Virtual Private Networks
Rebecca Isaacs and Ian Leslie
IEEE Journal on Selected Areas in Communications (JSAC) 19(3) March 2001
[PDF]
Arsenic: A User-Accessible Gigabit Ethernet Interface
Ian Pratt and Keir Fraser
Proceedings of the Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM), April 2001
[postscript]

2000 Publications

Implicit Admission Control
Richard Mortier, Ian Pratt, Christopher Clark, Simon Crosby
IEEE Journal on Selected Areas in Communications (JSAC) 18(12) December 2000
Dynamic Adaptive Pre-Tenuring
Timothy L Harris
Proceedings of the 2000 ACM International Symposium on Memory Management
[postscript]
Lightweight, Dynamic and Programmable Virtual Private Networks
Rebecca Isaacs
IEEE OPENARCH, March 2000
[gzipped postscript 63.92 KB] [PDF]
Open Extensible Network Control
Herbert Bos
Journal of Network and Systems Management, 8(1), March 2000
[gzipped postscript 102.35 KB]

1999 Publications

An experimental configuration for the evaluation of CAC algorithms
Andrew Moore and Simon Crosby
Performance Evaluation Review, 27(3), pp43-54, December 1999
[gzipped postscript]
INCA: Support for IN Using the Tempest
Rebecca Isaacs and Richard Mortier
IEEE GLOBECOM, December 1999
[gzipped postscript 61.10 KB] [PDF]
Elastic Network Control
Herbert Bos
PhD dissertation, August 1999
Technical Report No. 483
[gzipped postscript 679.45 KB]
Application-Specific Policies: Beyond the Domain Boundaries
Herbert Bos
IFIP Integrated Network Management VI, May 1999
[gzipped postscript 82.70 KB]
An Economic Approach to Adaptive Resource Management
Neil Stratford and Richard Mortier
IEEE Hot Topics in Operating Systems (HotOS) VII, March 1999
[online][gzipped postscript 98.09 KB][postscript][PDF]
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support for Quality of Service (`QoS'). Several authors have advocated the construction of an ``oracle''-like entity, with the effect of abstracting the fundamental problems into oblivion. In this paper we propose a radically different approach that attempts to address the underlying issues in a uniform and fundamentally scalable manner.
Xenoservers: accountable execution of untrusted code
Dickon Reed, Ian Pratt, Paul Menage, Stephen Early, Neil Stratford
IEEE Hot Topics in Operating Systems (HotOS) VII, March 1999
[online][gzipped postscript 57.30 KB][postscript][PDF]
Many networked applications could benefit from executing closer to the data or services with which they interact. By doing this they may be able to circumvent long communication latencies or avoid transferring data over congested or expensive network links. However, no public infrastructure currently exists that enables this. We propose a system that can execute code supplied by an untrusted user, yet can charge this user for all resources consumed by the computation. Such servers could be deployed at strategic locations throughout the Internet, enabling network users such as content providers to distribute components of their applications in a manner that is both efficient and economical. We call such a server a Xenoserver. This paper discusses the construction of such a system, examining how accounting, billing, and quality of service provision can be achieved.
Self-Paging in the Nemesis Operating System
Steven Hand
Usenix Third Symposium on Operating Systems Design and Implementation, February 1999
[online][gzipped postscript 150.84 KB]
In contemporary operating systems, continuous media (CM) applications are sensitive to the behaviour of other tasks in the system. This is due to contention in the kernel (or in servers) between these applications. To properly support CM tasks, we require ``Quality of Service Firewalling'' between different applications. This paper presents a memory management system supporting Quality of Service (QoS) within the Nemesis operating system. It combines application-level paging techniques with isolation, exposure and responsibility in a manner we call self-paging. This enables rich virtual memory usage alongside (or even within) continuous media applications.
Elastic Network Control with Future Reservations
Herbert Bos
ERSADS, February 1999

1998 Publications

Controlling run-time compilation
Timothy Harris
IEEE Workshop on Programming Languages for Real-Time Industrial Applications, December 1998
[gzipped postscript 43.20 KB]
This paper describes a technique for integrating run-time compilation which is effectively pause free and for which the worst-case impact can be bounded. Three extensions to a JVM implementation are used. Firstly, a new scheduler allows the allocation of CPU time to threads to be controlled. Secondly, a code generator provides a mechanism for run-time compilation. Finally, a control interface allow application-specific compilation policies to be specified. By defining a compilation policy in which native code is generated in a designated compiler thread with a limited CPU allocation, it is possible to bound the worst-case impact of the compiler.
Building a Distributed Video Server using Advanced ATM Network Support
Herbert Bos
IFIP/IEEE MMNS, November 1998
The Tempest: A Framework for Safe, Resource-Assured Programmable Networks
Sean Rooney and Jacobus E. van der Merwe and Simon A. Crosby and Ian M. Leslie
IEEE Communications Magazine, 36(10), October 1998
[gzipped postscript 91.23 KB]
Efficient Reservations in Open ATM Network Control Using Online Measurements
Herbert Bos
International Journal of Communication Systems, 11(4), August 1998
[gzipped postscript 135.73 KB]
A new audio device driver abstraction
Dickon Reed
IEEE NOSSDAV98, July 1998
[online][gzipped postscript 55.68 KB]
Traditional audio device drivers are unable to provide low latency audio services and often do not provide audio mixing services. High quality audio has, compared to other media types, relatively low bandwidth, but is very sensitive to latency and errors. This paper presents a device driver abstraction that exploits the low bandwidth and constant bit rate of audio to provide multiple channels of low latency audio efficiently. It provides applications with a great deal of flexibility with regards to latency, blocking behaviour and mixing.
The Tempest --- A Practical Framework for Network Programmability
Jacobus E. van der Merwe and Sean Rooney and Ian Leslie and Simon Crosby
IEEE Network Magazine, 12(3), June 1998
[gzipped postscript 125.23 KB]
Service Specific Control Architectures for ATM
Jacobus E. van der Merwe and Ian M. Leslie
IEEE Journal on Selected Areas in Communications, 16(3), April 1998
[gzipped postscript 117.20 KB]
The concept of a Service Specific Control Architecture (SSCA) in an ATM environment is presented. Here a Control Architecture denotes the out-of-band control and management mechanisms operation in a network or virtual network (or part thereof). An SSCA can use knowledge about the application it serves to make better use of network resources and thus provide a more efficient service. Such a control architecture can be designed to provide only the subset of control functions required by the applications it serves, thereby greatly reducing its complexity. The switchlet mechanism, which allows more than one control architecture to be operational simultaneously within the same network, enables the use of service specific control architectures. Implementation work is presented to illustrate the use of switchlets and SSCAs. This includes both an environment which uses switchlets to dynamically create virtual networks, and an SSCA used to provide video and audio conferencing facilities in an ATM environment
Controlling the Tempest: Adaptive Management in Advanced ATM Control Architectures
David A. Halls and Sean G. Rooney
IEEE Journal on Selected Areas in Communications, 16(3), April 1998
[gzipped postscript 104.53 KB]
ATM Admission Control based on Measurements and Reservations
Herbert Bos
IEEE IPCCC, February 1998
[gzipped postscript 109.50 KB]
The Structure of Open ATM Control Architectures
Sean Rooney
Ph.D. dissertation, February 1998
Technical Report No. 451
[gzipped postscript 362.69 KB]
Measurement Based Admission Control and Resource Allocation for Multimedia Applications
Paul Barham and Simon Crosby and Tim Granger and Neil Stratford and Fergal Toomey and Muriel Huggard
Proceedings of IEEE MMCN'98, Janurary 1998
Practical Connection Admission Control for ATM Networks Based on On-line Measurements
Simon Crosby and Ian Leslie and John Lewis and Raymond Russell and Fergal Toomey and Brian McGurk
Computer Communications, 1998

1997 Publications

Protocol Implementation in a Vertically Structured Operating System
Richard Black, Paul Barham, Austin Donnelly, and Neil Stratford
Proceedings of IEEE Conference on Computer Networks, November 1997
[online][gzipped postscript 51.24 KB]
A vertically structured Operating System is one in which neither the ``kernel'' nor ``servers'' perform work on behalf of applications - the former because it exists only to multiplex the CPU, and the latter in order to avoid Quality of Service interference between the applications. Instead, wherever possible, the applications perform all of their own processing. Such a vertical structure provides many advantages for applications but leads to some interesting problems and opportunities for protocol stack implementation. This paper describes the techniques we used in our protocol implementation and the benefits that the vertical structure provided.
Open Service Support for ATM
J.E. van der Merwe
Ph.D. dissertation. September 1997
Technical Report No. 450
[gzipped postscript 504.38 KB]
Statistical Properties of a Near-Optimal Measurement-based CAC Algorithm
John Lewis and Raymond Russell and Fergal Toomey and Brian McGuirk and Simon Crosby and Ian Leslie
Proceedings of ATM'97, May 1997
The Hollowman: An Innovative ATM Control Architecture
Sean Rooney
IFIP Integrated Network Management V, May 1997
[gzipped postscript 61.36 KB]
Switchlets and Dynamic Virtual ATM Networks
Jacobus E. van der Merwe and Ian Leslie
IFIP Integrated Network Management V, May 1997
[gzipped postscript 91.09 KB]
A Fresh Approach to File System Quality of Service
Paul Barham
IEEE NOSSDAV 97, May 1997.
[online][gzipped postscript 115.99 KB]
This paper describes a file system structure for supporting Quality of Service (QoS) guarantees. The device driver model clearly separates control and data path operations and presents a low level of abstraction. The data path module provides translation and protection of I/O requests enabling the file system layers to be executed as unprivileged code within shared libraries. Scheduling of low level operations within the device driver is used to provide isolation between clients and Quality of Service guarantees.
Connection Closures: Adding Application-Defined Behaviour to Network Connections
Sean Rooney
ACM Computer Communication Review, April 1997
[gzipped postscript 79.38 KB]
An Active Distributed File Server For Continuous Media
Herbert Bos
ERSADS, March 1997

1996 Publications

Devices in a Multi-Service Operating System
Paul Barham
Ph.D. Dissertation, October 1996
Technical Report 403
[online][gzipped postscript 1.50 MB]
Exploring the queueing behaviouer of ATM switches
Nils Bjorkman and Alexander Latour-Henner and A Miah and Simon Crosby and Ian Leslie and M Davey and Raymond Russell and Fergal Toomey
Proceedings Performance 96, October 1996
The Design and Implementation of an Operating System to Support Distributed Multimedia Applications
Ian Leslie, Derek McAuley, Richard Black, Timothy Roscoe, Paul Barham, David Evers, Robin Fairbairns, and Eoin Hyden
IEEE Journal on Selected Areas in Communications, 14(7), September 1996
[online][gzipped postscript 119.64 KB]
Support for multimedia applications by general purpose computing platforms has been the subject of considerable research. Much of this work is based on an evolutionary strategy in which small changes to existing systems are made. The approach adopted here is to start ab initio with no backward compatibility constraints. This leads to a novel structure for an operating system. The structure aims to decouple applications from one another and to provide multiplexing of all resources, not just the CPU, at a low level. The motivation for this structure, a design based on the structure, and its implementation on a number of hardware platforms is described.
Predicting bandwidth requirements of ATM and Ethernet traffic
Simon Crosby and Ian Leslie and Neil O'Connel and Raymond Russell and Fergal Toomey
Proceedings of the Thirteenth UK Teletraffic Symposium, March 1996

1995 Publications

The Structure of a Multi-Service Operating System
Timothy Roscoe
Ph.D. Dissertation, August 1995
Technical Report 376
[online][gzipped postscript 403.18 KB]
CLANGER: An Interpreted Systems Programming Language
Timothy Roscoe
ACM Operating Systems Review 29(2), April 1995
[online][gzipped postscript 54.21 KB]
CLANGER is a powerful, yet simple, command language for the Nemesis operating system. It uses runtime type information to interface directly with operating system components. CLANGER is a combination of command-line interpreter, scripting language, debugger and prototyping tool. This paper describes why such a language is possible, how it is being implemented, and outlines the language as it currently stands.
Bypassing Modeling: an Investigation of Entropy as a Traffic Descriptor in The Fairisle ATM Network
Simon Crosby and Ian Leslie and Muriel Huggard and John Lewis and Brian McGurk and Raymond Russell
Proceedings of the Twelfth UK Teletraffic Symposium, March 1995
Wide-Area Audio Synchronization
Paul Barham, Richard Black and Ian Pratt
[gzipped postscript]
A brief note on performing highly accurate multi-source stream synchronization over the wide area without the use of a global clocking.

1994 Publications

Explicit Network Scheduling
Richard Black
Ph.D. Dissertation, December 1994
Technical Report 361.
[online][gzipped postscript 300.04 KB]
Linkage in the Nemesis Single Address Space Operating System
Timothy Roscoe
ACM Operating Systems Review 28(4), October 1994
[online][gzipped postscript 61.17 KB]
The recent interest in single address space operating systems has resulted in a number of papers, most of which gloss over the issues of linking programs to run in multiple protection domains. Some of the confusion about 64-bit address spaces is due to the almost pervasive use of UNIX and UNIX-like operating systems (such as Mach, Chorus and Amoeba) and languages with poor enforcement of abstraction like C and C++. This paper describes some of the linkage structure of Nemesis, a multi-service operating system being developed as part of the Pegasus project. Nemesis provides a simple and efficient mechanism for program linkage which provides rich sharing of text at a level of individual object classes.
Operating System Support for Distributed Multimedia
Sape Mullender, Ian Leslie and Derek McAuley
Usenix Summer Technical Conference, June 1994
[online][gzipped postscript 70.63 KB]
Multimedia applications place new demands upon processors, networks and operating systems. While some network designers, through ATM for example, hae considered revolutionary approaches to supporting multimedia, the same cannot be said for operating systems designers. Most work is evolutionary in nature attempting to identify additional features that can be added to existing systems to support multimedia. Here we describe the Pegasus project's attempt to buil an operating system from the ground up with multimedia support as a prime objective.
Operating System Support for Quality of Service
Eoin Hyden
Ph.D. Dissertation, February 1994
Technical Report 340.
[online][gzipped postscript 688.82 KB]



© 2009 University of Cambridge Computer Laboratory Please send any comments to tim.moreton@cl.cam.ac.uk Page last updated on 3-Nov-2009 at 13:35 by Malcolm Scott