BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Seminars : Programming Languages and Tools Research @ Microsoft
DTSTART:20120518T100000
DTSTAMP:20260407T034009Z
UID:ce4fbcdc2378a1f1d226c00642e215fbdb6c6fb042ff0a5eaa1bfb22
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr. Sriram Rajamani\, Microsoft Research India – Hosted by P
 rof. Viktor Kuncak\nAbstract\nWe present an overview of Programming Langua
 ges and Tools Research at Microsoft Research India. Our research group is 
 interested in\nverification\, program analysis\, empirical/statistical tec
 hniques\, machine learning and distributed systems. After an overview\, we
  will focus on two topics:\n\n1.Interplay between program analysis and mac
 hine learning: Every program analysis/verification tool needs annotations.
  We should how annotations can be inferred using techniques from machine l
 earning\, particularly Bayesian inference. We show how programmer intuitio
 ns can be represented as probabilistic constraints and solved to yield lik
 ely annotations\, which can then be checked using a sound verification too
 l. Going the other way\, we also show how to improve the efficiency of pro
 babilistic inference itself using iterative refinement techniques.\n\n2.Pr
 ogramming models for large scale distributed systems: We have been working
  on programming abstractions for distributed systems\, which hides the com
 plexities of partitioning\, replication\, and failures\, while providing s
 imple declarative abstractions to the programmer. In particular\, we prese
 nt the language CScale\, its semantics\, its runtime\, and sample applicat
 ions we have been able to build with it.\n\nBiography\nSriram Rajamani is 
 Assistant Managing Director of Microsoft Research India. He got his PhD fr
 om UC Berkeley\, and worked for 6 years in Microsoft Research Redmond befo
 re moving to Microsoft Research India in 2005. His research interests are 
 in program analysis\, programming languages and software engineering.\n\n>
 > More information 
LOCATION:INR 219 http://plan.epfl.ch/?room=INR219
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR