Mothy's publications

[Home page] [BibT_EX]

• Semi-open-state testing for in-silicon coherent interconnects, Jasmin Schult, Ben Fiedler, David Cock, Timothy Roscoe. Proceedings of Formal Methods in Computer-Aided Design (FMCAD), October 2024. [PDF]
• Generating Trustworthy Software/Hardware I2C Drivers, Daniel Schwyn, Zikai Liu, Timothy Roscoe. Proceedings of the seL4 Summit 2024, October 2024. [PDF]
• seL4 as a CPU Driver for an OS for Real Computers, Roman Meier, Zikai Liu, Ben Fiedler, Timothy Roscoe. Proceedings of the seL4 Summit 2024, October 2024. [PDF]
• Verified fault handling for modern BMCs, Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe. Proceedings of 20th International Conference on Formal Aspects of Component Software (FACS), September 2024. [PDF]
• High Throughput Hardware Accelerated CoreSight Trace Decoding, Matthew Edwin Weingarten, Nora Hossle, Timothy Roscoe. Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), March 2024. [PDF]
• Specifying the de-facto OS of a production SoC, Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe. Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification (KISV '23), Association for Computing Machinery, New York, NY, USA, October 2023, pp. 18-25. [PDF] [ACM]
• Putting out the hardware dumpster fire, Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David Cock, Timothy Roscoe. HotOS '23: Proceedings of the Workshop on Hot Topics in Operating Systems, June 2023, pp. 46-52. [PDF] [ACM]
• Function as a Function, Tom Kuchler, Michael Giardino, Timothy Roscoe, Ana Klimovic. Proceedings of the 2023 ACM Symposium on Cloud Computing (SoCC '23), Association for Computing Machinery, New York, NY, USA, 2023, pp. 81–92. [PDF] [ACM]
• How to diagnose nanosecond network latencies in rich end-host stacks, Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Timothy Merrifield, Sujata Banerjee, Timothy Roscoe. NSDI '22: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, USENIX Association, April 2022, pp. 861-877. [PDF]
• Enzian: an open, general, CPU/FPGA platform for systems software, David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe. ASPLOS '22: Proceedings of the Twenty-Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, February 2022. [PDF] [ACM]
• Declarative Power Sequencing, Jasmin Schult, Daniel Schwyn, Michael Giardino, David Cock, Reto Achermann, Timothy Roscoe. ACM Transactions on Embedded Computing Systems, ACM Press, New York, NY, USA, vol. 20, no. 5s, October 2021, pp. 1--21. [PDF] [ACM]
• A model-checked I2C specification, Lukas Humbel, Daniel Schwyn, Nora Hossle, Roni Häcki, Melissa Licciardello, Jan Schär, David Cock, Michael Giardino, Timothy Roscoe. Proceedings of the 27th International SPIN Symposium on Model Checking of Software, July 2021. [PDF]
• mmapx: uniform memory protection in a heterogeneous world, Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel Schwyn. HotOS '21: Proceedings of the Workshop on Hot Topics in Operating Systems, June 2021, pp. 159–166. [PDF] [Video] [ACM]
• The Enzian Coherent Interconnect (ECI): Opening a coherence protocol to research and applications, Abishek Ramdas, David Cock, Timothy Roscoe, Gustavo Alonso. Proceedings of the 2021 Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE '21), April 2021. [PDF]
• Generating Correct Initial Page Tables from Formal Hardware Descriptions, Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel Schwyn. Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Association for Computing Machinery, New York, NY, USA, 2021, pp. 69–-75. [PDF] [ACM]
• Do OS abstractions make sense on FPGAs?, Dario Korolija, Timothy Roscoe, Gustavo Alonso. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20), USENIX Association, November 2020, pp. 991-1010. [PDF] [Video]
• Shared arrangements: practical inter-query sharing for streaming dataflows, Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe. Proceedings of the VLDB Endowment, vol. 13, no. 10, June 2020, pp. 1793–1806. [PDF] [ACM]
• LynX: A Flexible FPGA Virtualization Framework for Heterogeneous Systems, Dario Korolija, Gustavo Alonso, Timothy Roscoe. Proceedings of the 10th Workshop on Systems for Post-Moore Architectures (SPMA 20), Heraklion, Greece, April 2020. [PDF]
• Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines, Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi. ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2020, pp. 283–300. [PDF] [ACM]
• Tackling Hardware/Software co-design from a database perspective, Gustavo Alonso, Timothy Roscoe, David Cock, Mohsen Owaida, Kaan Kara, Dario Korolija, David Sidler, Zeke Wang. Proceedings of the 6th biennial Conference on Innovative Data Systems Research (CIDR), Amsterdam, Netherlands, January 2020. [PDF]
• A fork() in the road, Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe. Proceedings of the 17th Workshop on Hot Topics in Operating Systems (HotOS-XVII), Bertinoro, Italy, May 2019. [PDF]
• Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories, Kirk M. Bresniker, Paolo Faraboschi, Avi Mendelson, Dejan S. Milojicic, Timothy Roscoe, Robert N. M. Watson. IEEE Computer, IEEE Computer Society, vol. 52, no. 2, March 2019, pp. 52-62. [PDF] [ACM]
• Megaphone: Latency-conscious state migration for distributed streaming dataflows, Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe. PVLDB, vol. 12, no. 9, 2019, pp. 1002-1015. [PDF] [ACM]
• Memory-Side Protection With a Capability Enforcement Co-Processor, Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic. ACM Transactions on Architecture and Code Optimization (TACO), ACM Press, New York, NY, USA, vol. 16, no. 1, 2019, pp. 5:1-5:26. [PDF] [ACM]
• Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows, Vasia Kalavri, John Liagouris, Moritz Hoffmann, Desislava Dimitrova, Matthew Forshaw, Timothy Roscoe. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018), Carlsbad, CA, USA, October 2018. [PDF]
• Physical Addressing on Real Hardware in Isabelle/HOL, Reto Achemann, Lukas Humbel, David Cock, Timothy Roscoe. 9th International Conference on Interactive Theorem Proving, Oxford, United Kingdom, July 2018. [PDF]
• SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows, Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe. Proceedings of the 15th Symposium on Networked Systems Design and Implementation (NSDI'18), Renton, WA, USA, April 2018. [PDF]
• Towards Correct-by-Construction Interrupt Routing on Real Hardware, Lukas Humbel, Reto Achemann, David Cock, Timothy Roscoe. 9th Workshop on Programming Languages and Operating Systems (PLOS 2017), Shanghai, China, October 2017. [PDF]
• Separating Translation from Protection in Address Spaces with Dynamic Remapping, Reto Achermann, Chris Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson. Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS-XVI), Whistler, BC, Canada, May 2017. [PDF]
• Online Reconstruction of Structural Information from Datacenter Logs, Zaheer Chothia, John Liagouris, Desislava Dimitrova, Timothy Roscoe. Proceedings of the ACM European Systems Conference (Eurosys 2017), Belgrade, Serbia, April 2017. [PDF] [ACM]
• Formalizing Memory Accesses and Interrupts, Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe. 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, April 2017. [PDF] [ACM]
• SpaceJMP: Programming with Multiple Virtual Address Spaces, Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei Hwu, Timothy Roscoe, Karsten Schwan. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2016), Atlanta, Georgia, USA, March 2017. [PDF] [ACM]
• Machine-Aware Atomic Broadcast Trees for Multicores, Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe. Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'02), Savannah, GA, USA, November 2016, pp. 33-48. [PDF]
• So many performance events, so little time, Gerd Zellweger, Denny Lin, Timothy Roscoe. Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '16), Hong Kong, China, August 2016. [PDF] [ACM]
• Customized OS support for data-processing, Jana Giceva, Gerd Zellweger, Gustavo Alonso, Timothy Roscoe. Proceedings of the 12th International Workshop on Data Management on New Hardware (DaMoN '16), June 2016. [PDF] [ACM]
• Outlook on Operating Systems, Dejan Milojicic, Timothy Roscoe. Computer, IEEE Computer Society Press, Los Alamitos, CA, USA, vol. 49, no. 1, January 2016, pp. 43--51. [PDF] [ACM]
• Arrakis: The Operating System is the Control Plane, Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe. ACM Transactions on Computer Systems, ACM Press, New York, NY, USA, vol. 33, no. 4, January 2016, pp. 11:1--11:30. [PDF] [ACM]
• Explaining Outputs in Modern Data Analytics, Zaheer Chothia, John Liagouris, Frank McSherry, Timothy Roscoe. PVLDB, vol. 9, no. 12, 2016, pp. 1137-1148. [PDF] [ACM]
• Intelligent NIC Queue Management in the DragonNet Network Stack, Kornilios Kourtis, Pravin Shinde, Antoine Kaufmann, Timothy Roscoe. Proceedings of the 2015 Conference on Timely Results in Operating Systems (TRIOS 2015), Monterey, California, USA, October 2015. [PDF]
• Deployment of query plans on multicores, Jana Giceva, Gustavo Alonso, Timothy Roscoe, Tim Harris. VLDB 2015Proceedings of the VLDB Endowment, Hawaii, vol. 8, no. 3, August 2015, pp. 233-244. [PDF]
• Shoal: Smart Allocation and Replication of Memory for Parallel Programs, Stefan Kaestle, Reto Achermann, Timothy Roscoe, Timothy L. Harris. Proceedings of the 2015 USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2015. [PDF]
• Distributing the Data Plane for Remote Storage Access, Torsten Hoefler, Robert B. Ross, Timothy Roscoe. Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS-XV), Kartause Ittingen, Switzerland, May 2015. [PDF]
• Not Your Parents' Physical Address Space, Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan Milojicic. Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS-XV), Kartause Ittingen, Switzerland, May 2015. [PDF]
• Cosh: Clear OS Data Sharing In An Incoherent World, Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe. Proceedings of the 2014 Conference on Timely Results in Operating Systems (TRIOS 2014), Broomfield, Colorado, USA, October 2014. [PDF]
• Decoupling Cores, Kernels, and Operating Systems, Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe. 11th Symposium on Operating Systems Design and Implementation (OSDI'14), Broomfield, Colorado, USA, October 2014. [PDF]
• Arrakis: The Operating System is the Control Plane, Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe. 11th Symposium on Operating Systems Design and Implementation (OSDI'14), Broomfield, Colorado, USA, October 2014. [PDF]
• Grok the Data Center, Zaheer Chothia, Qin Yin, Timothy Roscoe. Proceedings of the 5th Asia-Pacific Workshop on Systems (APSys '14), Beijing, China, June 2014.
• Modeling NICs with Unicorn, Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe. Proceedings of the 7th Workshop on Programming Languages and Operating Systems (PLOS 2013), Nemacolin Woodlands Resort, Pennsylvania, USA, November 2013. [PDF]
• Establishing Efficient Routes between Personal Clouds, Ercan Ucan, Timothy Roscoe. Proceedings of the First International Conference on Networked Systems (NETYS), Springer, Marrakech, Morocco, May 2013, pp. 74-88. [PDF] [ACM]
• Application Level Ballooning for Efficient Server Consolidation, Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone. Proceedings of the ACM European Systems Conference (Eurosys), Prague, Czech Republic, April 2013. [PDF]
• We need to talk about NICs, Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle. Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems, Santa Ana Pueblo, New Mexico, USA, April 2013. [PDF]
• COD: Database / Operating System Co-Design, Jana Giceva, Tudor-Ioan Salomie, Adrian Schuepbach, Gustavo Alonso, Timothy Roscoe. Proceedings of the 6th biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2013. [PDF]
• VF2x: Fast, efficient virtual network mapping for real testbed workloads, Qin Yin, Timothy Roscoe. Proceedings of the 8th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (Tridentcom), Thessaloniki, Greece, June 2012. [PDF]
• Unifying Synchronization and Events in a Multicore OS, Gerd Zellweger, Adrian Schuepbach, Timothy Roscoe. Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys '12), Seoul, South Korea, June 2012. [PDF]
• Towards realistic benchmarks for virtual infrastructure resource allocators, Qin Yin, Timothy Roscoe. Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys '12), Seoul, South Korea, June 2012. [PDF]
• Towards Database / Operating System Co-Design, Jana Giceva, Adrian Schuepbach, Gustavo Alonso, Timothy Roscoe. Proceedings of the 2nd workshop on Systems for Future Multi-core Architectures (SFMA'12), Bern, Switzerland, April 2012. [PDF]
• A Declarative Language Approach to Device Configuration, Adrian Schuepbach, Andrew Baumann, Timothy Roscoe, Simon Peter. ACM Transactions on Computer Systems, ACM Press, New York, NY, USA, vol. 30, no. 1, February 2012, pp. 5:1--5:35. [PDF] [ACM]
• Policy expressivity in the Anzere personal cloud, Oriana Riva, Qin Yin, Dejan Juric, Ercan Ucan, Timothy Roscoe. Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC'11), Cascais, Portugal, ACM Press, October 2011, pp. 14:1--14:14. [PDF] [ACM]
• A better way to negotiate for testbed resources, Qin Yin, Timothy Roscoe. Proceedings of the Second Asia-Pacific Workshop on Systems (APSys '11), Shanghai, China, ACM Press, July 2011, pp. 19:1--19:5. [PDF] [ACM]
• Early experience with the Barrelfish OS and the Single-Chip Cloud Computer, Simon Peter, Adrian Schuepbach, Dominik Menzi, Timothy Roscoe. Proceedings of the 3rd Intel Multicore Applications Research Community Symposium (MARC), Ettlingen, Germany, July 2011. [PDF]
• Dexferizer: A service for data transfer optimization, Ercan Ucan, Timothy Roscoe. Proceedings of the ACM/IEEE International Workshop on Quality of Service (IWQOS 2011), San Jose, CA, USA, June 2011. [PDF]
• Multicore OS benchmarks: we can do better, Ihor Kuz, Zachary Anderson, Pravin Shinde, Timothy Roscoe. Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS-XIII), Napa, CA, USA, May 2011. [PDF]
• Mind the Gap: Reconnecting Architecture and OS Research, Jeff Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares. Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS-XIII), Napa, CA, USA, May 2011. [PDF]
• A Declarative Language Approach to Device Configuration, Adrian Schuepbach, Andrew Baumann, Timothy Roscoe, Simon Peter. Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA, March 2011. [PDF] [ACM]
• Design Principles for End-to-End Multicore Schedulers, Simon Peter, Adrian Schuepbach, Paul Barham, Andrew Baumann, Rebecca Isaacs, Tim Harris, Timothy Roscoe. Proceedings of the 2nd Usenix Workshop on Hot Topics on Parallelism (HotPar '10), Berkeley, CA, USA, June 2010. [PDF]
• Research highlights: Declarative Networking, Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica. Communications of the ACM, ACM, New York, NY, USA, vol. 52, no. 11, November 2009, pp. 87-95. [PDF] [ACM]
• 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 Schuepbach, Akhilesh Singhania. SOSP '09: Proceedings of the 22nd ACM symposium on Operating systems principles, Big Sky, MO, USA, ACM Press, October 2009. [PDF] [ACM]
• Filet-o-Fish: practical and dependable domain-specific languages for OS development, Pierre-Evariste Dagand, Andrew Baumann, Timothy Roscoe. Proceedings of the 5th Workshop on Programming Languages and Operating Systems (PLOS), Big Sky, MT, USA, ACM Press, October 2009. [PDF] [ACM]
• Rhizoma: a runtime for self-deploying, self-managing overlays, Qin Yin, Adrian Schuepbach, Justin Cappos, Andrew Baumann, Timothy Roscoe. Proceedings of ACM Middleware 2009, ACM Press, Urbana-Champaign, IL, USA, October 2009. [PDF]
• Declarative Networking, Timothy Roscoe. Tamer Ozsu, Ling Liu (ed.) Encyclopedia of Database Systems, Springer, Heidelberg, Germany, Springer Reference Series, September 2009.
• Your computer is already a distributed system. Why isn't your OS?, Andrew Baumann, Simon Peter, Adrian Schuepbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs. Proceedings of the 12th Workshop on Hot Topics in Operating Systems (HotOS-XII), Monte Verita, Switzerland, May 2009. [PDF]
• Resource overbooking and application profiling in a shared Internet hosting platform, Bhuvan Urgaonkar, Prashant Shenoy, Timothy Roscoe. ACM Transactions on Internet Technologies, ACM, New York, NY, USA, vol. 9, no. 1, February 2009, pp. 1-45. [PDF] [ACM]
• Dependable Self-Hosting Distributed Systems Using Constraints, Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe. Proceedings of the 4th Usenix Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, USA, December 2008. [PDF]
• The ETH Zurich systems group and enterprise computing center, Gustavo Alonso, Donald Kossmann, Timothy Roscoe, Nesime Tatbul, Andrew Baumann, Carsten Binning, Peter Fischer, Oriana Riva, Jens Teubner. SIGMOD Record, ACM, New York, NY, USA, vol. 37, no. 4, December 2008, pp. 94--99. [PDF] [ACM]
• Network architecture test-beds as platforms for ubiquitous computing, Timothy Roscoe. Philosophical Transactions of the Royal Society A, Royal Society Publishing, London, UK, vol. 366, no. 1881, October 2008, pp. 3663-3838. [PDF]
• Embracing diversity in the Barrelfish manycore operating system., Adrian Schuepbach, Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Tim Harris, Rebecca Isaacs. Proceedings of the Workshop on Managed Many-Core Systems (MMCS), Boston, MA, USA, June 2008. [PDF]
• Controlled, systematic, and efficient code replacement for running java programs, Angela Nicoara, Gustavo Alonson, Timothy Roscoe. Proceedings of the 3rd European Systems Conference (Eurosys), Glasgow, Scotland, April 2008, pp. 233--246. [PDF] [ACM]
• 30 seconds is not enough! A Study of Operating System Timer Usage, Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs. Proceedings of the 3rd European Systems Conference (Eurosys), Glasgow, Scotland, April 2008, pp. 205--218. [PDF] [ACM]
• BFT Protocols under Fire, Atul Singh, Petros Maniatis, Peter Druschel, Timothy Roscoe. Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI'08), San Francisco, CA, USA, April 2008. [PDF]
• R-OSGi: Distributed Applications through Software Modularization, Jan Rellermeyer, Gustavo Alonso, Timothy Roscoe. Proceedings of ACM Middleware 2007, Newport Beach, CA, USA, November 2007. [PDF]
• Ready for Distribution? Turning Modular into Distributed Applications with the R-OSGi Deployment Tool (Demo), Jan Rellermeyer, Gustavo Alonso, Timothy Roscoe. Proceedings of OOPSLA 2007, October 2007. [PDF] [ACM]
• Building, Deploying, and Monitoring Distributed Applications with Eclipse and R-OSGi, Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe. Proceedings of the Fifth Eclipse Technology eXchange (ETX) Workshop (in conjunction with OOPSLA 07), Montreal, Canada, October 2007. [PDF] [ACM]
• Languages not Formats: Tackling Network Heterogeneity Head-on, Timothy Roscoe. Proceedings of the 3rd Workshop on Future Directions in Distributed Computing (FuDiCo III), Bertinoro, Italy, June 2007. [PDF]
• Hype and Virtue, Timothy Roscoe, Kevin Elphinstone, Gernot Heiser. Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. [PDF]
• Towards a practical, verified kernel, Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser. Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. [PDF]
• Friday: Global Comprehension for Distributed Replay, Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica. Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI'07), Boston, MA, USA, April 2007. [PDF]
• Public Health for the Internet, Joseph M. Hellerstein, Tyson Condie, Minos Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina A. Taft. Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2007. [PDF]
• Learning from PlanetLab, Tom Anderson, Timothy Roscoe. Proceedings of the 3rd Workshop on Real, Large Distributed Systems (WORLDS), November 2006. [PDF]
• The End of Internet Architecture, Timothy Roscoe. Proceedings of the 5th Workshop on Hot Topics in Networking (HotNets-V), Irvine, CA, USA, November 2006. [PDF]
• Declarative networking: language, execution and optimization, Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica. SIGMOD '06: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, Chicago, IL, USA, ACM Press, June 2006, pp. 97--108. [PDF] [ACM]
• Using Queries for Distributed Monitoring and Forensics, Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel. Proceedings of the 1st European Systems Conference (Eurosys), Leuven, Belgium, March 2006. [PDF] [ACM]
• The Design Principles of PlanetLab, Larry Peterson, Timothy Roscoe. ACM Operating Systems Review, vol. 40, no. 1, January 2006. [PDF] [ACM]
• Off by Default!, Hitesh Ballani, Yatin Chawathe, Sylvia Ratnasamy, Timothy Roscoe, Scott Shenker. Proceedings of the Fourth Workshop on Hot Topics in Networking (HotNets-II), College Park, MD, USA, November 2005. [PDF]
• Finally, a Use for Componentized Transport Protocols, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean Rhea, Timothy Roscoe. Proceedings of the Fourth Workshop on Hot Topics in Networking (HotNets-II), College Park, MD, USA, November 2005. [PDF]
• Implementing Declarative Overlays, Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica. SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Brighton, United Kingdom, ACM Press, October 2005, pp. 75--90. [PDF] [ACM]
• A need for componentized transport protocols (Work in Progress), Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean Rhea, Timothy Roscoe. SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Brighton, United Kingdom, ACM Press, October 2005, pp. 1--2. [PDF] [ACM]
• The PlanetLab Platform, Timothy Roscoe. Chapter 33 of Ralf Steinmetz, Klaus Wehrle (ed.) Peer-to-Peer Systems and Applications, Springer, Heidelberg, Germany, Lecture Notes in Computer Science, no. 3485, October 2005.
• Comprehend the Planet, Timothy Roscoe. Proceedings of the NSF Workshop on Grand Challenges in Distributed Systems, Cambridge, MA, USA, September 2005. [PDF]
• The Network Oracle, Joseph M. Hellerstein, Vern Paxson, Larry Peterson, Timothy Roscoe, Scott Shenker, David Wetherall. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, vol. 28, no. 1, March 2005. [PDF]
• The Architecture of PIER: an Internet-Scale Query Processor, Ryan Huebsch, Brent Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, and Aydan R. Yumerefendi. Proceedings of the 2nd biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2005. [PDF]
• Making the world (of communications) a different place, David D. Clark, Craig Partridge, Robert T. Braden, Bruce Davie, Sally Floyd, Van Jacobson, Dina Katabi, Greg Minshall, K. K. Ramakrishnan, Timothy Roscoe, Ion Stoica, John Wroclawski, Lixia Zhang. ACM SIGCOMM Computer Communications Review, ACM Press, New York, NY, USA, vol. 35, no. 3, 2005, pp. 91--96. [PDF] [ACM]
• Design Considerations for Information Planes, Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Petros Maniatis, and Timothy Roscoe. Proceedings of the 1st Workshop on Real, Large Distributed Systems (WORLDS), San Francisco, CA, USA, December 2004. [PDF]
• Querying at Internet Scale (Demo), Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean Rhea, Scott Shenker, Ion Stoica. SIGMOD '04: Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data, June 2004. [PDF] [ACM]
• Handling Churn in a DHT, Sean Rhea, Dennis Geels, Timothy Roscoe, John Kubiatowicz. Proceedings of the 2004 USENIX Technical Conference, Boston, MA, USA, June 2004 (Best paper award!). [PDF]
• Operating Systems Support for Planetary-Scale Network Services, Andy Bavier, Mic Bowman, Brent Chun, David Culler, Scott Karlin, Larry Peterson, Timothy Roscoe, Mike Wawrzoniak. Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI'04), San Francisco, CA, USA, March 2004. [PDF]
• Preventing Internet Denial-of-Service using Capabilities, Tom Anderson, Timothy Roscoe, David Wetherall. Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II), Cambridge, MA, USA, November 2003. [PDF] [ACM]
• Sophia: An Information Plane for Networked Systems, Mike Wawrzoniak, Larry Peterson, Timothy Roscoe. Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II), Cambridge, MA, USA, November 2003. [PDF] [ACM]
• Analyzing P2P Overlays with Recursive Queries, Boon Thau Loo, Ryan Huebsch, Joseph M. Hellerstein, Timothy Roscoe, Ion Stoica. , Intel Research Technical Report, no. IRB-TR-003-045, November 2003. [PDF]
• Plutarch: An Argument for Network Pluralism, Jon Crowcroft, Steve Hand, Richard Mortier, Timothy Roscoe, Andrew Warfield. Proceedings of SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'03), August 2003, pp. 258--266. [PDF] [ACM]
• QoS's Downfall: At the bottom or not at all!, Jon Crowcroft, Steve Hand, Richard Mortier, Timothy Roscoe, Andrew Warfield. Proceedings of SIGCOMM Workshop on Revisiting IP QoS (RIPQOS'03), August 2003. [PDF] [ACM]
• PlanetLab: An Overlay Testbed for Broad-Coverage Services, Brent Chun, David Culler, Timothy Roscoe, Andy Bavier, Larry Peterson, Mike Wawrzoniak, Mic Bowman. ACM Computer Communication Review, vol. 33, no. 3, July 2003, pp. 3-12. [PDF] [ACM]
• Palimpsest: Soft-Capacity Storage for Planetary-Scale Services, Timothy Roscoe, Steven Hand. Proceedings of the 9th Workshop on Hot Topics in Operating Systems (HotOS-IX), Lihue, Hawaii, USA, May 2003. [PDF]
• Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks, Sean Rhea, Timothy Roscoe, John Kubiatowicz. Proceedings of the 2nd International Peer-to-Peer Systems Workshop (IPTPS'03), Berkeley, CA, USA, February 2003. [PDF]
• Resource Overbooking and Application Profiling in Shared Hosting Platforms, Bhuvan Urgaonkar, Prashant Shenoy, Timothy Roscoe. Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI'02), Boston, MA, USA, December 2002, pp. 239--254. [PDF] [ACM]
• A Blueprint for Introducing Disruptive Technology into the Internet, Larry Peterson, David Culler, Tom Anderson, Timothy Roscoe. Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, USA, October 2002. [PDF] [ACM]
• Predicate Routing: Enabling Controlled Networking, Timothy Roscoe, Steve Hand, Rebecca Isaacs, Richard Mortier, Paul Jardetzky. Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, USA, October 2002. [PDF] [ACM]
• InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems, Timothy Roscoe, Richard Mortier, Paul Jardetzky, Steven Hand. Proceedings of the 2002 ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002. [PDF] [ACM]
• The SAHARA Model for Service Composition across Multiple Providers, Bhaskaran Raman, Sharad Agarwal, Yan Chen, Matthew Caesar, Weidong Cui, Per Johansson, Kevin Lai, Tal Lavian, Sridhar Machiraju, Z. Morley Mao, George Porter, Timothy Roscoe, Mukund Seshadri, Jimmy Shih, Keith Sklower, Lakshminarayanan Subramanian, Takashi Suzuki, Shelley Zhuang, Anthony D. Joseph, Randy H. Katz, Ion Stoica. Proceedings of the 1st International Conference on Pervasive Computing (Pervasive 2002), Springer, Zurich, Switzerland, August 2002 (Invited paper). [PDF]
• Techniques for Lightweight Concealment and Authentication in IP Networks, P. Barham, S. Hand, R. Isaacs, P. Jardetzky, R. Mortier, T. Roscoe. , Intel Research Technical Report, no. IRB-TR-02-009, July 2002. [PDF]
• Relational Databases and Ontologies, Timothy Roscoe. Proceedings of the 50th Annual ICA Conference (Philosophy of Communication Division), Acapulco, Mexico, June 2002.
• Spread Spectrum Storage with Mnemosyne, Steven Hand, Timothy Roscoe. Proceedings of the International Workshop on Future Directions in Distributed Computing (FuDiCo'02), Bertinoro (Forli), Italy, June 2002. [PDF]
• Transaction-based Charging in Mnemosyne: a Peer-to-Peer Steganographic Storage System, Timothy Roscoe, Steven Hand. Proceedings of the International Workshop on Peer-to-Peer Computing at Networking, Pisa, Italy, May 2002. [PDF]
• Mnemosyne: Peer-to-Peer Steganographic Storage, Steven Hand, Timothy Roscoe. Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02), Boston, MA, USA, March 2002. [PDF]
• New Resource Issues in Shared Clusters, Timothy Roscoe, Prashant Shenoy. Proceedings of the 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS 2001), Lancaster, UK, September 2001. [PDF]
• Metadata Management of Terabyte Datasets from an IP Backbone Network: Experience and Challenges, Sue Moon, Timothy Roscoe. Workshop on Network-Related Data Management, Santa Barbara, CA, USA, May 2001. [PDF]
• The Construction of the World Wide Web Audience, Timothy Roscoe. Media, Culture and Society, vol. 21, no. 5, September 2000.
• Distributed Computing without DPEs: Design Considerations for Public Computing Platforms, T. Roscoe, B. Lyles. Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20 2000. [PDF] [ACM]
• Script-Driven Packet Marking for QoS Support in Legacy Applications, Timothy Roscoe, Gene Bowen. Proceedings of SPIE/ACM Multimedia Computing and Networking, San Jose, CA, USA, January 2000. [PDF]
• Artefact: a framework for low-overhead Web-based collaborative systems, Jeff Brandenburg, Boyce Byerly, Tom Dobridge, Jinkun Lin, Dharmaraja Rajan, Timothy Roscoe. CSCW '98: Proceedings of the 1998 ACM conference on Computer supported cooperative work, Seattle, WA, USA, ACM Press, November 1998, pp. 189--196. [PDF] [ACM]
• The Design and Implementation of an Operating System to Support Distributed Multimedia Applications, I. M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D. Evers, R. Fairbairns, E. Hyden. IEEE Journal on Selected Areas in Communications, vol. 14, no. 7, September 1996, pp. 1280--129. [PDF]
• CLANGER: An Interpreted Systems Programming Language, Timothy Roscoe. ACM SIGOPS Operating Systems Review, ACM Press, New York, NY, USA, vol. 29, no. 2, April 1995, pp. 13--20. [PDF] [ACM]
• The Structure of a Multi-Service Operating System, Timothy Roscoe. PhD Thesis, University of Cambridge Computer Laboratory, April 1995 (Available as Technical Report No. 376). [PDF]
• Linkage in the Nemesis single address space operating system, Timothy Roscoe. ACM Operating Systems Review, ACM Press, New York, NY, USA, vol. 28, no. 4, October 1994, pp. 48--55. [PDF] [ACM]