BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
server (22)
sql (22)
net (6)
tool (6)
databas (6)

Stem microsoft$ (all stems)

62 papers:

MSRMSR-2015-BosuGB #code review #empirical
Characteristics of Useful Code Reviews: An Empirical Study at Microsoft (AB, MG, CB), pp. 146–156.
VLDBVLDB-2014-ChenNC #detection #performance #sql
Fast Foreign-Key Detection in Microsoft SQL Server PowerPivot for Excel (ZC, VRN, SC), pp. 1417–1428.
HILTHILT-2014-Ball #compilation #correctness #logic #research #verification
Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.
VLDBVLDB-2013-Lomet #approach #database #hardware #sql
Microsoft SQL Server’s Integrated Database Approach for Modern Applications and Hardware (DBL), pp. 1178–1179.
HCIHCI-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.
SACSAC-2013-AraujoGA #artificial reality #identification #towards #using
Towards skeleton biometric identification using the microsoft kinect sensor (RMA, GG, VA), pp. 21–26.
SIGMODSIGMOD-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.
WCREWCRE-2012-Al-OmariKRR #detection #dot-net #programming language
Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
ICSEICSE-2012-Schulte #analysis #automation #industrial
Ten years of automated code analysis at Microsoft (Invited industrial talk) (WS), p. 1001.
VLDBVLDB-2011-MainePST
Microsoft Codename “Montego” — Data Import, Transformation, and Publication for Information Workers (SJM, LP, CAS, JFT), pp. 1454–1457.
CSCWCSCW-2011-BirdMNZ #empirical #re-engineering #research
Empirical software engineering at Microsoft Research (CB, BM, NN, TZ), pp. 143–150.
ICEISICEIS-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.
KDDKDD-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.
SIGMODSIGMOD-2010-CampbellKE #sql
Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.
VLDBVLDB-2010-KazemitabarDAAS #query #sql #using
Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight (SJK, UD, MHA, AA, CS), pp. 1537–1540.
ICMLICML-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.
ECMFAECMFA-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.
ICSEICSE-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.
VLDBVLDB-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.
MSRMSR-2009-Ball #research
A brief history of software — from Bell Labs to Microsoft Research (TB).
FMFM-2009-LeinenbachS #verification
Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2008-FangFNRS #sql
Spatial indexing in microsoft SQL server 2008 (YF, MF, GN, MR, AES), pp. 1207–1216.
ICSTICST-2008-LechnerB #workflow
Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.
SIGMODSIGMOD-2007-CampbellN #framework
The microsoft data platform (DC, AN), pp. 1053–1060.
FMFM-2006-Cohen #validation
Validating the Microsoft Hypervisor (EC), p. 81.
SIGMODSIGMOD-2005-AgrawalCKMNS #database #sql
Database tuning advisor for microsoft SQL server 2005: demo (SA, SC, LK, APM, VRN, MS), pp. 930–932.
SIGMODSIGMOD-2005-ChaudhuriGGKNV #sql
Data cleaning in microsoft SQL server 2005 (SC, KG, VG, RK, VRN, TV), pp. 918–920.
SIGMODSIGMOD-2005-DeHaanLZ #sql
Stacked indexed views in microsoft SQL server (DD, PÅL, JZ), pp. 179–190.
SIGMODSIGMOD-2005-Rys #database #relational #sql #xml
XML and relational database management systems: inside Microsoft SQL Server 2005 (MR), pp. 958–962.
PASTEPASTE-2005-Das
PASTE at Microsoft (MD), p. 1.
GTTSEGTTSE-2005-AndradeGAEK #dot-net #migration #named
Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.
ICSEICSE-2005-Brechner #development #evolution
Journey of enlightenment: the evolution of development at Microsoft (EB), pp. 39–42.
SIGMODSIGMOD-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.
VLDBVLDB-2004-AgrawalCKMNS #database #sql
Database Tuning Advisor for Microsoft SQL Server 2005 (SA, SC, LK, APM, VRN, MS), pp. 1110–1121.
VLDBVLDB-2004-TenienteFUBG #named #validation
SVT: Schema Validation Tool for Microsoft SQL-Server (ET, CF, TU, CB, DG), pp. 1349–1352.
CSMRCSMR-2004-MoiseWS #dot-net #reverse engineering #visual notation
Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET (DLM, KW, DS), pp. 85–94.
IFMIFM-2004-BallCLR #formal method #verification
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
SIGMODSIGMOD-2003-Seshadri
Building Notification Services with Microsoft SQLServer (PS), pp. 635–636.
HTHT-2002-HughesC #question
Microsoft smart tags: support, ignore or condemn them? (GVH, LC), pp. 80–81.
LICSLICS-2001-Gurevich #state machine
Logician in the Land of OS: Abstract State Machines in Microsoft (YG), pp. 129–136.
TOOLSTOOLS-USA-2000-SimonS #component
New Microsoft Component Technologies (RS, ES), pp. 393–394.
ICSEICSE-2000-Orsted #development
Software development engineer in Microsoft: a subjective view of soft skills required (MO), pp. 539–540.
CADECADE-2000-CollinsD #verification
System Description: Embedding Verification into Microsoft Excel (GC, LAD), pp. 497–501.
CSLCSL-2000-Schulte #state machine
Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.
SIGMODSIGMOD-1999-BergstraesserBPS #repository
Versions and Workspaces in Microsoft Repository (TB, PAB, SP, DS), pp. 532–533.
SIGMODSIGMOD-1999-Hammond #replication #sql
Merge Replication in Microsoft’s SQL Server 7.0 (BH), p. 527.
SIGMODSIGMOD-1999-Ojjeh
Microsoft Site Server (Commerce Edition) (BO), p. 530.
VLDBVLDB-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.
VLDBVLDB-1999-Campbell #architecture #sql
The New Locking, Logging, and Recovery Architecture of Microsoft SQL Server 7.0 (DC), p. 249.
FMFM-v2-1999-Feijs #modelling #using #π-calculus
Modelling Microsoft COM Using π-Calculus (LMGF), pp. 1343–1363.
HCIHCI-EI-1999-Zuberec #design
The Design of Microsoft Windows CE (SZ), pp. 1148–1152.
AdaSIGAda-1999-Botton #ada
Interfacing Ada 95 to Microsoft COM and DCOM technologies (DB), pp. 9–14.
SIGMODSIGMOD-1998-BlakeleyP #data access #framework
Microsoft Universal Data Access Platform (JAB, MP), pp. 502–503.
SIGMODSIGMOD-1998-ChaudhuriN98a #sql
Microsoft Index Tuning Wizard for SQL Server 7.0 (SC, VRN), pp. 553–554.
SIGMODSIGMOD-1998-Kennamer #data transformation #transaction
Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.
VLDBVLDB-1998-GraefeBC #sql
Hash Joins and Hash Teams in Microsoft SQL Server (GG, RB, SC), pp. 86–97.
VLDBVLDB-1997-BernsteinHSSZ #repository
The Microsoft Repository (PAB, BH, PS, DS, JZ), pp. 3–12.
VLDBVLDB-1997-ChaudhuriN #performance #sql
An Efficient Cost-Driven Index Selection Tool for Microsoft SQL Server (SC, VRN), pp. 146–155.
HCIHCI-SEC-1997-Corso #design #interactive #usability
Microsoft Interactive Media Products: Worldwide Usability and Design Practices (JGC), pp. 513–516.
AdaTRI-Ada-1997-BrukardtM #ada
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows (RB, TM), pp. 91–104.
SACSAC-1997-OHara #framework
Microsoft Windows CE: a new handheld computing platform (RO), pp. 295–296.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.