Pramod is a senior researcher in the Intelligent Infrastructure Lab at HP Labs. He obtained his MS and PhD degrees in Electrical and Computer Engineering from Northwestern University in 1998 and 2003, and his B'Tech degree in Computer Science and Engineering from the Indian Institute of Technology (Kharagpur) in 1996. His research interests include compilers, program analysis, concurrency, programming languages, and memory management.
A past work was in the area of program analyses for memory management. This included what is perhaps the first documented implementation of an anticipatory reference-counting garbage collector for a modern object-oriented programming language. The work was done in Bartok, an ahead-of-time optimizing compiler from Microsoft Research.
His PhD was on a type inference system for typeless array languages, such as MATLAB, with applications to code optimization. (For details, check out the MAGICA and MAT2C web pages.) The work contributed to technology licensed to AccelChip, a startup later acquired by Xilinx.
Patents
-
Pramod G. Joisha.
Eager Reference-Counting Garbage Collection.
US Patent No. 7,693,919 (assignee: Microsoft Corporation).
April 6, 2010.
-
Pramod G. Joisha.
Reference-Counting Subsumption Analysis.
US Patent No. 7,565,386 (assignee: Microsoft Corporation).
July 21, 2009.
-
Pramod G. Joisha, Prithviraj Banerjee, Nagaraj Shenoy.
Method for Array Shape Inferencing for a Class of
Functions in MATLAB.
US Patent No. 7,086,040 (assignee: Northwestern University).
August 1, 2006.
-
Several pending.
Selected Publications
[ Copyrights of the works on this page are held by their respective owners; these works cannot be reused or redistributed without prior permission from the copyright holder. Please consult the ACM Copyright Policy and the IEEE Intellectual Property Rights for ACM and IEEE publications. ]
Optimizing under Concurrency
-
Pramod G. Joisha, Robert S. Schreiber, Prithviraj
Banerjee, Hans-J. Boehm, Dhruva R. Chakrabarti.
A Technique for the Effective and Automatic
Reuse of Classical Compiler Optimizations on
Multithreaded Code.
ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages
(POPL),
Austin, USA.
January 2011.
[ pdf ]
Memory Management
-
Pramod G. Joisha.
A Principled Approach to Nondeferred
Reference-Counting Garbage Collection.
ACM SIGPLAN/SIGOPS International Conference on Virtual
Execution Environments
(VEE),
Seattle, USA.
March 2008.
[ pdf ]
-
Pramod G. Joisha.
Overlooking Roots: A Framework for Making
Nondeferred Reference-Counting Garbage Collection
Fast.
ACM SIGPLAN International Symposium on Memory Management
(ISMM),
Montreal, Canada.
October 2007.
[ pdf ]
-
Pramod G. Joisha.
Compiler Optimizations for Nondeferred
Reference-Counting Garbage Collection.
ACM SIGPLAN International Symposium on Memory Management
(ISMM),
Ottawa, Canada.
June 2006.
[ pdf ]
Compiling Typeless Array Languages
-
Pramod G. Joisha, Prithviraj Banerjee.
A Translator System for the MATLAB
Language.
Wiley's Software—Practice & Experience
(SPE), Vol., 37, Issue 5.
April 2007.
[ pdf ]
-
Pramod G. Joisha, Prithviraj Banerjee.
An Algebraic Array Shape Inference System for
MATLAB.
ACM's Transactions on Programming Languages and
Systems (TOPLAS), Vol., 28, Issue 5.
September 2006.
[ pdf ]
-
Pramod G. Joisha, Prithviraj Banerjee.
Static Array Storage Optimization in
MATLAB.
ACM SIGPLAN Conference on Programming Language Design and
Implementation
(PLDI),
San Diego, USA.
June 2003.
[ pdf ]
-
Pramod G. Joisha, Prithviraj Banerjee.
The MAGICA Type Inference Engine for
MATLAB.
International Conference on Compiler Construction
(CC),
Warsaw, Poland.
April 2003.
In Springer-Verlag Lecture Notes in Computer Science Series,
Vol., 2622.
[ pdf ]
— Only accepted tool demonstration paper out of six submissions (as per proceedings' preface).
-
Pramod G. Joisha, Prithviraj Banerjee.
Computing Array Shapes in MATLAB.
International Workshop on Languages and Compilers for
Parallel Computing
(LCPC),
Cumberland Falls, USA.
August 2001.
In Springer-Verlag Lecture Notes in Computer Science Series,
Vol., 2624.
[ pdf ]
-
Pramod G. Joisha, Prithviraj Banerjee.
Correctly Detecting Intrinsic Type Errors in
Typeless Languages such as MATLAB.
ACM SIGAPL International Conference on Array Processing
Languages (APL),
Yale University,
New Haven, USA.
June 2001.
-
Pramod G. Joisha, Abhay Kanhere, Prithviraj Banerjee,
U. Nagaraj Shenoy, Alok Choudhary.
Handling Context Sensitive Syntactic Issues in the
Design of a Front-End for a MATLAB Compiler.
ACM SIGAPL International Conference on Array Processing
Languages
(APL),
Technischen Universität,
Berlin, Germany.
July 2000.
[ pdf ]
Java Implementation
- Samuel P. Midkiff, Pramod G. Joisha, Mauricio J. Serrano, Manish Gupta, Anthony Bolmarcich, Peng Wu. Quicksilver: A Quasi-Static Java Compiler for Embedded Systems. In Java Microarchitectures, Kluwer International Series in Engineering and Computer Science. Vol., 679, ISBN 1-4020-7034-9. (Book chapter.) April 2002.
-
Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. Serrano,
Manish Gupta.
Efficiently Adapting Java Binaries in Limited Memory
Contexts.
Special Issue of the International Journal of Parallel
Programming (IJPP),
Kluwer Academic Publishers,
Vol., 30, Issue 4.
August 2002.
[ pdf ]
-
Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. Serrano,
Manish Gupta.
A Framework for Efficient Reuse of Binary Code in
Java.
ACM SIGARCH International Conference on Supercomputing
(ICS),
Naples, Italy.
June 2001.
Parallelizing Array-Language Programs
-
Pramod G. Joisha, Prithviraj Banerjee.
The Efficient Computation of Ownership Sets in
HPF.
IEEE's Transactions on Parallel and Distributed
Systems
(TPDS), Vol., 12, No., 8.
August 2001.
[ pdf ]
-
Anshuman Nayak, Malay Haldar, Abhay Kanhere,
Pramod G. Joisha, U. Nagaraj Shenoy, Alok Choudhary,
Prithviraj Banerjee.
A Library-Based Compiler to Execute MATLAB Programs
on a Heterogeneous Platform.
IEEE International Conference on Parallel and Distributed
Computing Systems (PDCS),
Las Vegas, USA.
August 2000.
-
Pramod G. Joisha, Prithviraj Banerjee.
Exploiting Ownership Sets in HPF.
International Workshop on Languages and Compilers for
Parallel Computing
(LCPC),
IBM T. J. Watson Research Center,
Yorktown Heights, USA.
August 2000.
In Springer-Verlag Lecture Notes in Computer Science Series,
Vol., 2017.
-
Malay Haldar, Anshuman Nayak, Abhay Kanhere,
Pramod G. Joisha, U. Nagaraj Shenoy, Alok Choudhary,
Prithviraj Banerjee.
MATCH Virtual Machine: An Adaptive Run-Time System
to Execute MATLAB in Parallel.
International Conference on Parallel Processing (ICPP),
Toronto, Canada.
IEEE Computer Society Press.
August 2000.
-
Prithviraj Banerjee, U. Nagaraj Shenoy, Alok Choudhary,
Scott Hauck, Christopher Bachmann, Malay Haldar,
Pramod G. Joisha, Alexander K. Jones, Abhay Kanhere,
Anshuman Nayak, Suresh Periyacheri, Michael Walkden,
David Zaretsky.
A MATLAB Compiler for Distributed, Heterogeneous,
Reconfigurable Computing Systems.
IEEE Symposium on Field-Programmable Custom Computing
Machines (FCCM),
Napa Valley, USA.
April 2000.
-
Pramod G. Joisha, Prithviraj Banerjee.
PARADIGM (version 2.0): A New HPF Compilation
System.
IEEE International Parallel Processing Symposium &
Symposium on Parallel and Distributed Processing
(IPPS/SPDP),
San Juan, Puerto Rico.
April 1999.
Potpourri
-
Dhruva R. Chakrabarti, Pramod G. Joisha, John A. Chandy,
D. Krishnaswamy, V. Krishnaswamy, Prithviraj Banerjee.
WADE: A Web-Based Automated Parallel CAD
Environment.
International Conference on High Performance Computing
(HiPC),
Chennai, India.
IEEE Computer Society Press.
December 1998.
