Venkatesh Choppella, Ph.D.
Affiliations: | 2002 | Indiana University, Bloomington, Bloomington, IN, United States |
Area:
Computer ScienceGoogle:
"Venkatesh Choppella"Parents
Sign in to add mentor| Christopher T. Haynes | grad student | 2002 | Indiana University | |
| (Unification source -tracking with application to diagnosis of type inference.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bradford PG, Choppella V, Rawlins GJE. (2016) Lower bounds for the matrix chain ordering problem: Extended abstract Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 911: 112-130 |
| Choppella V, Viswanath K, Manjula P. (2013) Viewing algorithms as iterative systems and plotting their dynamic behaviour Proceedings - 2013 Ieee 5th International Conference On Technology For Education, T4e 2013. 206-209 |
| Auer AA, Baumgartner G, Bernholdt DE, et al. (2006) Automatic code generation for many-body electronic structure methods: The tensor contraction engine Molecular Physics. 104: 211-228 |
| Krishnan S, Krishnamoorthy S, Baumgartner G, et al. (2006) Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver Journal of Parallel and Distributed Computing. 66: 659-673 |
| Krishnan S, Krishnamoorthy S, Baumgartner G, et al. (2004) Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2004 (Abstracts and Cd-Rom). 18: 471-480 |
| Krishnan S, Krishnamoorthy S, Baumgartner G, et al. (2003) Data locality optimization for synthesis of efficient out-of-core algorithms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2913: 406-417 |
| Rath K, Choppella V, Johnson SD. (1995) Decomposition of Sequential Behavior UsingInterface Specification and Complementation Vlsi Design. 3: 347-358 |