Stem microsoft$ (all stems)

62 papers:

MSR-2015-BosuGB #code review #empirical

Characteristics of Useful Code Reviews: An Empirical Study at Microsoft (AB, MG, CB), pp. 146–156.

VLDB-2014-ChenNC #detection #performance #sql

Fast Foreign-Key Detection in Microsoft SQL Server PowerPivot for Excel (ZC, VRN, SC), pp. 1417–1428.

HILT-2014-Ball #compilation #correctness #logic #research #verification

Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.

VLDB-2013-Lomet #approach #database #hardware #sql

Microsoft SQL Server’s Integrated Database Approach for Modern Applications and Hardware (DBL), pp. 1178–1179.

HCI-IMT-2013-ChangLCFC #artificial reality

A Dynamic Fitting Room Based on Microsoft Kinect and Augmented Reality Technologies (HTC, YWL, HTC, SYF, TTC), pp. 177–185.

SAC-2013-AraujoGA #artificial reality #identification #towards #using

Towards skeleton biometric identification using the microsoft kinect sensor (RMA, GG, VA), pp. 21–26.

SIGMOD-2012-ShankarNACEHRSDG #optimisation #query #sql

Query optimization in microsoft SQL server PDW (SS, RVN, JAS, AC, ME, AH, ER, MSS, DJD, CAGL), pp. 767–776.

WCRE-2012-Al-OmariKRR #detection #dot-net #programming language

Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.

ICSE-2012-Schulte #analysis #automation #industrial

Ten years of automated code analysis at Microsoft (Invited industrial talk) (WS), p. 1001.

VLDB-2011-MainePST

Microsoft Codename “Montego” — Data Import, Transformation, and Publication for Information Workers (SJM, LP, CAS, JFT), pp. 1454–1457.

CSCW-2011-BirdMNZ #empirical #re-engineering #research

Empirical software engineering at Microsoft Research (CB, BM, NN, TZ), pp. 143–150.

ICEIS-v4-2011-Naderipour #ad hoc #industrial #mining #process #using

Mining of Ad-hoc Business Processes using Microsoft Sharepoint, Nitro & Prom 6.0 — An Industrial Practice (FN), pp. 413–418.

KDD-2011-MukerjeePG #algorithm #framework #linear #mining #semantics #sql

Linear scale semantic mining algorithms in microsoft SQL server’s semantic platform (KM, TP, SG), pp. 213–221.

SIGMOD-2010-CampbellKE #sql

Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.

VLDB-2010-KazemitabarDAAS #query #sql #using

Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight (SJK, UD, MHA, AA, CS), pp. 1537–1540.

ICML-2010-GraepelCBH #predict

Web-Scale Bayesian Click-Through rate Prediction for Sponsored Search Advertising in Microsoft’s Bing Search Engine (TG, JQC, TB, RH), pp. 13–20.

ECMFA-2010-BruneliereCCJB #eclipse #modelling #tool support #towards

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.

ICSE-2010-GuoZNM #debugging #empirical #predict

Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows (PJG, TZ, NN, BM), pp. 495–504.

VLDB-2009-AliGRSTVWZKALRKSGBCGBLNWMSNG #behaviour #online

Microsoft CEP Server and Online Behavioral Targeting (MHA, CG, BSR, BS, TT, TV, PW, PZ, AK, AA, ML, AR, RK, RS, TG, SB, BC, JG, SB, YL, VDN, XW, DM, IS, ON, SG), pp. 1558–1561.

MSR-2009-Ball #research

A brief history of software — from Bell Labs to Microsoft Research (TB).

FM-2009-LeinenbachS #verification

Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.

SIGMOD-2008-BlakeleyRKPHK #database #dot-net #programmable #sql

.NET database programmability and extensibility in microsoft SQL server (JAB, VR, IK, AP, MH, CK), pp. 1087–1098.

SIGMOD-2008-FangFNRS #sql

Spatial indexing in microsoft SQL server 2008 (YF, MF, GN, MR, AES), pp. 1207–1216.

ICST-2008-LechnerB #workflow

Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.

SIGMOD-2007-CampbellN #framework

The microsoft data platform (DC, AN), pp. 1053–1060.

FM-2006-Cohen #validation

Validating the Microsoft Hypervisor (EC), p. 81.

SIGMOD-2005-AgrawalCKMNS #database #sql

Database tuning advisor for microsoft SQL server 2005: demo (SA, SC, LK, APM, VRN, MS), pp. 930–932.

SIGMOD-2005-ChaudhuriGGKNV #sql

Data cleaning in microsoft SQL server 2005 (SC, KG, VG, RK, VRN, TV), pp. 918–920.

SIGMOD-2005-DeHaanLZ #sql

