Zaharia’s research was recognized through the 2014 ACM Doctoral Dissertation Award, the VMware Systems Research Award, and an NSF CAREER award. Faculty Summit 2014 Many of Swamy’s current projects connect to F*, a programming language and verification tool for higher-order, effectful programs. Gordon’s research has focused on artificially intelligent systems that are capable of long-term thinking, such as reasoning ahead to solve a problem, planning a sequence of actions, or inferring unseen properties from observations. Hoefler won best paper awards at the ACM/IEEE Supercomputing Conference SC10, SC13, SC14, EuroMPI ’13, HPDC ’15, HPDC ’16, IPDPS ’15, and other conferences. solving games like Ms. Pacman, Go, Poker or learn self-driving policies for autonomous cars, drones, etc). Executive Orders 1100 (revised) and 1110: What’s happened and where things stand . Presenters: Hitesh Ballani, Paolo Costa, Mark Filer, Jamie Gaudette, Christos Gkantsidis, Thomas Karagiannis, Kai Shi, Benn Thomsen. Christopher Ertl is a security engineer at the Microsoft Security Response Center (MSRC) in the UK. Specifically, we want to explore challenges in developing systems which are self-tunable, resource-aware and use machine learning to dynamically optimize a running system to achieve desired latency, throughput, and other system-dependent utility functions. Duke University and Akamai Technologies. These reviews provide an unparalleled opportunity to secure the expert advice of leaders in the field concerning academic and administrative issues, assess performance against leading international programs, and secure guidance on key strategic directions. He has published numerous peer-reviewed scientific conference and journal articles, and authored chapters of the MPI-2.2 and MPI-3.0 standards. His current broader research interests are in computer architecture, systems, and bioinformatics. His prior work demonstrated that co-designing network primitives with distributed systems design makes it possible to achieve strong guarantees for replicated systems and databases without the performance overhead. Sen received the first Google Fellowship in Fault-Tolerant Computing in 2009, the best student paper award at PODC 2012, and the best paper award at ASPLOS 2017. He uses these techniques to build provably correct and secure programs, including web applications, web browsers, crypto protocol implementations, and low-level systems code. His research has shipped as part of multiple Microsoft products. He has published more than 38 journal articles and his work has appeared in 60 conference proceedings. His research interests include systems, security, and privacy, in the context of cloud computing and datacenters. He obtained his PhD and MS in ECE from the University of Texas at Austin, and BS degrees in computer engineering and psychology from the University of Michigan, Ann Arbor. He is a Fellow of the ACM and the IEEE. Adam Chlipala A reliable, performant, and low-cost network is a critical part of the cloud infrastructure. Prior to joining Office, she was a principal program manager on the Microsoft Experimentation team where she helped guide and develop the Experimentation services that run hundreds of experiments every day across a variety of products. Sandy Blyth is the global managing director of Microsoft Research’s Outreach. She also represented TI in the JCT-VC committee during the development of High Efficiency Video Coding (HEVC), which received a Primetime Emmy Engineering Award. Presenters: Galen Hunt, Danielle Damasius. This year’s summit will highlight how Systems are the infrastructure Fueling Future Disruptions by delivering an engaging program exploring not only the importance of systems and systems research but their fundamental role in fueling the future disruptions that are now becoming evident through artificial intelligence. He is currently a professor in the department of ECE at UC Santa Barbara, Director of the Terabit Optical Ethernet Center, and he heads the Optical Communications and Photonics Integration group. Our research aims to re-invent the next-generation network via emerging optical technologies. Onur Mutlu is a professor of computer science at ETH Zürich. Faculty Summit 2013 He has been named a Neyman Visiting Assistant Professor and a Medallion Lecturer by the Institute of Mathematical Statistics. His research has been featured prominently in the media, including New York Times, Popular Science, MIT Technology Review, Wall Street Journal, among others. Things were moving quickly and a lot was happening behind the scenes. He has worked on untrusted storage systems, verifiable outsourced computation based on probabilistic and zero-knowledge proofs, unobservable communication, and media streaming, and formally verified distributed systems and security-critical cryptographic code. During his career, he has worked on distributed systems, networked systems, and most recently, storage systems. Faculty Summit 2009. Hardware innovations in isolation, however, are not sufficient–they enable yet also require new architectures for the network and for applications. Our poster will highlight our vision for intelligent and efficient cloud platforms, describe potential approaches for integrating ML, and provide an overview of RC and its initial results. Ku spearheaded the development of Yahoo!’s display and search advertising platforms and was in the core team driving the build-out and acquisition of Web search and advertising capabilities across Yahoo!. How do we push for more performance at lower storage costs? He received a Sloan Research Fellowship in 2018 and the ACM SIGMOD Jim Gray Doctoral Dissertation award in 2014. Rafael Gomez-Bombarelli will join the faculty in the Department of Materials Science and Engineering as an assistant professor in January 2018. Ant Rowstron is deputy lab director at Microsoft Research in Cambridge. During his PhD at UC Berkeley, Zaharia started the Spark computing engine, which became Apache Spark, and co-started the Apache Mesos cluster manager, as well as other open source software for large-scale data analytics, genomics, and machine learning. He received his BEE from Delhi College of Engineering, and prior to joining Microsoft, was a researcher at the Carnegie Mellon University Field Robotics Center. His research interests include artificial intelligence, statistical machine learning, educational data, game theory, multi-robot systems, and planning in probabilistic, adversarial, and general-sum domains. Blockchains are an emerging technology that promises to transform contracts and transactions between mutually untrusted entities. She co-authored the book “Developing Solutions with Microsoft Infopath” and holds patents in service engineering. To achieve this goal, we take a broad view of training: from a single GPU, to multiple GPUs on a machine, all the way to multiple machines in a cluster. She is a co-editor of the book High Efficiency Video Coding (HEVC): Algorithms and Architectures. Developing and testing real-world AI is an expensive and time-consuming process. Making significant progress in this area requires multiple disciplines coming together, namely: machine learning, decision-making, distributed systems, and optimization. She co-chaired KDD Cup 2013 and partners with many academic and government agencies, including NSF-supported Big Data Innovation Hub consortia. Data is collected at the edge using billions of small devices. Technische Universität Darmstadt. He was chair of ACM SIGMOD from 2013 to 2017 and served on the Board of Trustees of the VLDB Endowment from 2005 to 2011. We have already used this approach to achieve order-of-magnitude speedups for replicated services and transaction coordination. Dan has project experience working with Internet of Things, Cloud Computing, High Performance Computing, Grid Computing, collaboration and visualization tools in scientific research. The NCWIT Academic Alliance Seed Fund sponsored by Microsoft Research awards NCWIT Academic Alliance (AA) members at non-profit, U.S. institutions with start-up funds (up to $10,000 per project) to develop and implement initiatives for recruiting or retaining women in computing and IT. This project asks how we can leverage this new capability to build a new generation of storage and data processing systems that achieve dramatically better performance, reliability, and efficiency. Even commodity hardware such as RDMA over Ethernet creates new problems such as congestion spreading and deadlocks. Devadas received the 2017 IEEE W. Wallace McDowell Award and the 2018 IEEE Charles A. Desoer Technical Achievement Award for his research in secure hardware.