[Current Activities]
[Ongoing Work]
[Papers]
[Patents]
[Past Projects]
I am doing post-doctoral work with David
Bernholdt at Oak Ridge National Laboratory. I am
involved with the
Tensor Contraction Engine project. TCE is a compiler
for automatic generation of scientific computing
algorithms from high-level specifications. These
algorithms, used for quantum chemistry computations, make
intense demands on the memory, disk, and communication
infrastructure of the machines on which they run
(typically, supercomputers). The main challenge in
generating these algorithms is the considerable
optimization of system resources required to efficiently
run the generated Fortran code on target architectures.
TCE is joint work with Ohio State University, Pacific
Northwest National Labs, Princeton Univesity, and Lousiana
State University.
I am also looking into the feasibility of using monads for
the efficient generation of scientific computing code
from a domain-specific language embedded in the
programming language Haskell. This is joint work with
Trey White
at ORNL.
Amr Sabry
of Indiana University, his student, and I are building a monadic
semantics to model memory in Real Time Java and study type
safety properties of RTJ.
- Unification Diagnosis using Simulation Slices. Venkatesh Choppella and
Christopher T. Haynes. Submitted for review to Nineteenth
International Conference on Logic Programming (ICLP-03), Mumbai, December 2003.
- Data Locality Optimizations for Synthesis of Efficient
Out-of-core algorithms. Sandhya Krishnan, Sriram Krishnamoorthy,
Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam,
P. Sadayappan, J. Ramanujam, David E. Bernholdt and Venkatesh
Choppella. Submitted for review to
International Conference on High-Performance Computing
(HiPC-2003), Hyderabad, India, December 2003.
- Source-tracking Unification. Venkatesh Choppella and
Christopher T. Haynes. To be presented at the
Conference on Automated Deduction (CADE-19), Miami, August 2003. [ps,pdf]
- Unification Source-tracking with Application to Diagnosis of
Type Inference. Venkatesh Choppella. PhD. dissertation
Indiana University Tech. Report. #566, Aug 2002.
- Web Services Conversation Language (WSCL) 1.0. A. Banerji,
C. Bartolino, D. Beringer, V. Choppella,
K. Govindarajan, A. Karp, H. Kuno, M. Lemon,
G. Pogossiants, S. Sharma, S. Williams. Hewlett-Packard
Company,
World Wide Web Consortium Note, Mar 2002.
- On the Performance of Remote Method Invocation for Large-Scale
Scientific Applications. M. Govindaraju, A. Slomenski,
V. Choppella, R. Bramley and D. Gannon.
SuperComputing '00, Nov 2000.
- Derivational Reasoning System: A Digital Design
Derivation System for Hardware Synthesis. B. Bose,
M. Esen Tuna, V. Choppella. Contract NAS1-20414 NASA SBIR
Phase II Final Report, Mar 1997.
- Tutorial on Digital Design Derivation with DRS. B. Bose.
M. Esen Tuna, and V. Choppella
Proceedings of the 1st International Conf. on Formal Methods in Computer
Aided Design, (FMCAD '96) , Nov 1996. Springer-Verlag
LNCS, Vol 1166.
- Decomposition of Sequential Behavior using
Interface Specification and Complementation. K. Rath,
V. Choppella and S.D. Johnson, in VLSI Design, Special
Issue on Decomposition, Vol. 3, #3-4, 1995.
- Lower Bounds on the Matrix Chain Order
problem. P. Bradford, V. Choppella, and G. J. E. Rawlins, in
Proceedings of LATIN'95, 2nd Latin American Symposium on
Theoretical Informatics, Valparaiso. Apr 1995. Springer
Verlag LNCS Vol. 911.
- Diagnois of Ill typed Programs. V. Choppella and
Christopher T. Haynes, Indiana
University Tech. Report. #426 Dec 1994. An earlier version of this work was reported at the ACM
Midwest Programming Language conference, April 1994, Iowa
City, Iowa.
- "Aspect-Oriented System Monitoring and Tracing"
Cristina Lopes; Gregor Kiczales; John Lamping; Erik Hilsdale;
Venkatesh Choppella; and Taher Haveliwala. U.S. Patent
No. 09/357,508. Filed 1999. Awarded April 2002.
In the past, I have worked in the following groups and projects:
Venkatesh Choppella
Last modified: Sat Jun 7 16:45:32 EDT 2003