|
 | Up a level |
Madhavan, Ravichandhran and Komondoor, Raghavan (2011) Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis. In: ACM Sigplan Notices, 46 (10). pp. 1033-1052.
Prasad, Ashwin and Anantpur, Jayvant and Govindarajan, R (2011) Automatic Compilation of MATLAB Programs for Synergistic Execution on Heterogeneous Processors. In: ACM Sigplan Notices, 46 (6). pp. 152-163.
Udupa, Abhishek and Govindarajan, R and Thazhuthaveetil, Matthew J (2009) Synergistic Execution of Stream Programs on Multicores with Accelerators. In: ACM Sigplan Notices, 44 (7). pp. 99-108.
Vaswani, Kapil and Nori, Aditya V and Chilimbi, Trishul M (2007) Preferential Path Profiling: Compactly Numbering Interesting Paths. In: The 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 17–19, 2007, Nice, France, pp. 351-362.
Vaswani, Kapil and Nori, Aditya V and Chilimbi, Trishul M (2007) Preferential Path Profiling: Compactly Numbering Interesting Paths. In: ACM Sigplan Notices, 42 (1). pp. 351-362.
Srikant, YN and Ravindra, DV (2000) Effective Parameterization of Architectural Registers for Register Allocation Algorithms. In: ACM Sigplan Notices, 35 (06). pp. 37-46.
Paleri, Vineeth Kumar and Srikant, YN and Shankar, Priti (1998) A simple algorithm for partial redundancy elimination. In: ACM Sigplan Notices, 33 (12). pp. 35-43.
