Rajamani, Sriram K. - Rigorous Software Engineering (RSE) Research Group, Microsoft Research India

Advanced Search

Rajamani, Sriram K. - Rigorous Software Engineering (RSE) Research Group, Microsoft Research India

Microsoft Research IME Corpus December 5, 2005
CueT: Human-Guided Fast and Accurate Network Alarm Triage Saleema Amershi
Using Three States for Binary Consensus on Complete Graphs
Toward a Unified Approach to Statistical Language Modeling for Chinese
Designs for Home Life A. J. Brush
Exploring Web Scale Language Models for Search Query Processing
Evolving Use of A System for Education at a Distance Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry Chesley, Greg Kimberly, Elizabeth Sanocki
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
Designing Through Making: Exploring the Simple Haptic Design Space
Collimated light from a waveguide for a display Adrian Travis,1,2*
The Microsoft External Research Division of Microsoft Research part-
Mining Web Logs for Actionable Knowledge Qiang Yang1
Videoconferencing: Recent Experiments and Reassessment Steven E. Poltrock
TREC-10 Web Track Experiments at MSRCN Jianfeng Gao*, Guihong Cao#, Hongzhao He#, Min Zhang##,
Highway and VC Dimensions: from Practice to Theory and Back
A Comparative Study of Parameter Estimation Methods for Statistical Natural Language Processing
An Information-Theoretic Approach to Automatic Evaluation of Summaries
A comparison of Bayesian estimators for unsupervised Hidden Markov Model POS taggers
Linear Discriminant Model for Information Retrieval1 Jianfeng Gao*
Automatic Acquisition of ChineseEnglish Parallel Corpus from the Web
The Microsoft External Research Division of Microsoft Research part-
Real-Time Human Pose Recognition in Parts from Single Depth Images: Supplementary Material
Improving Language Model Size Reduction using Better Pruning Jianfeng Gao
Exploring Web Scale Language Models for Search Query Processing
Crossing Boundaries: Digital Literacy in Enterprises Lilia Efimova
Crossing Boundaries: A Case Study of Employee Blogging Lilia Efimova
Creating Sustainability and Value in Uncertain Times
Asynchronous Collaboration Around Multimedia and Its Application to On-Demand Training
Minimum Sample Risk Methods for Language Modeling1 Jianfeng Gao
Exploring Asymmetric Clustering for Statistical Language Modeling Jianfeng Gao
A DOM Tree Alignment Model for Mining Parallel Data from the Web , Cheng Niu1
MSRLM: a scalable language modeling toolkit Patrick Nguyen, Jianfeng Gao, and Milind Mahajan
Personas: Practice and Theory Personas is an interaction design technique with
Jonathan Grudin has worked as a developer and researcher in industry and as an academic at several universities, but throughout quite different jobs he has focused
A Correlation Framework for the CORBA Component Model
LYE: HIGH-PERFORMANCE SOAP WITH MULTI-LEVEL CACHING Venkatesh Prasad Ranganath, David M. Sexton, Daniel A. Andresen
LYE: a high-performance caching SOAP implementation Daniel Andresen
Communication and Collaboration Support in An Age of Information Scarcity
48 AI MAGAZINE AI and human-computer interaction (HCI) are converging.
Annotations for Streaming Video on the Web David Bargeron, Anoop Gupta, Jonathan Grudin, and Elizabeth Sanocki
Modeling Deformable Surfaces from Single Videos
Enterprise Knowledge Management and Emerging Technologies Jonathan Grudin
CONVERGENCE SPEED OF BINARY INTERVAL CONSENSUS MOEZ DRAIEF AND MILAN VOJNOVIC
Exploiting Headword Dependency and Predictive Clustering for Language Modeling
A.J. Bernheim Brush ajbrush@microsoft.com
Generalized Sampling in Computer Graphics Diego Nehab1,2
Terminology and Evaluation: Two Challenges for Awareness Systems Research
Microsoft Research TechFest 2011 Page 1 Microsoft TechFest 2011 Keynote Address
Scalable Training of L1-Regularized Log-Linear Models Galen Andrew galena@microsoft.com
Person Resolution in Person Search Results: WebHawk Xiaojun Wan*
Images in Context Integrating medical images
A Web-based English Proofing System for English as a Second Language Users , Jianfeng Gao2
CADENA: Enabling CCM-based Application Development in Eclipse
Preprint --Preprint --Preprint --Preprint --Preprint --P Slicing Concurrent Java Programs using Indus and Kaveri
Peripheral Computing During Presentations: Perspectives on Costs and Preferences
Blogging and work: employee perspective Lilia Efimova
Health and Wellbeing The Microsoft External Research
To BLOB or Not To BLOB: Large Object Storage in a Database or a Filesystem?
Location of Mobile Devices Using Networked Surfaces Frank Hoffmann and James Scott
Clickthrough-Based Translation Models for Web Search: from Word Models to Phrase Models
IEEE TRANSACTIONS ON MULTIMEDIA, VOL. 10, NO. 8, DECEMBER 2008 1541 Boosting-Based Multimodal Speaker Detection
Secure Mobile Computing via Public Terminals Richard Sharp1
Multi-Style Language Model for Web Scale Information Retrieval
Annotating Digital Documents for Asynchronous Collaboration* Alice Jane Bernheim Brush
Multimedia Annotation: An Unsuccessful Tool Becomes a Successful Framework
As software strives to provide more fine-grained support for a wider range of people and activities, the need for designers and developers to
A Comparative Study of Bing Web N-gram Language Models for Web Search and Natural Language Processing
Running Head: TAXONOMY AND THEORY IN CSCW Taxonomy and Theory in Computer Supported Cooperative Work
A Comparison of Synchronous Remote and Local Usability Studies for an Expert Interface
People have interacted with computers from the start, but it took time for humancomputer
Extending Query Translation to Cross-Language Query Expansion with Markov Chain Models
Home Automation in the Wild: Challenges and Opportunities
Selecting Good Expansion Terms for Pseudo-Relevance Guihong Cao, Jian-Yun Nie
Place-Its: A Study of Location-Based Reminders on Mobile Phones
Dependence Language Model for Information Retrieval1 Jianfeng Gao*
Going Critical: Perspective and Proportion in the Epistemology of Rob Kling1
NTCIR-3 CLIR Experiments at MSRA Hongzhao He1
Compressing Trigram Language Models With Golomb Coding One Microsoft Way
Bayesian Semi-Supervised Chinese Word Segmentation for Statistical Machine Translation
Learning Phrase-Based Spelling Error Models from Clickthrough Data
FlashStore: High Throughput Persistent Key-Value Store Biplob Debnath
As Users Grow More Savvy: Experiences with an Asynchronous Distance Learning Tool
Symbolic Differentiation in GPU Shaders Derivatives arise frequently in graphics and scientific computation
Microsoft Amalga Advancing understanding of your
Health and Wellbeing The Microsoft External Research
McGrath and the Behaviors of Groups (BOGs)
Audio Location: Accurate Low-Cost Location Sensing James Scott and Boris Dragovic
Soft-LTE: A Software Radio Implementation of 3GPP Long Term Evolution Based on Sora Platform
Compressive sensing (CS) and sparse representations (SR) for
Design Lessons from Deployment of On-demand Video Liwei He, Anoop Gupta, Stephen A. White, and Jonathan Grudin
Networked Surfaces: A Novel LAN Technology James William Scott
FeBrUAry 2011 | voL. 54 | No. 2 | communicAtions of tHe Acm 41 Technology, Conferences,
A Study of Statistical Models for Query Translation: Finding a Good Unit of Translation
Notes about Atomicity Venkatesh Prasad Ranganath
A Biometric Attendance Terminal and its Application to Health Programs in India
SCALABLE AND ACCURATE APPROACHES FOR PROGRAM DEPENDENCE ANALYSIS, SLICING, AND VERIFICATION OF
It's Not That Important: Demoting Personal Information of Low Subjective Importance using GrayArea
EDWARD CUTRELL Microsoft Research India
BLINC: Multilevel Traffic Classification in the Dark
Robust Location Search from Text Queries Vibhuti Sengar
L d C ilLanguage and Compiler Support for Stream ProgramsSupport for Stream Programs
Why it is Hard to Identify Technical Research Problems in ICT4D and How to Make it Easier
Manipulating Lossless Video in the Compressed Domain William Thies
An Empirical Characterization of Stream Programs and its Implications for Language and Compiler Design
Figure 1. Direct and intermediated interactions Intermediated Technology Use in Developing Communities
SPACE: Secure Protocol for Address-Book based Connection Establishment
Workshop on Modern Massive Data Matrices, Palo Alto 2006.
The Spectral Method for general Mixture Models
Orc Notation Compilation
First Mysore-Park Workshop on Cloud Computing Scribe notes by Katherine E. Coons
CALL FOR PAPER AND PARTICIPATION 41st National Annual Convention
Bimanual Interaction on the Microsoft Hugh McLoone, Ken Hinckley & Edward Cutrell
An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software
Black Box Accountable Authority Identity-Based Vipul Goyal
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Automatic code generation for LYE, a high-performance caching SOAP implementation
Microsoft Research India An assessment of Pradan's `Computer Munshi' intervention
Combinatorics, Probability and Computing (2005) 00, 000000. c 2005 Cambridge University Press DOI: 10.1017/S0000000000000000 Printed in the United Kingdom
Interactive DVDs as a Platform for Education Kiran Gaikwad, Gaurav Paruthi, and William Thies
Black-Box Accountable Authority Identity-Based Vipul Goyal
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
Instant Messaging: Effects of Relevance and Timing Mary Czerwinski, Edward Cutrell and Eric Horvitz
A Divide-and-Merge Methodology for Clustering David Cheng
Tensor Decomposition and Approximation Schemes for Constraint Satisfaction Problems
A New Foundation For Control-Dependence and Slicing for Modern Program Structures
Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal
Bounded Ciphertext Policy Attribute Based Vipul Goyal , Abhishek Jain , Omkant Pandey , and Amit Sahai
Fraunhofer ISST CLOUD COMPUTING APPLICATIONS
ViralVCD: Tracing Information-Diffusion Paths with Low Cost Media in Developing Communities
Rapid Mixing of Several Markov Chains for a Hard-Core Model
FlowMouse: A Computer Vision-Based Pointing and Gesture Input Device
A preliminary version of this paper appears in Proceedings of the 14th ACM Conference on Com-puter and Communications Security, CCS 2008, ACM Press, 2008. This is the full version.
Effective Notification Systems Depend on User Trust Scott LeeTiernan, Edward Cutrell, Mary Czerwinski, and Hunter Hoffman
How to Get Into Graduate SchoolHow to Get Into Graduate School in the USA: A Lecture and Workshop
Evaluating the Accuracy of Data Collection on Mobile Phones: A Study of Forms, SMS, and Voice
Cloud Data Serving: From Key-Value Stores to DBMSs
Cloud Computing An enterprise perspective Raghavan Subramanian
Tensor Decomposition and Approx Schemes for CSP's
Clustering Large Graphs via the Singular Value Decomposition P. Drineas , A. Frieze , R. Kannan , S. Vempala and V. Vinay
UNIVERSITY OF CALIFORNIA Los Angeles
Resettably Secure Computation Vipul Goyal and Amit Sahai
Bounded Ciphertext Policy Attribute Based Encryption Vipul Goyal Abhishek Jain Omkant Pandey Amit Sahai
Efficient Two Party and Multi Party Computation against Covert Adversaries
Efficient Two Party and Multi Party Computation against Covert Adversaries
Certificate Revocation using Fine Grained Certificate Space Partitioning
Stratus: Energy-Efficient Mobile Communication using Cloud Support
OWeB: A Framework for Offline Web Browsing Ganesh Ananthanarayanan1
Usably Secure, Low-Cost Authentication for Mobile Banking Saurabh Panjwani, Edward Cutrell
Visual Snippets: Summarizing Web Pages for Search and Revisitation
Submission cover for IHM-HCI'2001 Short Paper
here is a visible shift in perspective in viewing the IT miracle and how it can merge profits with prosperity for the hitherto downtrodden. The new lens of "inclusive capi-
Microsoft Research India Evaluating the viability of a mobile phone-based, SMS/GPRS-enabled, client data
BEHAVIORAL PROFILES FOR ADVANCED EMAIL FEATURES
Stuff I've Seen: A System for Personal Information Retrieval and Re-Use
What are you looking for? An eye-tracking study of information usage in Web search
An Eye Tracking Study of the Effect of Target Rank on Web Zhiwei Guan
Covert Multi-party Computation Nishanth Chandran
The Springboard: Multiple Modes in One Spring-loaded Control Ken Hinckley1
Microsoft Research India Preliminary assessment of a pilot intervention run by BASIX involving the use
OBJECT-FLOW ANALYSIS FOR OPTIMIZING FINITE-STATE MODELS OF JAVA SOFTWARE
Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography
Pre-flight checklist for Application Center 2000
http://www.cs.ucr.edu/~tkarag Should Internet Service Providers Fear
Kaveri: Delivering the Indus Java Program Slicer to Ganeshan Jayaraman, Venkatesh Prasad Ranganath, and John Hatcliff
Mysore-Park 14 Jan 2010
Zing: A Model Checker for Concurrent Software Tony Andrews
Program Verification as Probabilistic Inference Sumit Gulwani
Controlling Non-determinism for Semantic Sriram Rajamani G. Ramalingam
Component-Oriented Programming and Datacenter Applications Venkatesh-Prasad Ranganath
Notes about Interference Dependence Venkatesh Prasad Ranganath
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
Context-Specific Middleware Specialization Techniques for Optimizing Software Product-line Architectures
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
A SET-BASED APPROACH TO PACKET CLASSIFICATION
Stateless Cryptographic Protocols Vipul Goyal
Resettably Secure Computation Vipul Goyal Amit Sahai
Constant Round Non-Malleable Protocols using One Way Functions Vipul Goyal
Positive Results for Concurrently Secure Computation in the Plain Vipul Goyal
Identity-based Encryption with Efficient Revocation Alexandra Boldyreva
Bringing People of Different Beliefs Together to Sanjam Garg1
Ravichandhran, Kandhadai Madhavan
Correlated-Input Secure Hash Functions Vipul Goyal
Password-Authenticated Session-Key Generation on the Internet in the Plain Model
Sr NoPoster Title Team member names 1 A scalable cloud based system to share content among non-smartphone users Kuldeep Yadav
Secure Composition of Cryptographic Protocols Vipul Goyal
Correlated-Input Secure Hash Functions Vipul Goyal1
Demo/ Poster Description Authorization on Demand