At Microsoft Research Silicon Valley, lab members are encouraged to be active in the research community. Here are some examples of our participation in
program committees and editorial boards, as well as invited talks and courses taught.
Program Committees |
AAAI '06 (21st National Conference on Artifical Intelligence) |
Lintao Zhang |
ACCV 2007 (8th Asian Conference on Computer Vision) |
Michael Isard |
ACNS 2005 (3rd International Conference on Applied Cryptography and Network Security) |
Lidong Zhou |
ADS-2 (Algorithms and Data Structures workshop, Bertinoro, Italy, 2005) |
Andrew Goldberg (co-chair) |
AIRWEB '08 (International Workshop on Adversarial Information Retrieval on the Web) |
Dennis Fetterly (co-chair),
Mark Manasse, Marc Najork |
AIRWEB '07 (International Workshop on Adversarial Information Retrieval on the Web) |
Dennis Fetterly,
Mark Manasse, Marc Najork |
AIRWEB '06 (International Workshop on Adversarial Information Retrieval on the Web) |
Marc Najork (co-chair) |
AIRWEB '05 (International Workshop on Adversarial Information Retrieval on the Web) |
Dennis Fetterly, Marc Najork |
ALENEX’07 (9th Workshop on Algorithm Engineering and Experiments) |
Renato Werneck |
ASPLOS 2006 (12th Intl. Conf. on Arch. Support of Programming Languages and Operating Systems) |
Doug Terry |
ASPLOS 2004 (11th Intl. Conf. on Arch. Support of Programming Languages and Operating Systems) |
Chandu Thekkath |
CRYPTO '06 (26th Annual International Cryptology Conference) |
Cynthia Dwork (chair) |
CRYPTO '05 (25th Annual International Cryptology Conference) |
Ilya Mironov |
CRYPTO '04 (24th Annual International Cryptology Conference) |
Ilya Mironov |
CCS 2007 (14th ACM Conference on Computer and Communications Security) |
Martín Abadi |
CVPR 2006 (IEEE Conference on Computer Vision and Pattern Recognition) |
Michael Isard (area chair) |
DISC 2007 (21st. International Symposium on Distributed Computing) |
Udi Wieder |
DSN 2006 (IEEE Intl. Conference on Dependable Systems and Networks) |
Dahlia Malkhi, Lidong Zhou |
EC '07 (8th ACM Electronic Commerce Conference) |
Rama Ramasubramnanian |
EC '06 (7th ACM Electronic Commerce Conference) |
Andrew Goldberg, Jason Hartline |
EC '05 (6th ACM Electronic Commerce Conference) |
Jason Hartline |
EC '01 (3rd ACM Electronic Commerce Conference) |
Andrew Goldberg |
ESA '04 (12th European Symposium on Algorithms) |
Andrew Goldberg |
ESORICS 2006 (12th European Symposium on Research in Computer Security) |
Úlfar Erlingsson |
FOCS 2005 (46th Annual IEEE Symposium on Foundations of Computer Science) |
Frank McSherry |
FOSAD 2007 (International Schoolon Foundations
of Security Analysis and Design) |
Martín Abadi |
FAST '04 (4th USENIX Conference on File and Storage Technology) |
Chandu Thekkath (chair) |
FAST '03 (3th USENIX Conference on File and Storage Technology) |
Chandu Thekkath |
FCC 2006 (Workshop on Formal and Computational Cryptography) |
Martín Abadi |
FOSSACS 2007 (Foundations of Software Science and Computation Structures) |
Martín Abadi |
GH 2007 (Graphics Hardware) |
Kurt Akeley |
HotMobile 2007 (8th IEEE Workshop on Mobile Computing Systems and Applications) |
Doug Terry |
HotOS X (10th IEEE Workshop on Hot Topics in Operating Systems, 2005) |
Doug Terry |
IC'2003 (4th International Conference on Internet Computing) |
Marc Najork |
ICALP '06 (32nd International Colloquium on Automata, Languages and Programming) |
Martín Abadi |
ICALP '05 (31st International Colloquium on Automata, Languages and Programming) |
Cynthia Dwork, Andrew Goldberg |
ICCV 2005 (10th IEEE International Conference on Computer Vision) |
Michael Isard (area chair) |
ICDCS '07 (27th IEEE Conference on Distributed Computing Systems) |
Doug Terry, Rama Ramasubramnanian, Dahlia Malkhi |
ICDCS '05 (25th IEEE Conference on Distributed Computing Systems) |
Dahlia Malkhi |
ICMB 2005 (4th IEEE International Conference on Mobile Business) |
Doug Terry |
IPTPS '06 (5th International Workshop on Peer-to-Peer Systems) |
Lidong Zhou |
IPTPS '05 (4th International Workshop on Peer-to-Peer Systems) |
Dahlia Malkhi |
Locality '07 (ACM Workshop on Locality
Preserving Distributed Computing Methods) |
Dahlia Malkhi (co-chair) |
Locality '05 (ACM Workshop on Locality
Preserving Distributed Computing Methods) |
Dahlia Malkhi (co-chair) |
MDM 2004 (IEEE International Conference on Mobile Data Management) |
Doug Terry |
Middleware 2005 (ACM/IFIP/USENIX 6th International Middleware Conference) |
Doug Terry |
MobiSys 2007 (5th ACM/USENIX Intl Conf. on Mobile Systems, Applications, and Services) |
Doug Terry |
MobiSys 2005 (3rd ACM/USENIX Intl Conf. on Mobile Systems, Applications, and Services) |
Doug Terry |
MobiSys 2004 (2nd ACM/USENIX Intl Conf. on Mobile Systems, Applications, and Services) |
Doug Terry (co-chair) |
MobiSys 2003 (1st Intl Conf. on Mobile Systems, Applications, and Services) |
Doug Terry |
NIPS 2007 (21st Annual Conference on Neural Processing Systems) |
Michael Isard |
NORDSEC 2007 (The 12th Nordic Workshop on Secure IT Systems) |
Úlfar Erlingsson (co-chair)
|
NSDI '07 (4th USENIX Symposium on Networked Systems Design & Implementation) |
Chandu Thekkath |
OSDI '06 (6th Symposium on Operating Systems Design and Implementation) |
Chandu Thekkath, Martín Abadi |
OSDI '02 (4th Symposium on Operating Systems Design and Implementation) |
Chandu Thekkath |
PODC '06 -- (25th ACM Symposium on Principles of Distributed Computing) |
Dahlia Malkhi (chair),
Rama Ramasubramanian, Kunal Talwar,
Udi Wieder, Yuan Yu, Lidong Zhou |
PODC '05 -- (24th ACM Symposium on Principles of Distributed Computing) |
Dahlia Malkhi |
PODS 2007 -- (26th ACM Symposium on Principles of Database Systems) |
Martín Abadi |
REM 2007 (1st International Workshop on Run Time Enforcement for Mobile and Distributed Systems) |
Úlfar Erlingsson |
RSA '05 (RSA Conference, Cryptographers' track) |
Ilya Mironov |
SAC '05 (12th Annual Workshop on Selected Areas in Cryptography) |
Ilya Mironov |
SAT '06 (9th International Conference on Theory and Applications of Satisfiability Theory) |
Lintao Zhang |
SAT '05 (8th International Conference on Theory and Applications of Satisfiability Theory) |
Lintao Zhang |
SEC 2006 (21st IFIP TC-11 International Information Security Conference) |
Úlfar Erlingsson |
SECON 2006 (IEEE Conference on Sensor, Mesh, and Ad Hoc Communications and Networks) |
Rama Ramasubramanian |
SECURECOMM 2005 (1st IEEE/CreateNet Intl. Conf. on Security and Privacy for Emerging Areas in Communication Networks) |
Lidong Zhou |
SIGIR 2006 (29th Intl. Conf. on Research and Development in Information Retrieval) |
Marc Najork |
SIGIR 2005 (28th Intl. Conf. on Research and Development in Information Retrieval) |
Marc Najork |
SODA '07 (18th ACM-SIAM Symposium on Discrete Algorithms) |
Kunal Talwar |
SODA '04 (15th ACM-SIAM Symposium on Discrete Algorithms) |
Andrew Goldberg |
SOSP '07 (21st ACM Symposium on Operating Systems Principles) |
Mike Schroeder |
SOSP '05 (20th ACM Symposium on Operating Systems Principles) |
Dahlia Malkhi |
SOSP '03 (19th ACM Symposium on Operating Systems Principles) |
Ted Wobber |
STOC '05 (37th ACM Symposium on Theory of Computing) |
Cynthia Dwork, Frank McSherry |
StorageSS 2006 (2nd International Workshop on Storage Security and Survivability) |
Ted Wobber |
SVV '05 (3rd International Workshop on Software Verification and Validation) |
Lintao Zhang |
WADS '03 (17th Workshop on Algorithms and Data Structures) |
Andrew Goldberg |
VL2006 (IEEE Symposium on Visual Languages) |
Marc Najork |
VL2005 (IEEE Symposium on Visual Languages) |
Marc Najork |
VLC2007 (International Workshop on Visual Languages and Computing) |
Marc Najork |
VLC2006 (International Workshop on Visual Languages and Computing) |
Marc Najork |
VLC2004 (International Workshop on Visual Languages and Computing) |
Marc Najork |
VLC2003 (International Workshop on Visual Languages and Computing) |
Marc Najork |
WAW 2003 (2nd Workshop on Algorithms and Models for the Web Graph) |
Marc Najork |
WIESS 2002 (2nd Workshop on Industrial Experiences with Systems Software) |
Doug Terry |
WSDM 2008 (First International Conference on Web Search and Data Mining) |
Marc Najork (conference chair) |
WEA '07 (6th Workshop on Experimental and Efficient Algorithms) |
Renato Werneck |
WEA '04 (3rd Workshop on Experimental and Efficient Algorithms) |
Andrew Goldberg |
WEA '03 (2nd Workshop on Experimental and Efficient Algorithms) |
Andrew Goldberg |
WMCSA 2006 (III Workshop on Mobile Computing Systems and Applications) |
Doug Terry |
WWW 2007 (16th International World Wide Web Conference) |
Marc Najork (track co-chair) |
WWW 2006 (15th International World Wide Web Conference) |
Marc Najork (track co-chair), Mark Manasse (vice chair) |
WWW 2005 (14th International World Wide Web Conference) |
Marc Najork, Frank McSherry,
Mark Manasse (deputy vice chair) |
WWW 2004 (13th International World Wide Web Conference) |
Marc Najork (program chair), Frank McSherry,
Mark Manasse (vice chair) |
WWW 2003 (12th International World Wide Web Conference) |
Marc Najork (vice chair), Mark Manasse |
WWW 2002 (11th International World Wide Web Conference) |
Marc Najork (deputy chair), Mark Manasse |
WWW 2001 (10th International World Wide Web Conference) |
Marc Najork (deputy chair), Mark Manasse |
| |
Editorial Boards |
ACM Transactions on Algorithms |
Andrew Goldberg |
ACM Transactions on Programming Languages and Systems |
Martín Abadi (2003-) |
ACM Transactions on Storage |
Chandu Thekkath (2004-) |
ACM Transactions on the Web |
Marc Najork (2005-) |
Communications of the ACM |
Marc Najork (2008-) |
Distributed Computing Journal |
Dahlia Malkhi (2002-) |
Information and Computation |
Martín Abadi (1991-) |
Information and Computation |
Cynthia Dwork (2005-) |
IEEE Security & Privacy |
Martín Abadi (2003-) |
International Journal of Information Security |
Martín Abadi (2000-2006) |
Internet Mathematics |
Cynthia Dwork (2005-) |
Journal of the ACM |
Martín Abadi (2000-) |
Journal of the ACM |
Mark Manasse (2006-) |
Journal of Algorithms |
Cynthia Dwork (2005) |
Journal of Cryptology |
Cynthia Dwork (2005-) |
Journal of Visual Languages |
Marc Najork (2001-) |
Logical Methods in Computer Science |
Martín Abadi (2004-2007) |
Theory of Computing |
Cynthia Dwork (2006-) |
| |
Invited Talks |
Invited Speaker, CanaDAM 2007 (Ist Canadian
Discrete and Algorithmic Mathematics Conference), Alberta, Canada, May
2007 |
Udi Wieder |
Invited Speaker, Statphys 23 (Workshop on
Statistical Mechanics of Distributed Information Systems), Mariehamn,
Finland |
Udi Wieder |
Invited Speaker, CFV'07 (Workshop on
Constraints in Formal Verification), July 2007 |
Úlfar Erlingsson |
Invited Speaker, Forte (26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems), Paris, France, September 2006. |
Leslie Lamport |
Invited Speaker, DISC (19th International Symposium on
Distributed Computing), Stockholm, Sweden, September 2006. |
Leslie Lamport |
Invited Speaker, Symposium for Gordon Plotkin, University of Edinburgh, September 2006. |
Martín Abadi |
Invited Speaker, IFIP Working Group 2.2, Udine, Italy, September 2006. |
Leslie Lamport |
Invited Speaker, Nederlandse Vereniging voor Theoretische Informatica, March 2006. |
Martín Abadi |
Distinguished Lecture, Carnegie-Mellon University, February 2006. |
Martín Abadi |
Keynote, WDAS 2006 (7th Workshop on Distributed Data and Structures), January 2006. |
Marc Najork |
Invited Speaker, 1st Bertinoro Workshop on Data-Mining, Bertinoro, Italy, November 2005. |
Marc Najork |
Distinguished Lecture Series, Universiry of British Columbia, October 2005. |
Chandu Thekkath |
Course Lecture, SIMS 141 ("Search Engines: Technology, Society, and Business"), UC Berkeley, October 2005. |
Marc Najork |
Celebration of 40 Years of Computer Science at Cornell, October 2005. |
Cynthia Dwork |
Distinguished Lecturer, University of Maryland, September 2005. |
Cynthia Dwork |
Invited Speaker, RSA Conference, 2005. |
Cynthia Dwork |
Larry Stockmeyer Commemoration, May 2005. |
Cynthia Dwork |
Invited Speaker, University of Kaiserslautern, May 2005. |
Leslie Lamport |
Distinguished Career Lecturer, Cornell, November 2004. |
Cynthia Dwork |
Invited Speaker, EPFL (Lausanne), November 2004. |
Leslie Lamport |
Invited Speaker, Univerity of Texas (Dallas), October 2004. |
Leslie Lamport |
Invited Speaker, Univerity of Illinois (Chicago), October 2004. |
Leslie Lamport |
Invited Speaker, Grace Hopper Conference, October 2004. |
Cynthia Dwork |
Keynote speaker, EU Workshop on Secure Multiparty Protocols (SMP 2004), Amsterdam, October 2004. |
Dahlia Malkhi |
Commencement Address, Marlboro College Graduate Center, Cornell, August 2004. |
Leslie Lamport |
Invited Speaker, Frontiers in Distributed Information Systems (FDIS 2004), San Francisco, July 2004. |
Dahlia Malkhi |
Invited Speaker, Christian Albercht University, Kiel, June 2004. |
Leslie Lamport |
Invited Speaker, DSN Conference, Florence, June 2004. |
Leslie Lamport |
| |
Courses Taught |
FOSAD 2007, Summer School Lectures, September
2007. |
Úlfar Erlingsson |
Real-Time Graphics Architectures, Stanford
University, Spring 2007. |
Kurt Akeley |
Distributed Computing Systems (CS244b), Stanford University, Spring 2007. |
Doug Terry |
Security Protocols: Principles and Calculi, 6th International School on Foundations of Security Analysis and Design, September 2006. |
Martín Abadi |
Distributed Systems (CS282), University of California at Berkeley, Spring 2006. |
Doug Terry |
Topics in Cryptanalysis, Stanford University, Fall 2005. |
Ilya Mironov |
Summer School on Shortest Paths, DIKU, University of Copenhagen,July 2005. |
Andrew Goldberg |
Expanders in Computer Science, Stanford University, Spring 2005. |
Cynthia Dwork |
Distributed Systems (CS244b), Stanford University, Spring 2005. |
Doug Terry |
Study of Perturbation Techniques for Data Privacy, Stanford University, Spring 2004. |
Cynthia Dwork |
Summer School on Software Security, University of Oregon, June 2004. |
Úlfar Erlingsson |
TECS Week Course, Tata Laboratory, Pune, India, January 2004. |
Leslie Lamport |
