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
eye
Title
Date Added
Creator
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 3

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

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

eye 0

favorite 0

comment 0

In this talk, we will provide a brief overview of the research that we have conducted in the area of digital rights management (DRM) systems. This will include a discussion of DRM architectures, along with a consideration of how particular features and design decisions affect interoperability. Next we will consider DRM in a setting that …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Due to the high degree of control and performance that it affords, programmers use the C language for writing low-level systems software. That it is difficult to write programs in C is not a problem in and of itself; modern languages deal with its safety issues through carefully designed language features, programming interfaces, and runtime …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Dennis Gannon – Welcome and Workshop Kickoff Ed Lazowska – The University of Washington eScience Institute
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Towards Predictable Cloud Computing – Andreas Polze, Hasso-Plattner-Institute The Cloud for University City Campus – Danilo Montesi, University of Bologna Cloud Computing Projects in Engineering – Harold Castro, Universidad de los Andes
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Interactive and Fault-tolerant Data Analytics in the Cloud – Magdalena Balazinska, University of Washington Cloud Computing for Chemical Property Prediction – Paul Watson, Newcastle University Geoinformatics Workflows: Making Cloud Computing an Indispensible Asset – Beth Plale, Indiana University
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

Amazon Web Services (AWS) – Deepak Singh, Amazon
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

General session keynote – Dan Reed, Microsoft Research
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Google App Engine – Christian Schalk, Google
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 2

favorite 0

comment 0

Azure for Research – Roger Barga and Jared Jackson, Microsoft Research
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

General session keynote – Dan Reed, Microsoft Research
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 2

favorite 0

comment 0

Microsoft Codename “Dallas” – Moe Khosravy, Microsoft
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Panel on Applications for the Cloud
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Cloud Computing Support for Massively Social Gaming – Alexandru Iosup, Delft University of Technology CloudStudio: Collaborative, Cloud-Based Software Development – Bertrand Meyer, ETH Zurich Cloud TV – Karin Breitman, PUC-Rio
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 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
Aug 19, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

Wrap up
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Today, software is ubiquitous—it is deployed on virtually all electronic devices, small and large, including those that are life- and safety-critical. The need for robust, certifiably correct software requires us to develop the theory and tools for mechanically reasoning about, and also automatically generating, programs. In this talk, I will present the theory and practice …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

The natural language processing (NLP) applications which ultimately affect people’s daily lives are high level, semantically-oriented ones: question answering, machine translation, machine reading, speech interfaces for robots and machines, and others that we haven’t even thought of yet. Humans are very good at these types of tasks, in part because they naturally employ holistic language …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

This talk describes some of the ongoing work in the Computer Aided Programming group at MIT. The goal of our research group is to develop programming aids that achieve a synergy between the programmer and the machine, allowing programmers to apply their insight and creativity, but relieving them from the more mundane aspects of programming. …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes software development even more complex (e.g. Heisenbugs). In this talk, I’ll present my research towards improving the reliability of concurrent programs by building a scalable tool for precise and automated static analysis of concurrent …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 19, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Gianna Reggio – A Problem Frame-based approach to cope with predictable and unpredictable changes: the case of the hybrid translation Janos Sztipanovits – Software Verification for Cyber Physical Systems: Is it Easier or Harder?
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

10:30-11:15 Software Certification: The Case Against Safety-Cases Alan Wassyng, Mark Lawford and Tom Maibaum 11:15-12:00 How to Certify Software Architectures for Reliable Reconfiguration Valdis Berzins
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

In this talk I will cover some of my dissertation research that is devoted to the study of textual user-generated content on social media platforms. My work investigates the role of contextual information in discovering various types of semantic and experiential metadata from informal user-generated content toward the end goals of adding structure to unstructured …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Discounted cumulative gain (DCG) is now widely used for measuring the performance of ranking functions especially in the context of Web search. It is therefore natural to learn a ranking function that directly optimizes DCG. However, DCG is non-smooth, rendering efficient gradient-based optimization algorithms inapplicable. To remedy this, smoothed versions of DCG have been proposed …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

There is almost a never-ending quest to push the capacity limit for wireless networks to support growing applications. Our approach to increasing the network capacity is to promote concurrent transmissions, from a single transmitter to two or more receivers. This involves applying information theoretic techniques, while taking into account dynamic traffic conditions and low level …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Ever-increasing amounts of text are produced by end-users or collected from multiple sources. Since such data typically has many errors and lacks standardized representation, similarity query processing has recently drawn significant interests; it has a wide range of applications including query refinement for web search, near duplicate document detection and elimination. In this talk, we …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
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 …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

