Videos

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 8

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 8

1 year ago
1:15pm – 2:45 – Language Generation from Code Dawn Lawrie Graham Neubig
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 5

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 5

1 year ago
2:30 – 4:00 Earl Barr: Inference Problems in Software Engineering Daniel Tarlow: TBA (Chairs: Charles Sutton, Tien Nguyen)
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 3

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 3

1 year ago
9:00am – 9:30am Opening Session and Introduction 9:30am – 10:15am Software tools and processes
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 2

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 2

1 year ago
3:00 pm – 4:30p – Tutorial session: Software Mining and Software Datasets, Tao Xie
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 6

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 6

1 year ago
4:15pm – 5:00pm Ontologies and Understanding of Software Semantics Jane Cleland-Huang: Leveraging Software Project Knowledge to Build Ontology (Chairs: Dana Movshovitz-Attias, Tao Xie)
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 1

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 1

1 year ago
1:00 pm – 2:30p – Tutorial session: n-gram and Neural Network Language Modeling, Ashish Vaswani
NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 4

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering – Session 4

1 year ago
11:15am – 12:00pm Software datasets
Studio99 Presents: The 2015 Stranger Genius Nominees Show and Discuss Their Work

Studio99 Presents: The 2015 Stranger Genius Nominees Show and Discuss Their Work

1 year ago
Join us Monday, November 2nd for studio99’s Artist Lecture Series! This year, Microsoft Research, though the studio99 program, funded the Stranger Genius Award for Visual Art. We’re pleased to welcome to Building 99 Mary Ann Peters, the winner of this year’s award, along with Dawn Cerny and Klara Glosova, the two runners-up, to give a […]
Towards Understandable Neural Networks for High Level AI Tasks

Towards Understandable Neural Networks for High Level AI Tasks

1 year ago
Current AI software relies increasingly on neural networks (NNs). The universal data structure of NNs is the numerical vector of activity levels of model neurons, typically with activity distributed widely over many neurons. Can NNs in principle achieve human-like performance in higher cognitive domains – such as inference, planning, grammar – where theories in AI, […]
Rethinking Storage and Networking in Next Generation Racks

Rethinking Storage and Networking in Next Generation Racks

1 year ago
A standard data center rack today is composed of shared-nothing commodity servers. Recent data center hardware trends suggest a shift in the rack design, enabling high density — rack-scale computers – optimized and managed at rack-scale and targeted at data center workloads. In this talk, I will describe two projects that illustrate the potential and […]
Synthetic Biology: New Tools for an Industry at an Inflection Point

Synthetic Biology: New Tools for an Industry at an Inflection Point

1 year ago
Since the popularization of the term ‘synthetic biology’ over a decade ago, a new community of biological engineers has emerged on to the scene. Thousands of practitioners, students, and entrepreneurs have joined the movement to “make biology easier to engineer” and as a result, both the field and the industry has developed at a rapid […]
Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable

Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable

1 year ago
We study the satisfiability of ordering constraint satisfaction problems (CSPs) above average. We prove the conjecture of Gutin, van Iersel, Mnich, and Yeo that the satisfiability above average of ordering CSPs of arity k is fixed-parameter tractable for every k. Previously, this was only known for k = 2 and k = 3. We also […]