| [1] | Thulasiram Naidu P, Manisha Verma, Venkatesh Choppella, and Gangadhar Chalapaka. Synthesizing customizable learning environments. In 2nd IEEE International Conference on Technology for Education, July 2010. Accepted for publication. |
| [2] | T B Dinesh and Venkatesh Choppella. A case for process-driven models for e-governance architectures. In 7th International Conference on E-Government, April 2010. |
| [3] | Venkatesh Choppella and K R Srivathsan. Fostering community interaction with the trivandrum city police portal. In 3rd ACM International Conference on the Theory and Practice of E-Governance, pages 365-368, November 2009. |
| [4] | Venkatesh Choppella, Arijit Sengupta, Ed Robertson, and Steven Johnson. Prelimary explorations in specifying and verifying entity-relationship models in pvs. In Natarajan Shankar and John Rushby, editors, Proceedings of AFM'07: Second ACM workshop on Automated Formal Methods, pages 1-10. ACM Press, November 2007. |
| [5] | Venkatesh Choppella, Arijit Sengupta, Edward Robertson, and Steven D. Johnson. Constructing and Validating Entity-Relationship models in the PVS Specification Language: A case study using a text-book example. Technical Report 632, Indiana University Computer Science, April 2006. |
| [6] | Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, and Venkatesh Choppella. Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver. Journal of Parallel and Distributed Computing, 66:659-673, 2006. Invited Submission. Supercedes [12]. |
| [7] | A. Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russel M. Pitzer, J Ramanujam, Atanas Rountev, and P. Sadayappan. Identifying cost-effective common subexpressions to reduce operation count in tensor contraction evaluations. In V. N. Alexandrov et al., editor, Proceedings of the International Conference on Computational Science (ICCS), Part 1, volume 3991 of Lecture Notes in Computer Science, pages 267-275. Springer-Verlag, 2006. |
| [8] | Alexander Auer, Gerald Baumgartner, David E. Bernholdt, Alina Bibireata, Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao, Robert Harrison, Sriram Krishanmoorthy, Sandhya Krishnan, Chi-Chung Lam, Marcel Nooijen, Russell Pitzer, J. Ramanujam, P. Sadayappan, and Alexander Sibiryakov. Automatic code generation for many-body electronic structure methods: The Tensor Contraction Engine. Molecular Physics, 104(2):211-228, January 2006. invited paper for R. J. Bartlett Festschrift. |
| [9] | V. Choppella and C. T. Haynes. Sourcetracking unification (revised and extended version). Information and Computation, 201(2):121-159, September 2005. Invited Submission. Supercedes [16]. |
| [10] | Gerald Baumgartner, Alexander Auer, David E. Bernholdt, Alina Bibireata, Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao, Robert Harrison, So Hirata, Sriram Krishanmoorthy, Sandhya Krishnan, Chi-Chung Lam, Marcel Nooijen, Russell Pitzer, J. Ramanujam, P. Sadayappan, and Alexander Sibiryakov. Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models. Proc. of the IEEE, 93(2):276-292, February 2005. Invited Paper. |
| [11] | Venkatesh Choppella. Polymorphic type reconstruction using type equations. In Greg Michaelson Phil Trinder and Recardo Pena, editors, Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, volume 3145 of Lecture Notes in Computer Science, pages 53-68. Springer Verlag, December 2004. ISBN: 3-540-23727-5. |
| [12] | S. Krishnan, S. Krishnamoorthy, G. Baumgartner, C-C. Lam, J. Ramanujam, P. Sadayappan, and V. Choppella. Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver. In Proc. International Parallel and Distributed Processing Symposium (IPDPS 2004), Albuquerque, New Mexico, USA. IEEE Computer Society, April 2004. ISBN: 0-7695-2132-0. |
| [13] | Venkatesh Choppella. A compositionality principle for unification. Unpublished manuscript, 2004. |
| [14] | A. Bibireata, S. Krishnan, G. Baumgartner, D. Cociorva, C-C. Lam, P. Sadayappan, J. Ramanujam, D. E. Bernholdt, and V. Choppella. Memory-constrained data locality optimizations for tensor contractions. In Proc. 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC '03), number 2958 in Lecture Notes in Computer Science, pages 93-108, College Station, Texas, 2004. Springer. |
| [15] | S. Krishnan, S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan, J. Ramanujam, D. E. Bernholdt, and V. Choppella. Data locality optimization for synthesis of efficient out-of-core algorithms. In Proc. of the Intl. Conf. on High Performance Computing (HiPC 2003), number 2913 in Lecture Notes in Computer Science, pages 406-417, Hyderabad, India, December 2003. Springer. |
| [16] | V. Choppella and C. T. Haynes. Source-tracking Unification. In Franz Baader, editor, Proceedings of 19th International Conference on Automated Deduction, CADE-19, Miami Beach, USA, number 2741 in Lecture Notes in Artificial Intelligence, pages 458-472. Springer, 2003. Superceded by [9]. |
| [17] | Venkatesh Choppella. Unification Source-tracking with Application to Diagnosis of Type Inference. PhD thesis, Indiana University, August 2002. IUCS Tech Report TR566. |
| [18] | A. Banerji, C. Bartolino, D. Beringer, K. Govindarajan V. Choppella, A. Karp, H. Kuno, M. Lemon, G. Pogossiants, S. Sharma, and S. Williams. Web services conversation language (wscl) 1.0. Technical report, Hewlett-Packard Company, March 2002. World Wide Web Consortium Note http://www.w3.org/TR/wscl10. |
| [19] | M. Govindaraju, A. Slomenski, V. Choppella, R. Bramley, and D. Gannon. Requirements for and evaluation of rmi protocols for on the performance of remote method invocation for scientific computing. In Proc. of the IEEE/ACM International Conference on Supercomputing (SC 2000), November 2000. |
| [20] | B. Bose, M. E. Tuna, and V. Choppella. Tutorial on Digital Design Derivation with DRS. In Proc. 1st International Conf. on Formal Methods in Computer Aided Design, (FMCAD '96), Palo Alto, CA, USA, number 1166 in Lecture Notes in Computer Science. Springer, November 1996. |
| [21] | V. Choppella and C. T. Haynes. Diagnosis of ill-typed programs. Technical Report 426, Indiana University, February 1995. |
| [22] | P. Bradford, V. Choppella, and G. J. E. Rawlins. Lower bounds on the matrix chain order problem. In Ricardo Baeza-Yates, Eric Goles, and Patricio V. Poblete, editors, Proc. 2nd Latin American Symposium on Theoretical Informatics, (LATIN'95), Valparaiso, Chile, Lecture Notes in Computer Science, pages 112-130. Springer, 1995. |
| [23] | K. Rath, V. Choppella, and S. D. Johnson. Decomposition of sequential behavior using interface specification and complementation. VLSI Design, Special Issue on Decomposition, 3(3-4):347-358, 1995. |
| [24] | Philip Bradford, Venkatesh Choppella, and Gregory J. E. Rawlins. Lower bounds for the matrix chain order problem. Technical Report TR 391, Indiana University, October 1993. |
This file has been generated by bibtex2html 1.83.
Sun May 23 11:55:17 IST 2010