In this talk, I present Lahar, a warehousing system for a general class of imprecise, sequential data called Markovian streams. These imprecise streams are commonly used to model location sequences inferred from noisy sensors such as RFID/GPS, text inferred from spoken audio, etc. In the context of Lahar, I introduce algorithms for supporting sophisticated analytics …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The idea that TCP shares out Internet capacity fairly is a dangerous myth. The same applies to fair queuing. The danger? While we continue to pretend that wildy unfair solutions are fair enough, Internet service providers increasingly override them with kludges like deep packet inspection. Then the Internet gradually snarls up with bizarre feature interactions. …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Post the 9/11 attacks the National Security Administration (NSA) acquired a research project called Total Information Awareness that uses advanced data-mining techniques to collect mountains of data—and unfortunately traps countless innocent citizens in its “electronic nets”. After the NSA’s warrantless surveillance was exposed in 2005, Congress passed largely cosmetic reforms that left the program intact, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Presentation Session 3 – Runtime Reconfiguration 9:15-10:00 Towards IT systems capable of managing their health Jose Fortes and Selvi Kadirvel
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Emerging trends in computation such as cloud computing, virtualization, and trusted computing require that computation be carried out in remote and hostile environments, where attackers have unprecedented access to the devices, the data and the programs. This poses new problems and challenges for cryptography. In this talk, I will present two such challenges, and my …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

The Internet is no longer the cooperative, technological playground it once was. Successful networked systems must account for potentially competing interests. In this talk, I will present two systems that together demonstrate that economic theory, and in particular auctions, can be a powerful means of analyzing and improving incentives for self-interested users to cooperate. First, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

10:00 – 10:45 David Molnar, Microsoft Research Some vulnerabilities in current systems 10:45 – 11:15 Paul Miller, Washington State Voting Systems Manager Issues and research directions from the public sector
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

I will present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing by humans. The system was designed specifically to enable verification and testing. In our architecture, the voting machine is a finite-state transducer that implements the bare essentials required for …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

11:30 – 12:30 Ben Adida, Harvard Medical School Introduction to verifiable election technologies
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

1:00 – 1:30 Ron Rivest, MIT Scantegrity: overview and open problems
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

1:45 – 2:15 Josh Benaloh, Microsoft Research Verified Optical Scan: overview and open probelms
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

2:30 – 3:00 Ben Adida, Harvard Medical School Helios: overview and open problems
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

3:15 – 3:45 TBA Pret-a-Voter: overview and open probelms
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

When systems rely on a “human in the loop” to carry out a security-critical function, cyber trust indicators are often employed to communicate when and how to perform that function. Cyber trust indicators typically serve as warnings or status indicators that communicate information, remind users of information previously communicated, and influence user behavior. They include …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Much recent research has been devoted to learning algorithms for deep architectures such as Deep Belief Networks and stacks of auto-encoder variants, with impressive results obtained in several areas, mostly on vision and language data sets. The best results obtained on supervised learning tasks involve an unsupervised learning component, usually in an unsupervised pre-training phase. …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

The use of a virtual machine language, instead of machine code, is by now a well-established and successful technique for porting programs across different hardware platforms, without incurring into the difficulties and draw-backs of software distribution, when done at source-language level. In addition, interoperability between different source languages is made possible by their translation into …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Random walks are a fundamental tool used widely across several areas of computer science – theory, web algorithms, distributed networks, as well as mathematics and statistical physics. On the web and in distributed graphs, random walks are used for several algorithmic applications such as sampling, ranking, mining similarity, estimating connectivity, and graph partitioning. In the …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Information retrieval and access have become central technologies for managing and leveraging the ongoing explosion of digital content. While effective, current techniques for designing retrieval models are limited by two issues. First, they have restricted representational power, and generally deal with simple settings that estimate the quality of individual results independently of other results. Second, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Research into Example Based Speech Recognition got revived over the past decade. Example based recognition is appealing for a number of reasons: there is considerable evidence from the linguistic literature that humans store actual traces of at least some sentences or phrases. Moreover, after 40 years of refining the HMM framework, we are still stuck …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

