Skip to main content

Microsoft Research Audio

Microsoft

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas in 13 research labs around the world.



rss RSS

1,709
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
Prior Page
eye
Title
Date Archived
Creator
'Secure Computation' has been a classic and central question in modern cryptography with a large set of potential applications.Mining large genomic databases, private scientific computation, and studying properties of shared networks are just a few examples.Unfortunately, the majority of the constructions in this area have not made their way into practice, primarily due to their inefficiency. In this talk, I first outline three different approaches toward designing more practical protocols, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Payman Mohassel
Collaboration is an important part of nearly all work and educational settings. In practice, however, collaboration is rarely perfect; numerous problems arise, ranging from social loafing to coordination losses. In this talk, I show how a multidisciplinary approach can help in the design of collaborative technologies. For example, in designing IRC Français, I drew on the educational literature to develop a chat-style environment for foreign language learning. Once placed in the classroom,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Jim Hudson
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Despite the best efforts of programmers, programs still ship with bugs. Many of these bugs manifest as anomalies the heap. This talk discusses two low-overhead synergistic techniques for discovering heap anomalies by exploiting the underlying runtime system. The first, dynamic object sampling, is a technique for selectively tagging objects with characteristics. Summarization graphs provide a compact representation of collecting heap characteristics. We show that these techniques can stand alone...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Maria Jump
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for all workloads and hardware variants pose serious challenges for operating...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Andrew Baumann
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

The purpose of the seminar is to describe the StarSs programming model, the status of the different implementations and why we consider that it provides a global solution to the challenges raised by future processor and system architectures. StarSs is a task-based programming model where the user annotates with directives an otherwise standard sequential code …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
by Microsoft Research
audio

eye 3

favorite 1

comment 0

Azure Academic Pilot – Krishna Kumar, Microsoft
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

In line with the insight that “one size” of databases will not fit all application needs, the database community is currently exploring various alternatives to commodity, CPU-based system designs. One particular candidate in this trend are Field-programmable Gate Arrays (FPGAs), programmable logic chips that allow tailor-made hardware designs optimized for specific systems, applications, or even …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Textual Entailment has been proposed recently as a generic framework for modeling semantic variability in many Natural Language Processing applications, such as Question Answering, Information Extraction, Information Retrieval and Document Summarization. The Textual Entailment relationship holds between two text fragments, termed text and hypothesis, if the truth of the hypothesis can be inferred from the text. In this talk, the Textual Entailment framework will be introduced. I'll then present...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bill Dolan, Idan Szpektor
Microsoft Research Audio
audio

eye 7

favorite 0

comment 0

Chip Multiprocessors (CMPs) have emerged as the common choice for processor manufacturers to take advantage of CMOS scaling trends that lead to greater numbers of smaller transistors on a single chip. CMP architectures feature multiple simple cores that help mitigate wire delays and energy consumption issues facing complex monolithic designs. However, with the exception of server applications such as database programs, the majority of commonly used applications on desktop machines have yet to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Richard Draves, Suleyman Sair
In this talk, I'll discuss a research trajectory that we have been pursuing at Intel Research Seattle. This trajectory is 'social, mobile applications' or, perhaps more colloquially, 'applications that don't support a specific work task and can be used just about anywhere.' I'll talk through what this area of research is, the context of the work at Intel Research Seattle into large-scale location systems, and some experiments we have done, are doing, and are planning to do. A significant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ian Smith
The everyday interactions which we carry out with computers are constrained by our own perceptual and motor capabilities that are associated with the technology being used. To improve our overall experiences with both contemporary and emerging technological platforms there are two important steps which must be respected. 1) Understanding the nature of the low-level capabilities of the human user associated with the technology at use. 2) Designing interaction techniques and user interfaces based...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ken Hinckley, Tovi Grossman
Microsoft Research Audio
by Microsoft Research
audio

eye 12

favorite 0

comment 0

Theoretical physicist Smolin argues that the study of physics has lost its way in the past two decades, largely because string theory has captured the imagination of both the public and some prominent physicists. There is one deep flaw he sees in string theory: no part of it has been tested and no one knows how to test it. In fact, the theory appears to come in an infinite number of versions, meaning that no experiment will ever be able to prove it false. Yet it has soaked up the lion’s share...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley and Kim Ricketts, Lee Smolin
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Programming language tools offer powerful mechanisms for improving the safety and reliability of systems code. This talk presents Deputy, a type system and compiler for enforcing type and memory safety in real-world C programs such as Linux device drivers and the Linux kernel itself. Deputy's type system uses dependent types, a language mechanism that allows programmers to describe common C idioms in an intuitive fashion. The Deputy project offers contributions to both systems and programming...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Hawblitzel, Jeremy Condit
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

