Top blue bar image Department of Computer Science

Technical Reports

The technical reports are organized based on the year and order in which the technical report numbers were assigned. Please contact Carlyn Chatfield to submit a new technical report or to access technical reports that are not displayed on this website.

2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004
2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991

2017

TR17-01 - Parallel Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael Burke, Vivek Sarkar

2016

TR16-03  - Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls*
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

TR16-02 - The Task Motion Kit 
Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki

TR16-01 — Dynamic Determinacy Race Detection for Task Parallelism with Futures
Rishi Surendran, Vivek Sarkar

2015

TR15-03 — Leaky Buffer: A Novel Abstraction for Relieving Memory Pressure from Cluster Data Processing Frameworks
Zhaolei Liu, T. S. Eugene Ng

TR15-02 — Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime
Alina Sbîrlea, Kunal Agrawal, Vivek Sarkar

TR15-01 — Synthesis of Integrated Task and Motion Plans from Plan Outlines Using SMT Solvers
Srinivas Nedunuri, Yue Wang, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

2014

TR14-03 — Automated Design, Implementation, and Evaluation of Arbiter-based PUF on FPGA using Programmable Delay Lines
Mehrdad Majzoobi, Akshat Kharaya, Farinaz Koushanfar, Srinivas Devadas

TR14-02 — Support for Complex Numbers in Habanero
Jisheng Zhao, Vincent Cavé, Yonghong Yan, Zoran Budimlić, Vivek Sarkar

TR14-01 — λgroup: Using Optics to Take Group Data Delivery
Howard Wang, Yiting Xia, Keren Bergman, T. S. Eugene Ng, Kunwadee Sripanidkulchai

2013

TR13-08 — COMMA: Coordinating the Migration of Multi-tier Applications
Jie Zheng, T. S. Eugene Ng, Kunwadee Sripanidkulchai, Zhaolei Liu

TR13-07 — BMS-CnC: Bounded Memory Scheduling of Dynamic Task Graphs
Dragoș Sbîrlea, Zoran Budimlić, Vivek Sarkar

TR13-06 — Plinko: Building Provably Resilient Forwarding Tables
Brent Stephens, Alan L. Cox, Scott Rixner

TR13-05 — Interprocedural Strength Reduction of Critical Sections in Explicitly-Parallel Programs
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar

TR13-04 — RCMP: A System Enabling Efficient Re-computation Based Failure Resilience for Big Data Analytics
Florin Dinu, T. S. Eugene Ng

TR13-03 — User-Specified and Automatic Data Layout Selection for Portable Performance
Kamal Sharma, Ian Karlin, Jeff Keasler, James R. McGraw, Vivek Sarkar

TR13-02 — Automatic Detection of Inter-application Permission Leaks in Android Applications
Dragoș Sbîrlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar

TR13-01 — Pacer: Taking the Guesswork Out of Live Migrations in Hybrid Cloud Computing
Jie Zheng, T. S. Eugene Ng, Kunwadee Sripanidkulchai, Zhaolei Liu

2012

TR12-04 — The Platform-Aware Compilation Environment: Status and Future Directions
Keith D. Cooper, John Mellor-Crummey, Erzsébet Merényi, P. Sadayappan, Vivek Sarkar, Linda Torczon, Michael Burke

TR12-03AutoDock-based incremental docking protocol improves docking of large ligands
Ankur Dhanik, John S. McMurray, Lydia E. Kavraki

TR12-01 — Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav

2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004
2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991