In recent times, cloud computing services, such as Amazon EC2, and Microsoft Azure have become very popular. These services provide customers with virtual machines (VMs) running on the service provider’s hardware, managed by a hypervisor (e.g. Xen, Hyper-V). We have discovered a flaw in the Xen scheduling algorithm which allows VMs to cheat – to …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
The key to creating scalable, robust natural language processing (NLP) systems is to exploit correspondences between known and unknown linguistic structure. Natural language processing has experienced tremendous success over the past two decades, but our most successful systems are still limited to the domains and languages where we have large amounts of hand-annotated data. Unfortunately, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

This talk will cover our work exploring the role of software in modulating the flow of electric power within Internet systems, to reduce operating costs and environmental impact. Large Internet services are implemented using hundreds of thousands of servers, consuming enough electricity to power thousands of homes. Unsurprisingly, there is a desire to reduce both …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Improvements in modern healthcare have allowed many formerly fatal conditions to become survivable but chronic. At the same time, new technologies enable the movement of care away from clinics and into homes and schools. In this talk, I will use my research in technologies for chronic care across in two domains, autism and premature infancy, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

The undead rise again in Bite Me, the third book in Christopher Moore’s wonderfully twisted vampire saga. Abigail Von Norma, nonperky, mysterious teen queen of San Francisco’s night scene and backup mistress of Tommy is back to lead you through the rest of the night adventures, featuring Tommy, Jody, the Vampire Flood, Chet the Enormous …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Two important performance metrics in collaborative systems are local and remote response times. It is possible to meet response time requirements better than existing systems through a new system without requiring hardware, network, or user-interface changes. This self-optimizing system improves response times by automatically making runtime adjustments to three aspects of a collaborative application. One …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
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
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

An important challenge in machine learning is how to efficiently learn from massive training data sets, especially with limited storage and computing capability. In this talk we introduce an efficient learning method called “compressed classification”, which aims to compress observations into a small number of pseudo-examples before classification. By analyzing the convergence rate of the …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
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
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering. It considres applications of model based testing to Linux Standard Base, Linux driver verification, test development for mathematical libraries, some works in compiler testing.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Myerson has argued that the Nash equilibrium lies at the foundations of modern economic thought, and yet the dark computational side of the concept keeps getting gloomier. We show that playing games under considerations of risk, disambiguating games via equilibrium selection a`-la Harsanyi-Selten, and computing equilibria by the homotopy method, are all rife with very …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

We consider the problem of optimal pricing of a common-value product in the presence of social learning effects. A new product reaches the market and agents obtain private signals that partially inform them about the value of this product. Agents decide sequentially whether to purchase this product. Before making their own decisions, they also observe …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

As software continues to grow in size and complexity, so do development teams. Consequently, coordination and communication within these teams play larger roles in productivity and software quality. My research focuses on the relationships between developers in large software projects and how software affects and is affected by these relationships. Fortunately, source code repository histories, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions. We study how the interplay between positive and negative relationships affects the structure of on-line social networks, whereas in contrast the bulk of research on social networks to date has focused almost exclusively on positive interpretations of …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

How does one build an empire on pictures of cats with silly, misspelled captions? As most fans of the internet know, the Cheezburger Network, which consists of over 30 popular humor sites such as I Can Has Cheesburger, FAIL blog, There I Fixed It, ad Emails from Crazy People has become an internet phenomenon. Its …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

Over the past few years, there has been a quiet revolution in display manufacturing technology. One that is only comparable in scope to that of the invention of the first LCD, one that directly resulted in Kay’s DynaBook and the modern laptop. The e-ink electro-chemical pixel, combined with advances in organic thin-film circuit boards have …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
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
audio

eye 0

favorite 0

comment 0

A substantial amount of work today is accomplished through collaborative activities, which may be open-ended and opportunistic or structured and well defined, with participants with similar skills and knowledge or from different disciplines. Our group has been investigating, and developing tools to support, several different scenarios of collaborative work. On one end of the spectrum, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

9:15-10:00 Welcome + Intro Comments by Lisa Green, Lee Dirks, Stuart Tansley and Kristin Tolle. 10:00-10:30 Cameron Neylon 10:30 – 11:00 Jean-Claude Bradley
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 0

favorite 0

comment 0

11:30- 12:00 Antony Williams 12:00-12:45 Peter Murray-Rust + Chem4Word launch
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
Aug 18, 2019 Microsoft Research
audio

eye 1

favorite 0

comment 0

2:00-2:30 Heather Williams 2:30-3:00 Stephen Friend
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive