Joseph M. Joy

The first 14 years of my professional career was in product development, mostly in the Microsoft Windows Operating System division, and working primarily in the area of networking and telephony (network load balancing, ATM, telephony, dial-up networking, fax protocols). In 2005 I left Redmond to join Microsoft Research India, where, until recently, I headed the Advanced Development and Prototyping (ADP) Group. In November 2007 I transitioned  to being Principal Software Architect, driving specific projects. My primary interests are in advancing the state of software engineering, and in semi-structured information retrieval. My personal page (http://josephmjoy.spaces.live.com/) lists other interests.

 

 

Products Shipped

Here are the list of software products that I contributed to as developer or development lead:

Windows Server 2003 (2003) BackOffice Small Business Server (1997)
Windows XP (2001) Windows NT 4.0 (1996)
Windows Millennium (2000) Microsoft Phone 1.0 (1995)
Windows 2000 (1999) Windows 95 (1995)
Windows 98 (1998) Windows for Workgroups 3.11 (1993)

Interests

Building verifiable systems
I feel the way we currently build systems, especially high-performance systems, is tedious and error prone. I am interested in changing the way we build systems software so that more modular building blocks can be used and so that higher level properties can be statically and dynamically verified. This is ongoing work with Sriram Rajamani who heads the Rigorous Software Engineering (RSE) group, as well as certain product teams in Microsoft.  One of the projects in this area is CLARITY, a new programming language for building asynchronous systems.
 
Semi-structured search
I am interested in domain-specific search over semi-structured data, such as estimating the geographic location referred to in text such as a postal address (see our Robust Location Search papers below for details). This is ongoing work with Vibhuti Sengar and Tanuja Joshi of the ADP group , as well as folk from the Multi Lingual Systems (MLS) group (concerning cross-lingual search), the Windows Live Local product group, and newly initiated work with the RSE group and the Windows Sustained Engineering division.
 
Web-based collaboration involving small tasks
Several of us in the ADP and RSE group and elsewhere are interested in making it easier for people to collaborate on completing tasks over the Internet or corporate intranet. This is an ongoing project. Amazon Mechanical Turk, and Louis von Ahn's games are  interesting and related developments in this space.
 
Geographic narratives
Community-created geographic content is on the rise, with sites like wikimapia. I am interested in mechanisms that enable a richer  expression of content that has a strong geographic component. This is a rapidly evolving space.

My personal page (http://josephmjoy.spaces.live.com/) lists other interests, which include conducting puzzle-based treasure hunts for different age groups, and digitally preserving our heritage.

Publications

Selected Patents

Activities

...oOo...