Stacked indexed views in microsoft SQL server (DD, PÅL, JZ), pp. 179–190.

SIGMOD-2005-Rys #database #relational #sql #xml

XML and relational database management systems: inside Microsoft SQL Server 2005 (MR), pp. 958–962.

PASTE-2005-Das

PASTE at Microsoft (MD), p. 1.

GTTSE-2005-AndradeGAEK #dot-net #migration #named

Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.

ICSE-2005-Brechner #development #evolution

Journey of enlightenment: the evolution of development at Microsoft (EB), pp. 39–42.

SIGMOD-2004-AchesonBBCEFJKRSSVZ #dot-net #runtime #sql

Hosting the .NET Runtime in Microsoft SQL Server (AA, MB, JAB, PC, EE, JF, XJ, CK, BR, GS, BS, RV, HZ), pp. 860–865.

VLDB-2004-AgrawalCKMNS #database #sql

Database Tuning Advisor for Microsoft SQL Server 2005 (SA, SC, LK, APM, VRN, MS), pp. 1110–1121.

VLDB-2004-TenienteFUBG #named #validation

SVT: Schema Validation Tool for Microsoft SQL-Server (ET, CF, TU, CB, DG), pp. 1349–1352.

CSMR-2004-MoiseWS #dot-net #reverse engineering #visual notation

Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET (DLM, KW, DS), pp. 85–94.

IFM-2004-BallCLR #formal method #verification

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.

SIGMOD-2003-Seshadri

Building Notification Services with Microsoft SQLServer (PS), pp. 635–636.

HT-2002-HughesC #question

Microsoft smart tags: support, ignore or condemn them? (GVH, LC), pp. 80–81.

LICS-2001-Gurevich #state machine

Logician in the Land of OS: Abstract State Machines in Microsoft (YG), pp. 129–136.

TOOLS-USA-2000-SimonS #component

New Microsoft Component Technologies (RS, ES), pp. 393–394.

ICSE-2000-Orsted #development

Software development engineer in Microsoft: a subjective view of soft skills required (MO), pp. 539–540.

CADE-2000-CollinsD #verification

System Description: Embedding Verification into Microsoft Excel (GC, LAD), pp. 497–501.

CSL-2000-Schulte #state machine

Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.

SIGMOD-1999-BergstraesserBPS #repository

Versions and Workspaces in Microsoft Repository (TB, PAB, SP, DS), pp. 532–533.

SIGMOD-1999-Hammond #replication #sql

Merge Replication in Microsoft’s SQL Server 7.0 (BH), p. 527.

SIGMOD-1999-Ojjeh

Microsoft Site Server (Commerce Edition) (BO), p. 530.

VLDB-1999-Blum #automation #database #query #relational #semantics

Microsoft English Query 7.5: Automatic Extraction of Semantics from Relational Databases and OLAP Cubes (AB), pp. 247–248.

VLDB-1999-Campbell #architecture #sql

The New Locking, Logging, and Recovery Architecture of Microsoft SQL Server 7.0 (DC), p. 249.

FM-v2-1999-Feijs #modelling #using #π-calculus

Modelling Microsoft COM Using π-Calculus (LMGF), pp. 1343–1363.

HCI-EI-1999-Zuberec #design

The Design of Microsoft Windows CE (SZ), pp. 1148–1152.

SIGAda-1999-Botton #ada

Interfacing Ada 95 to Microsoft COM and DCOM technologies (DB), pp. 9–14.

SIGMOD-1998-BlakeleyP #data access #framework

Microsoft Universal Data Access Platform (JAB, MP), pp. 502–503.

SIGMOD-1998-ChaudhuriN98a #sql

Microsoft Index Tuning Wizard for SQL Server 7.0 (SC, VRN), pp. 553–554.

SIGMOD-1998-Kennamer #data transformation #transaction

Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.

VLDB-1998-GraefeBC #sql

Hash Joins and Hash Teams in Microsoft SQL Server (GG, RB, SC), pp. 86–97.

VLDB-1997-BernsteinHSSZ #repository

The Microsoft Repository (PAB, BH, PS, DS, JZ), pp. 3–12.

VLDB-1997-ChaudhuriN #performance #sql

An Efficient Cost-Driven Index Selection Tool for Microsoft SQL Server (SC, VRN), pp. 146–155.

HCI-SEC-1997-Corso #design #interactive #usability

Microsoft Interactive Media Products: Worldwide Usability and Design Practices (JGC), pp. 513–516.

TRI-Ada-1997-BrukardtM #ada

CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows (RB, TM), pp. 91–104.

SAC-1997-OHara #framework

Microsoft Windows CE: a new handheld computing platform (RO), pp. 295–296.