 |
|
Selected Papers
View Microsoft Research Cambridge's selection of papers from the past decade.
|
Selected Papers
- Competitive and Considerate Congestion Control for Bulk Data Transfers
Liu, S., Vojnovic, M. and Gunawardena, D. (2007) In Proc. of the 15th IEEE IWQoS, Evanston, IL, Winner of the Best Student Paper Award.
- Designing the Mobile IPv6 Security Protocol
Tuomas Aura and Michael Roe. (2006) Annales des télécommunications/Annals of telecommunications, special issue on Network and information systems security, volume 61 number 3-4, March-April 2006. Editors Frédéric Cuppens, Hervé Debar, and Elisa Bertino. Hermes Science Publications. Also appeared as Microsoft Research Technical Report MSR-TP-2006-42.
- Stack Inspection: Theory and Variants
C. Fournet and A. D. Gordon. (2004) In ACM Transactions on Programming Languages and Systems 25(3):360-399, ACM Press, September 2004. An extended abstract appears in POPL 2002.
- Verified Interoperable Implementations of Security Protocols
K. Bhargavan, C. Fournet, A. Gordon, and S. Tse. (2006) In 19th IEEE Computer Security Foundations Workshop (CSFW 2006), pp139-152, Venice, July 5-7, 2006.
- Trafficking: Design for the Viral Exchange of Digital Content on Mobile Phones
Richard Harper, Tim Regan, Mark Rouncefield, Simon Rubens, Kharsim Al Mosawi. (2007) forthcoming at Mobile HCI 2007.
- Virtual Ring Routing: Network routing inspired by DHTs
M. Caesar, M. Castro, E. Nightingale, G. O’Shea and A. Rowstron. (2006) Sigcomm Pisa, Italy.
- Diagram Structure Recognition by Bayesian Conditional Random Fields
Yuan Qi, Martin Szummer, Thomas P. Minka. (2005) June 2005 Proc Comp. Vision Pattern Recogn. (CVPR) C. Schmid and S. Soatto and C. Tomasi pages 191—196.
- TulaFale: A security tool for web services
K. Bhargavan, C. Fournet, A. D. Gordon, and R. Pucella. (2003) In Formal Methods for Components and Objects (FMCO 2003), Springer LNCS 3188:197-222, 2004.
- Emulating Low-priority Transport at the Application Layer: A Background Transfer Service
Peter Key, Laurent Massoulié and Bing Wang. (2004) Proceedings of ACM SIGMETRICS (SIGMETRICS 2004), New York City, June, 2004.
- A Compositional Approach to the Stochastic Dynamics of Gene Networks, Transactions in Computational Systems Biology
Ralf Blossey, Luca Cardelli and Andrew Phillips. (2006) Transactions in Computational Systems Biology (TCSB), 3939:99–122, January 2006. ©Springer.
- The Layout Consistent Random Field for Recognizing and Segmenting Partially
Occluded Objects
J. Winn and J. Shotton. (2006) Proc. IEEE Computer Vision and Pattern Recognition (CVPR), New York, 2006.
- Understanding photowork
Kirk, D., Sellen, A., Rother, C., and Wood, K.R. (2006) CHI ‘06. Montreal, Canada, (2006), 761-770.
- SenseCam: A retrospective memory aid
Hodges, S., L. Williams, E. Berry, S. Izadi, J. Srinivasan, A. Butler, G. Smyth, N. Kapur, N. and K. Wood (2006) In Proceedings of Ubicomp 2006.
- Understanding Videowork
Kirk, D., Sellen, A., Harper, R., and Wood, K. (2007) In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI ‘07). San Jose, California, USA, April 28 - May 03, 2007. ACM Press.
- Secure Implementation of Channel Abstractions
Martin Abadi, Cédric Fournet, and Georges Gonthier. (2002) Information and Computation 174, 1 (April 2002), 37-83.
- Homes that make use smart
Taylor, A. S., Harper, R., Swan, L., Izadi, S., Sellen, A. and Perry, M. (2007) Personal and Ubiquitous Computing, Special Issue: Pervasive Computing in the Domestic Space, 11, 5, (2007), 383-393.
- HomeNote: Supporting situated messaging in the home
Sellen, A., Harper, R., Eardley, R., Izadi, S., Regan, T., Taylor, A. S. and Wood, K.R. (2006) In Proceedings of the Conference on Computer Supported Collaborative Work, CSCW ‘06. Banff, Canada, pp. 383-392.
- Do life-logging technologies support memory for the past? An experimental study using SenseCam
Sellen, A., Fogg, A., Aitken, M., Hodges, S., Rother, C. and Wood, K. (2007) In Proceedings of CHI 2007, San Jose, CA., pp. 81 - 90. ACM Press. Nominated Best of CHI, Winner Honourable Mention Award.
- Artful systems in the home
Taylor, A. S., & Swan, L. (2005) In Proceedings of Conference on Human Factors and Computing systems, CHI ‘05, New York, NY, ACM Press, pp. 641-650.
- Abstract Machines of Systems Biology
Luca Cardelli. (2005) Transactions on Computational Systems Biology. III, LNBI 3737, pp 145-168, Springer 2005.
- GrabCut - Interactive Foreground Extraction using Iterated Graph Cuts
Carsten Rother, Vladimir Kolmogorov, Andrew Blake. (2004) ACM Transactions on Graphics (SIGGRAPH), August 2004.
- Practical Byzantine fault tolerance and proactive recovery
Castro, M. and Liskov, B. (2002) ACM Trans. Comput. Syst. 20, 4 (Nov. 2002), 398-461.
- Blind pattern matching attack on watermarking systems
Darko Kirovski and Fabien A. P. Petitcolas. (2003) I.E.E.E. transaction on signal processing, vol. 51, no. 4, pp. 1045–1053, April 2003.
- The essence of data access in Cω
Gavin Bierman, Erik Meijer and Wolfram Schulte. (2005)
In Proceedings of 19th European Conference on Object-oriented programming (ECOOP), Glasgow. Volume 3586 of Springer Lecture Notes in Computer Science. Pages 287-311. July 2005.
- Planet Scale Software Updates
Gkantsidis, C. and Karagiannis, T. and Rodriguez, P. and Vojnovic, M. (2006). ACM SigComm 2006.
- Vigilante: End-to-End Containment of Internet Worms
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham. (2005) Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP’05), Brighton, UK, October 2005.
- Power law and exponential decay of inter contact times between mobile devices
Thomas Karagiannis, J-Y. Le Boudec, and Milan Vojnovic. (2007) In Proccedings of the Thirteenth Annual International Conference on Mobile Computing and Networking (ACM MOBICOM 2007), one of the highest ranked papers.
- Coupon Replication Systems
Massoulie L. and Vojnovic M. (2005) In Proceedings of ACM SIGMETRICS 2005, Banff, Canada, (Winner of the 2005 ACM SIGMETRICS Best Paper Award) (Journal version to appear in IEEE/ACM Trans. on Networking, Aug 2008).
- Network Coding for Large Scale Content Distribution
Gkantsidis, C. and Rodriguez, P. (2005) In IEEE Infocom 2005.
- Information Governance in NHS’s NPfIT: A Case for Policy Specification
Moritz Y. Becker (2007) International Journal of Medical Informatics, Volume 76, Issue 5-6. Winner of the International Medical Informatics Association’s Gerd Griesser Award.
- SplitStream: High-bandwidth multicast in a cooperative environment
M. Castro, P. Druschel, A-M. Kermarrec, A. Nandi, A. Rowstron and A. Singh. (2003) Symposium on Operating System Principles (SOSP), Lake Bolton, New York, October, 2003.
- Proving thread termination
Byron Cook, Andreas Podelski, and Andrey Rybalchenko. (2007) PLDI’07 Conference on Programming Language Design and Implementation San Diego.
- Variance Analyses from Invariance Analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano and Peter W. O’Hearn. (2007) In Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007, ISBN 1-59593-575-4.
- Composable memory transactions
Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. (2005) ACM Conference on Principles and Practice of Parallel Programming 2005 (PPoPP’05).
- The effect of network topology on the spread of epidemics
A. Ganesh, L. Massoulie and D. Towsley. (2005) Proceedings of IEEE INFOCOM, volume 2, pages 1455-1466.
- Formalization of Generics for the .NET Common Language Runtime
Andrew Kennedy and Dachuan Yu. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL).
- Modern Concurrency Abstractions for C#
N Benton, L Cardelli and C Fournet. (2004) ACM Transactions on Programming Languages and Systems (TOPLAS) 26(5):769-804.
- TrueSkill(TM): A Baysian Skill Rating System
Herbrich, R., Minka, T., Graepel, T. (2007) In PAdvances in Neural Information Processing Systems. MIT Press.
- Effective Site Finding Using Link Anchor Information
Craswell, N., D. Hawking and S. Robertson. (2001). In Proceedings of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, New Orleans, pp. 250-257, ACM Press.
- Design and Implementation of Generics for the.NET Common Language Runtime
Andrew Kennedy and Don Syme. (2001) In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA. June 2001.
- Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems
A. Rowstron and P. Druschel. (2001) ACM Middleware’2001, Germany, November 2001.
- Verified software: theories, tools, experiments
Tony Hoare and Jay Misra. (2005) Vision of a Grand Challenge project. Keynote address at VSTTE conference, Zurich, 10-13 October 2005.
- Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross and C. Rother. (2005) Proc. Computer Vision and Pattern Recognition, CVPR (2005).
- Probabilistic tracking in a metric space
K. Toyama and A. Blake. (2001) Proc. Int. Conf. on Computer Vision (ICCV), II:50-57, 2001.
back to top
|
|
|
- We are always looking for exceptional researchers, post-docs, and interns. For more information about a career at Microsoft Research Cambridge, visit Microsoft Research Careers.
|
|
|
|
|
|
|
|
|
|