I will present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model describes all perspective (pinhole), orthographic, and many multiperspective (including pushbroom and two-slit) cameras, as well as epipolar plane images. It also includes three new, previously unexplored, multiperspective linear cameras. The GLC model is both general and linear in the sense that, given any vector space where rays are represented as points, it...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rick Szeliski, Leonard McMillan
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

In a conversation, much can be sensed from the person's eye gaze—interested or uninterested, attentive or preoccupied, focused or distracted, engaged or unmindful, wanting to continue or trying to get away etc. With the advance of new eye tracking technology it might be possible to use eye-gaze information in conversations with computers. The research presented in this talk firstly investigates if there are any eye-gaze patterns present in natural dialogues that can be detected and used by a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Pernilla Qvarfordt
Many emerging mobile computing applications need to know the physical location of things so that they can record them and report them to us: Where did I take these photographs? Is anyone on my buddy-list nearby? What is the best route to the restaurant given current traffic? Answering these and similar questions has inspired development of many systems to locate people, devices, and other objects. Because each system solves a slightly different problem or supports different applications, they...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Jeffrey Hightower
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

There are many indicators that people feel technology is speeding up and complicating their lives. In response, many individuals reject certain computing and communications technologies when given the choice (e.g., for use in their homes). Current research in ubiquitous computing has a tendency to fall into this same trap, offering overly complex technology supporting new functions with little value to users. The Digital Simplicity project instead offers a different value proposition: take this...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, James Landay
Microsoft Research Audio
audio

eye 3

favorite 1

comment 0

Adaptive System Design Understanding human learning on a complex navigation task, Building models of conflict evolution from events data extracted from wire reports, Building regulatory cellular networks from high-throughput biological data Designing customized optimization sequences for compiling programs ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, Devika Subramanian
In this talk, I will describe CitySense, a NSF-funded collaboration between Harvard University and BBN Technologies to build a city-wide wireless sensor testbed that will be open to the research community. CitySense will consist of 100 Linux-based embedded PCs outfitted with dual 802.11a/b/g radios and various sensors, mounted on streetlights and buildings across a city (our current target is Cambridge, MA). CitySense takes its cue from citywide urban mesh networking projects, but will differ...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Matt Welsh
The polar RF transmitter architecture, Kahn Envelope Elimination and Restoration (EER), aims at achieving linearity, while amplifying non-constant envelope signals efficiently by means of switch mode amplification. A Delta-Sigma Modulator (??) is proposed to be used before the switch mode amplifier of the envelope signal. Due to its noise shaping characteristics, sharp analog filtering is compulsory afterwards. As a consequence, spectral regrowth appears in the output signal fed to antenna....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Darko Kirovski, Jorge Mártires
Dynamic analyses, such as testing and profiling, play a key role in state-of-art approaches to software quality assurance (QA). With a few rare, (but notable) exceptions, these analyses are performed in-house, on developer platforms, using developer-provided input workloads. The shortcomings of focusing on in-house QA efforts alone include increased cost and schedule for extensive QA activities and misleading results when the input test-cases and workload differs from actual workloads or when...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Adam Porter
In current practice, only rarely precise and reliable documentation of a system's behaviour is produced during its development. Revisions and last minute changes invalidate design sketches, and while systems are updated in the maintenance cycle, often their implementation documentation is not. Regular extrapolation aims at providing descriptions of systems or system aspects a posteriori in a largely automatic way. These descriptions come in the form of models which offer the possibility of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jakob Rehof, Bernhard Steffen
Users share an increasing marginal cost technology. A cost sharing method specifies non negative and non transferable cost shares covering costs. We look at the worst surplus gain (relative to the efficient surplus) in any Nash equilibrium when preferences are convex and quasi-linear, and otherwise arbitrary. We compare four popular methods: average cost pricing, serial cost sharing, marginal cost pricing and incremental cost sharing. No matter what the (convex) cost function, the average cost...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nicole Immorlica, Herve Moulin
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

