Venkatesh Choppella
Venkatesh Choppella
Associate Professor of Software Engineering, IIIT Hyderabad
Verified email at - Homepage
Cited by
Cited by
Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models
G Baumgartner, A Auer, DE Bernholdt, A Bibireata, V Choppella, ...
Proceedings of the IEEE 93 (2), 276-292, 2005
Requirements for and evaluation of RMI protocols for scientific computing
M Govindaraju, A Slominski, V Choppella, R Bramley, D Gannon
SC'00: Proceedings of the 2000 ACM/IEEE Conference on Supercomputing, 61-61, 2000
Automatic code generation for many-body electronic structure methods: the tensor contraction engine
AA Auer, G Baumgartner, DE Bernholdt, A Bibireata, V Choppella, ...
Molecular Physics 104 (2), 211-228, 2006
Data locality optimization for synthesis of efficient out-of-core algorithms
S Krishnan, S Krishnamoorthy, G Baumgartner, D Cociorva, CC Lam, ...
International Conference on High-Performance Computing, 406-417, 2003
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver
S Krishnan, S Krishnamoorthy, G Baumgartner, CC Lam, J Ramanujam, ...
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
Memory-constrained data locality optimization for tensor contractions
A Bibireata, S Krishnan, G Baumgartner, D Cociorva, CC Lam, ...
International Workshop on Languages and Compilers for Parallel Computing, 93-108, 2003
Diagnosis of ill-typed programs
V Choppella, CT Haynes
TR426, Indiana University, 1995
Identifying cost-effective common subexpressions to reduce operation count in tensor contraction evaluations
A Hartono, Q Lu, X Gao, S Krishnamoorthy, M Nooijen, G Baumgartner, ...
International Conference on Computational Science, 267-275, 2006
Unification source-tracking with application to diagnosis of type inference
V Choppella, CT Haynes
Indiana University, 2002
A virtual laboratory for teaching Linux on the Web
KC Bandi, AK Nori, V Choppella, S Kode
2011 IEEE International Conference on Technology for Education, 212-215, 2011
chung Lam
G Baumgartner, A Auer, DE Bernholdt, A Bibireata, V Choppella, ...
C., Lu, Q., Nooijen, M., Pitzer, RM, Ramanujam, J., Sadayappan, P., and …, 2005
Discovir: A framework for designing interfaces and structuring content for virtual labs
RA Khot, V Choppella
2011 IEEE International Conference on Technology for Education, 121-127, 2011
Decomposition of sequential behavior using interface specification and complementation
K Rath, V Choppella, SD Johnson
VLSI Design 3 (3-4), 347-358, 1995
Infer: A statically-typed dialect of scheme
C Haynes, V Choppella, HL Dzeng
Indiana-CS-TR-93-367, 1995
Overcoming the new accessibility challenges using the sweet framework
GVS Prasad, TB Dinesh, V Choppella
Proceedings of the 11th Web for All Conference, 1-4, 2014
Source-tracking unification
V Choppella, CT Haynes
Information and Computation 201 (2), 121-159, 2005
Alipi: A framework for re-narrating web pages
TB Dinesh, S Uskudarli, S Sastry, D Aggarwal, V Choppella
Proceedings of the International Cross-Disciplinary Conference on Web …, 2012
Polymorphic type reconstruction using type equations
V Choppella
Symposium on Implementation and Application of Functional Languages, 53-68, 2003
Preliminary explorations in specifying and validating entity-relationship models in pvs
V Choppella, A Sengupta, EL Robertson, SD Johnson
Proceedings of the second workshop on Automated formal methods, 1-10, 2007
CORP: a browser policy to mitigate web infiltration attacks
KC Telikicherla, V Choppella, B Bezawada
International Conference on Information Systems Security, 277-297, 2014
The system can't perform the operation now. Try again later.
Articles 1–20