Publication Stochastic program optimization Communications of the ACM | February 2016, Vol 59 CACM Research Highlight
Publication Portable Performance on Asymmetric Multicore Processors Ivan Jibaja, Ting Cao, Stephen M. Blackburn, Kathryn S McKinley ACM/IEEE International Symposium on Code Generation and Optimization (CGO), pp. 24-35 | February 2016
Publication Expert F# 4.0 Don Syme, Adam Granicz, Antonio Cisternino Published by Apress | February 2016 ISBN: 978-1-4842-0740-6
Publication Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte 14th USENIX Conference on File and Storage Technologies (FAST) | February 2016 Project Project
Publication Edge Routing with Ordered Bundles Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd Graph Drawing, GD 2011, Lecture Notes in Computer Science | February 2016
Publication Work Stealing for Interactive Services to Meet Target Latency Jing Li, Kunal Agrawal, Sameh Elnikety, Yuxiong He, I-Ting Angelina Lee, Chenyang Lu, Kathryn S McKinley ACM SIGPLAN Symposium on Principles and Practice of Parallel Programmming (PPoPP) | February 2016
Publication Program Synthesis Using Stochastic Techniques Sumit Gulwani Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113 Project
Publication A Statistical Approach To Material Classification Using Image Patch Exemplars Manik Varma, Andrew Zisserman IEEE Transactions on Pattern Analysis and Machine Intelligence | January 2016
Publication Why Do Scala Developers Mix the Actor Model with other Concurrency Models? Samira Tasharofi, Peter Dinges, Ralph E. Johnson ECOOP 2013 – Object-Oriented Programming | Published by Springer Berlin Heidelberg | 2016, Vol 7920 ISBN: 978-3-642-39037-1
Publication Dependent Types and Multi-Monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin POPL ’16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016 ISBN: 978-1-4503-3549-2