The sensing, computing, communication, and actuation capabilities of wireless sensor networks are increasingly enabling us to observe and control the physical world. Along with opportunities, sensornets bring challenges to the design of systems dependability. In this talk, I will focus on the challenges in the context of messaging. In sensornets, wireless links tend to be dynamic, both temporally and spatially. Link dynamics are also subject to the impact of application properties such as...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jie Liu, Hongwei Zhang
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Multitasking is an important part of the way we work, but serious problems result from fragmenting our work with constant interruptions and task switches. Imagine an interface that helps you maintain task focus, keep up to date with changes in secondary tasks, and smoothly transition between tasks. Glanceable peripheral displays can help with these needs by enabling users to quickly and easily monitor updates in various tasks. However, little is known about how to best design visual information...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, George Robertson, Tara Matthews
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

MY YEAR IN IRAQ: The Struggle to Build a Future of Hope is the only senior insider's perspective on the crucial period following the collapse of Saddam Hussein's regime. Told with unrelenting candor by the man President Bush assigned to rebuild the devastated country, Bremer's unique memoir is an unforgettable first-hand account of danger, chaos, and daunting challenge. As he takes us from the ancient lanes in the holy city of Najaf to the White House Situation Room and the Pentagon E-Ring,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Paul Bremer
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

At the Interactive Systems Laboratories, our efforts have centered on human communications and on how computer systems can mediate or facilitate human communication. We have recently launched the 'international Center for Advanced Communication Technologies' or 'interACT'. It's educational mission is to facilitate exchanges and opportunities for students to do scientific work in international teams, while carrying out research on advanced communication technologies that facilitate and improve...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alex Waibel
Microsoft Research Audio
audio

eye 14

favorite 0

comment 0

Diverse control and measurement applications, such as mobile phone testing, process optimization, and distributed sonic arrays all require precise timing and synchronization. Designers of such systems need to understand the tradeoffs between the available timing technologies before choosing the right technology. When it comes to writing the software for the system it is often the case that the programming languages and tools either treat time as a second class citizen or worse - ignore time all...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Barnett, Jacob Kornerup
Can the Internet help to heal a nation? Can a cybercafé change the economics of a rural village? Why do most rural internet projects in Africa and Asia seem to fail? My research focuses on information and communication technologies for social, economic, and political development. In particular I study mobile and internet-enabled services and their design, impact, and importance within low-income countries of Africa and Asia. In this talk I will overview two on-going projects: In Liberia we...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kentaro Toyama, Michael L. Best
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The Internet has seen a tremendous growth since its inception four decades ago. With its increasing importance, there has been a growing emphasis on improving the reliability of the infrastructure. One approach to delivering such reliability is for design engineers, network administrators and researchers to stress test potential solutions against a wide variety of deployment scenarios. For instance, web hosting services would wish to ensure that they can deliver target levels of performance and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Dunagan, Kashi V. Vishwanath
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Internet distance prediction provides proximity information without extensive network probings. Recent studies have revealed that the quality of existing prediction mechanisms is short of being satisfactory from the application's perspective. In this talk, we first study the impact of uneven prediction accuracy across different distance ranges and propose two new metrics that highlight the interference between predicting short and long links. We further investigate how to improve the distance...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Rongmei Zhang
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

Knowledge is power: but most knowledge is tied up in text. How then do one billion illiterate adults in the world access knowledge crucial to preventing disease, creating economic opportunity, and defending their political and human rights? In response to this problem Literacy Bridge was founded to empower children and adults with tools for scalable knowledge sharing and literacy learning. The Talking Book Project is Literacy Bridge’s major program, developing new and affordable digital audio...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Cliff Schmidt
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Andre Santos
Standing at the crossroads of the ActiveCampus Project and the Campus of the Future Project, it is appropriate to pause and consider what we've learned, and what that foretells. I will argue that a new feature of developing everyday software is 'failure as a normal mode of operation', and that this implies a need for advances in both software development techniques and application design methods. Key lessons will be drawn from several of the projects that I've conducted over the last five...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, William Griswold
Consider the problem of visually finding an object in a mostly unknown space witha mobile robot. It is clear that all possible views and images cannot be examinedin a practical system. Visual attention is a complex phenomenon; we view it asa mechanism that optimizes the search processes inherent in vision. Here, we describea particular example of a practical robotic vision system that employs someof these attentive processes. We cast this as an optimization problem, i.e., optimizingthe...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, John K. Tsotsos
Learning experiences of the future will be multi-sensory, engage technologies and significant computational power continuously and invisibly, and will be completely engaging. The Zecosystem will offer cyber-services that incorporate science, technology, engineering, and mathematics concepts into the students’ everyday experiences seamlessly. Through this project, we expect to transform common day-to-day student activities such as gaming, eating at the cafeteria, or visiting the library into...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Krishna P.C. Madhavan
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Text is generally associated with all kinds of contextual information. Contextual information can be explicit, such as the time and the location where a blog article is written, and the author(s) of a biomedical publication, or implicit, such as the positive or negative sentiment that an author had when he/she wrote a product review; there may also be complex context such as the social network of the authors. Many applications require analysis of patterns of topics over different contexts. For...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Li-wei He, Qiaozhu Mei
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Michael Gamon, William Lewis, Manuela...
Microsoft Research Audio
audio

