|
|
DSpace at IIT Bombay >
Browsing by Author SANYAL, A
Showing results 1 to 8 of 8
| Issue Date | Title | Author(s) | | 1999 | An application of compiler technology to the year 2000 problem | NANDA, MG; BHADURI, P; OBEROI, S; SANYAL, A |
| 1991 | EXTENDED CYCLE SHRINKING - A RESTRUCTURING METHOD FOR PARALLEL COMPILATION | BISWAS, S; SANYAL, A; TEWARI, LM |
| 1995 | EXTENSIONS TO CYCLE SHRINKING | SETHI, A; BISWAS, S; SANYAL, A |
| 2008 | Heap reference analysis using access graphs | KHEDKER, UP; SANYAL, A; KARKARE, A |
| 2005 | Heterogeneous fixed points with application to points-to analysis | KANADE, A; KHEDKER, U; SANYAL, A |
| 1997 | Proof of correctness of a direct construction of DFA from regular expression | BABU, SR; SANYAL, A; VENKATESH, G |
| 2006 | A PVS based framework for validating compiler optimizations | KANADE, A; SANYAL, A; KHEDKER, U |
| 2009 | Validation of GCC optimizers through trace generation | KANADE, A; SANYAL, A; KHEDKER, UP |
Showing results 1 to 8 of 8
|
