출판 A Design and Verification Methodology for Secure Isolated Regions Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani Programming Languages Design and Implementation (PLDI) | June 2016
출판 From invariant checking to invariant inference using randomized search Formal Methods in System Design | June 2016, 제 48 권 Invited Paper
출판 Extracting Equivalent SQL from Imperative Code in Database Applications Venkatesh Emani, Karthik Ramachandra, Subhro Bhattacharya, S. Sudarshan SIGMOD | June 2016
출판 Composable Scheduler Activations for Haskell KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones Journal of Functional Programming | June 2016
출판 Lower Runtime Bounds for Integer Programs Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Juergen Giesl Proceedings of IJCAR’16 | June 2016
출판 DSMR: A Parallel Algorithm for Single-Source Shortest Path Problem Saeed Maleki, Donald Nguyen, Andrew Lenharth, María Garzarán, David Padua, Keshav Pingali 2016 International Conference on Supercomputing | May 2016
동영상 Latin American Faculty Summit 2016 – Open source software and industry: exploring the reality May 19, 2016 | Judith Bishop 0:53:18
동영상 Latin American Faculty Summit 2016 – Data and Code at your Fingertips May 19, 2016 | Jonathan Protzenko 0:25:49