eye 7

favorite 0

comment 0

Many real-world applications such as gene expression clustering and collaborative filtering can be modeled by matrix factorization. A common challenge for applying matrix factorization is determining the dimensionality of the latent matrices from data. Indian Buffet processes enable us to apply the nonparametric Bayesian machinery to address this challenge. Given data, however, learning nonparametric Bayesian matrix factorization models remains a difficult task. Based on equivalent classes on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dengyong Zhou, Alan Qi
Microsoft Research Audio
by Microsoft Research
audio

eye 3

favorite 0

comment 0

The ultimate display will not show images. To drive the display of the future, we must abandon our traditional concepts of pixels, and of images as grids of coherent pixels, and of imagery as a sequence of images. So what is this ultimate display? One thing is obvious: the display of the future will have incredibly high resolution. A typical monitor today has 100 dpi—-far below a satisfactory printer. Several technologies offer the prospect of much higher resolutions; even today you can buy a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Sinclair, Benjamin Watson, David...
The factors that harm the speech recognition results for un-tethered users are the ambient noise and the reverberation. While we have pretty sophisticated noise suppression algorithms, the de-reverberation is still an unsolved problem due to the difficulties in estimation and keeping track of the changes in the room response model. Sound capturing with microphone arrays provides partial de-reverberation and ambient noise reduction due to the better directivity. This improves the speech...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ivan Tashev, Daniel J. Allred
Program instructions uniquely identified by their program counters (PCs) provide a convenient and accurate means of recording the context of program execution and instruction-based prediction techniques have been widely used for performance optimizations at the architectural level. Operating systems, on the other hand, have not fully explored the benefits of instruction-based prediction for resource management. This research explores the potential benefits provided by instruction-based...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jeremy Elson, Chris Gniady
Microsoft Research Audio
by Microsoft Research
audio

eye 7

favorite 0

comment 0

Diffusion Limited Aggregation (DLA) is a notoriously difficult model for crystal growth introduced in 1981 by Sander and Witten. We consider a variation on DLA in 1 dimension generated by a random walk with large jumps. The growth rate of the diameter of the N particle aggregate depends on the tail of the step distribution, and exhibits three phase transitions when the walk steps have 1, 2 or 3 finite moments. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Oded Schramm, Omer Angel
I will present an algorithm which computes Hilbert modular forms on real quadratic fields. The computations exploit the Jacquet-Langlands correspondence to switch to definite quaternions algebras and are intimately related to the computations of the class numbers of the latter. We will illustrate our discussion with several examples. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Lassina Dembele
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, Dale Hunscher
In this talk we discuss the use of logic for reachability analysis for infinite-state systems. Infinite-state systems are formalised using transition systems over a first-order structure. We establish a common ground relating a large class of algorithms by analysing the connections between the symbolic representation of transition systems and formulas used in various reachability algorithms. We consider in detail the so-called guarded assignment systems and local reachability algorithms. We...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Andrei Voronkov
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Most models for online advertising assume that each ad has an inherent clickthrough-rate/conversion-rate, regardless of other ads served in the same session. This ignores an important externality effect: as the advertising audience has a limited attention span, a high-quality ad on a page can detract attention from other ads on the same page. In this talk, we will describe two models for online advertising that take this effect into account, and discuss the computational complexity of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kamal Jain, Mohammad Mahdian
Most thinking about money assumes your financial life is separate from the rest of your life, but it is time to put those things back together. We need to account for earning, spending, debt and savings, but also count the time these functions take in your life. A positive relationship with money is reflected in the sense of satisfaction and fulfillment you get from your work, and how it connects you with family, community and planet. Regardless of whether you are in debt or whether you have...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Vicki Robin
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Things fall down, not up. Weddings have a bride and a groom (sometimes). If people yell at you, they're probably angry. One of the reasons that computers seem dumber than humans is that they don't have common sense – a myriad of simple facts about everyday life and the ability to make use of that knowledge easily when appropriate. A long-standing dream of artificial intelligence has been to put that kind of knowledge into computers, but it has proven slow and difficult. But considerable...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Henry Lieberman, Alex...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, Drew Steedly, Willie...
A fascinating exploration of the relationship between music and the mind—and the role of melodies in shaping our lives Whether you load your iPod with Bach or Bono, music has a significant role in your life—even if you never realized it. Why does music evoke such powerful moods? The answers are at last becoming clear, thanks to revolutionary neuroscience and the emerging field of evolutionary psychology. Levitin unravels a host of mysteries that affect everything from pop culture to our...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Tamara Pesik, Daniel...
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, LeenKiat Soh
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Someday soon, a ninth-grade biology class, the EPA, and a police department may each seek information from the sensors in a single instrumented city park. How can the police department collect acoustics and other high-rate signals from the distributed sensor network, given the low-bandwidth radios these networks use? How will the biology class and police department be able to request different information from the network at the same time? How might the network combine separate user tasks to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Benjamin Greenstein
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

