|
 | Up a level |
Acharya, Aravind and Bondhugula, Uday and Cohen, Albert (2018) Polyhedral Auto-transformation with No Integer Linear Programming. In: ACM SIGPLAN NOTICES, 53 (4). pp. 529-542.
Panwar, Ashish and Prasad, Aravinda and Gopinath, K (2018) Making Huge Pages Actually Useful. In: ACM SIGPLAN NOTICES, 53 (2). pp. 679-692.
Jangda, Abhinav and Bondhugula, Uday (2018) An Effective Fusion and Tile Size Model for Optimizing Image Processing Pipelines. In: ACM SIGPLAN NOTICES, 53 (1). pp. 261-275.
Santhiar, Anirudh and Kanade, Aditya (2017) Static Deadlock Detection for Asynchronous C# Programs. In: 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), JUN 18-23, 2017, Barcelona, SPAIN, pp. 292-305.
Prasad, Aravinda and Gopinath, K (2016) Prudent Memory Reclamation in Procrastination-Based Synchronization. In: 21st International Conference on Architectural Support for Programming Languages and Operating , APR 02-06, 2016, Atlanta, GA, pp. 99-112.
Bhaskaracharya, Somashekaracharya G and Bondhugula, Uday and Cohen, Albert (2016) SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization. In: ACM SIGPLAN NOTICES, 51 (1). pp. 526-538.
Samak, Malavika and Ramanathan, Murali Krishna (2015) Multithreaded Test Synthesis for Deadlock Detection. In: ACM SIGPLAN NOTICES, 49 (10). pp. 473-489.
Acharya, Aravind and Bondhugula, Uday (2015) PLUTO plus : Near-Complete Modeling of Affine Transformations for Parallelism and Locality. In: ACM SIGPLAN NOTICES, 50 (8). pp. 54-64.
Mullapudi, Ravi Teja and Vasista, Vinay and Bondhugula, Uday (2015) PolyMage: Automatic Optimization for Image Processing Pipelines. In: ACM SIGPLAN NOTICES, 50 (4). pp. 429-443.
Samak, Malavika and Ramanathan, Murali Krishna and Jagannathan, Suresh (2015) Synthesizing Racy Tests. In: ACM SIGPLAN NOTICES, 50 (6). pp. 175-185.
Maiya, Pallavi and Kanade, Aditya and Majumdar, Rupak (2014) Race Detection for Android Applications. In: ACM SIGPLAN NOTICES, 49 (6). pp. 316-325.
Samak, Malavika and Ramanathan, Murali Krishna (2014) Trace Driven Dynamic Deadlock Detection and Reproduction. In: ACM SIGPLAN NOTICES, 49 (8). pp. 29-42.
Bhattacharya, Suparna and Gopinath, K and Nanda, Mangala Gowri (2013) Combining Concern Input with Program Analysis for Bloat Detection. In: ACM SIGPLAN NOTICES, 48 (10). pp. 745-763.
Pai, Sreepathi and Thazhuthaveetil, Matthew J and Govindarajan, R (2013) Improving GPGPU Concurrency with Elastic Kernels. In: Eighteenth international conference on Architectural support for programming languages and operating systems , 16-20 March 2013, Houston, Texas, USA, pp. 407-418.
Nasre, Rupesh (2012) Exploiting the Structure of the Constraint Graph for Efficient Points-to Analysis. In: ACM SIGPLAN NOTICES, 47 (11). pp. 121-132.