The ASTREE analyzer is an abstract interpretation-based static analyzer tailored to prove the absence of run time errors (division by 0, out of bounds, overflow, null pointer dereference, ...) in critical embedded synchronous software as found in earth transportation, nuclear energy, medical instrumentation and aerospace applications. Its design started in November 2001 at the Laboratoire d'Informatique of the Ecole Normale Superieure (LIENS). The ASTREE analyzer was able to prove fully...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Francesco Logozzo, Jerome Feret
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Research in summarization has been handicapped by a lack of agreement on how to generate a standard summary (which can serve as a reference in the evaluation of alternative approaches). Part of the problem rests in disagreement between different humans on what constitutes a single good summary. We propose an alternate approach that dispenses with the need for a global reference and instead focuses on the ability of a summarizer to rapidly learn how an individual human summarizes material....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alexander Rudnicky
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Key words: Statistical Natural Language Processing, Machine Learning, Text Mining, and Semantic Integration Most information in the world exists in the format of text, such as news articles and web pages. Different lines of research have been conducted to allow a computer system to pinpoint knowledge from text with different precision, including information retrieval, information, and question answering. The goal of these tasks is to discover, understand and access knowledge about real-world...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Brill, Xin Li
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Liz Lawley, Group discussion
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

I will discuss the problem of cutting the (discrete or continuous) d-dimensional torus economically, so that no nontrivial cycle remains. This improves, simplifies and/or unifies results of Bollobas, Kindler, Leader and O'Donnell, of Raz and of Kindler, O'Donnell, Rao and Wigderson. More formal, detailed abstract(s) appear in http://www.math.tau.ac.il/~nogaa/PDFS/torus3.pdf and in http://www.math.tau.ac.il/~nogaa/PDFS/torusone1.pdf. Joint work with Bo'az Klartag. ©2009 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eyal Lubetzky, Noga Alon
Start with n particles at each of k points in the integer lattice Z d , and let each particle perform simple random walk until it reaches an unoccupied site. The law of the resulting random set of occupied sites does not depend on the order in which the walks are performed. We prove that if the distances between the starting points are scaled by n 1/d , the set of occupied sites has a deterministic scaling limit. In two dimensions, the boundary of the limiting shape is an algebraic curve of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Lionel Levine
Microsoft Research Audio
by Microsoft Research
audio

eye 1

favorite 0

comment 0

Systems code is prone to termination errors. Inferring preconditions excluding such errors is both tedious and hard.This is true in particular for heap manipulating functions.Both, a precondition and the invariants used to prove termination must express what heap locations or regions can be aliased, inter-reachable, separated or shared. Shape analysis to compute such heap assertions is notoriously expensive. Our new termination analysis with precondition inference calls shape analysis on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Andreas Podelski
Computer systems design is based on many commonly-held beliefs and heuristics, many of which have never been challenged: Thousands of server farm 'load balancing' policies do exactly that: they aim to balance the load among the servers. But is load balancing necessarily a good thing? Consider a choice between a single machine with speed s, and n identical machines with speed s/n. Which would you choose? Are you always right? Scheduling policies which favor 'short' jobs, like...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes & Ken Church, Mor...
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

A large percentage of recent security problems, such as Cross-site Scripting or SQL injection, is caused by string-based code injection vulnerabilities. Most of these vulnerabilities exist because of implicit code creation through string serialization. Based on an analysis of the vulnerability class’ underlying mechanisms, we propose a general approach to out?t modern programming languages with mandatory means for explicit and secure code generation which provide strict separation between...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Martin Johns
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kimberly Walters, Clay Shirky
Market-based electronic systems are becoming increasingly pervasive. When we design new markets, we often use economic theory to guide our design decisions. However, existing economics research has neglected the importance of the user interfaces via which individuals interact with markets. Different user interfaces induce different (psychological) user models which in turn determine how users understand and interact with a market. In networked systems, small changes to the UI can have huge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski and Kamal Jain, Sven...
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

As software and systems become increasingly complex, the task of debugging also becomes increasingly difficult. Manual diagnosis can require sifting through millions of lines of code and output logs. In addition, large systems contain many components, each complex on its own, and often interacting in unexpected ways. I present a case study illustrating how statistical machine learning algorithms, along with appropriate system instrumentation, can aid in failure diagnosis. I propose a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Platt, Alice Zheng
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Shang-Hua Teng
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Distributed Hash Tables (DHTs) are useful tools for building large scale distributed systems. DHTs provide a hash-table-like interface to map a key to its responsible node among the current set of participating nodes. Many techniques have been developed to reduce DHT lookup latency: proximity routing, parallel lookups, complete routing state, aggressive routing table stabilization and others. While all techniques reduce latency, none is free and they all use bandwidth. Evaluations based solely...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jitu Padhye, Jinyang Li
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

We study the structure of minimal-weight paths in the configuration model with i.i.d. degrees with a fixed degree distribution. Here, each edge receives an independent exponential weight, leading to double randomness in the form of a stochastic process on a random graph.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Remco van der Hofstad
Does place matter for digital information? If so, how? Research points to the importance of 'place-like' senses of direction, context, connection and control when managing digital information. Support for place in the Personal Project Planner prototype begins with the idea that relevant information can be located with reference to a simple planning document. This document works as a light-weight, editable overlay to existing applications and the stores of information managed by these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, William Jones
Microsoft Research Audio
audio

eye 11

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gino Sorcinelli
The field of computer forensics seeks to help investigators reconstruct what happened during a computer intrusion. Did an attacker break in, and if so, how? What havoc did the attacker wreak after breaking in? Tools that help investigators answer these types of questions are still quite primitive and are often hindered by incomplete or incorrect information. Virtual machines can enable more-powerful forensic analysis through techniques such as replaying a computer's instruction stream and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Peter Chen
Web applications enable much of today's online business including banking,shopping, university admissions, and various governmental activities.Anyone with a web browser can access them, and the data they managetypically has significant value both to the users and to the serviceproviders. Cross-site scripting (XSS) and SQL injection are classes ofattacks in which an attacker interacts with a client or database,respectively, through vulnerabilities in the server thereby gaining thetrust level of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilmbi, Gary Wassermann
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

As modern computer systems grow in both size and complexity, so has the need for automatic analysis and computer-aided administration of these systems. With recent booms in computing power and efficient algorithms, statistical machine learning methods have become increasingly practical for dealing with the deluge of data generated by these systems. In this talk, I present statistical diagnostic platforms for several large-scale systems, focusing on the problem of selecting fault-related...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Alice Zheng
My research focuses on the problems of reconstruction and visualization of three-dimensional objects from images or video streams. I envision the an end-to-end light portal that can capture and 're-enact' real-world objects or events in a different time or space, as if they were being 'tele-ported' right in front of the viewers. While a full realization of such a light-portal is many years away, I will present some progresses we have made during the last few years. More specifically, I will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Ruigang Yang
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

In the framework of model based multidimensional signal processing this lecture deals with a derivation of new parametric models. In the first part we will provide with the limitations of the AR models in the case of signals with periodicities and propose the so called sine-AR models exercised in various real signals [1].In the second part we provide the limitations of the AR models in the 2-D case, an extension of the Schur-Cohn stability test to the 2-D case [7][8][9] and propose new models...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Mohamed Najim