Venkatesh Choppella Research

Main

Areas of research

Software Engineering and Formal Methods: Concurrency control [69][71], Distributed Model Checking[59], Real Time Systems[42], Software and Systems Engineering[2019-isec-chaudhuri-et-al][74][84], Human Computer Interaction[41][52], Workflows [25][33][38][44], Modeling of Web Services[9], Data Modeling[22][23] and Visual modeling[54] and Software Architectures[30][28]. Formal Methods for VLSI[3][6]
Web Accessibility: Renarration and Semantic Web[34][35][37][47][49][63][68], [67][70][72],
Web Security: Browser-based security policies[46][51][50][62][66][64]
Applications of ICT: E-Governance[24].
Educational Technology and Computing Pedagogy: Virtual Labs[76][73][29][31][32],[40][43][53][48][56][55], Authoring tools and environments[27][26][39], Ontologies[57]. Functional Programming[36][58], Algorithms and Discrete Dynamical Systems[45].

Compilers and Programming Languages: Evaluation of RMI protocols[8], Algorithm Synthesis from Domain Specific Languages[12][14][15][17][19][21][20]. Aspect-Oriented Programming[7]. Term Unification[11][Choppella-Haynes-IC-2005], Type Inference[5][10][16].

Students

Current students

Amar Banerjee (PhD): Capability composition for robotics and cyber-physical systems engineering.
Mrityunjay Kumar (PhD): Model Based design and implementation of Virtual Lab Experiments
Sai Gollapudi (PhD): Semantic Style Sheets and Renarration
Soumya Maddala (MS by research): Ontology services for web accessibility
Adhish Singla (MS Dual Degree): Distributed Model Checking. Supported by Hitachi India. (Co-advisor with Prof. Suresh Purini)
Arjun Sanjeev (BTech/Dual Degree): Modular Control of concurrent processes. Co-advisor: Prof. K Viswanath.
Krutam Hathi (BTech/Dual Degree): Pedagogy-based Analytics for virtual labs

Past research students

Akaash Agarwall (MS by research, Apr 2018)

Thesis title: Application, Modelling and Implementation of CORP
Current affiliation: Facebook, California

Krishna Chaitanya (MS by research, May 2016)

Thesis title: Mitigating Web-borne Security Threats by Enhancing Browser Security Policies
Current affiliation: Microsoft Hyderabad

Ankur Goel (MS by research, Apr 2016)

Thesis title: Specification and Modelling of Workflow Management Systems with State Based Access Control
Current Affiliation: Startup in Hyderabad

Himanshu Zade (MS by research, Apr 2015)

Thesis title: Evolution of Mental Models of Interactive Machines: A Formal Approach
Current affiliation: Univ of Washington PhD programme

Santosh Aravind Adimoolam (MS by research Apr 2014)

Thesis title: Automata based abstraction of interval assumptions and bounded input linear systems for verification and controller synthesis
Co-advisor: Prof. K Viswanath
Financial Support: Siemens R&D India.
Current affiliation: VERIMAG, France.

Deepti Aggarwal (MS by research, Nov 2013)

Thesis title: Exploring Crowdsourcing to PersonalizeWeb Experiences
Co-advisor: Prof. Vasudeva Varma
Current affiliation: Univ of Melbourne

Funded Projects

1. Virtual Labs, Phase II and III (co-PI): 2016-2020. Sponsor: MHRD, Govt. of India. Consortium partners: IITs at Bombay Delhi, Guwahati Kanpur, Kharagpur, Roorkee, Amrita University, COE Pune, Dayalbagh University, NIT Surathkal. Total Budget: Rs. 100 Crores for 5 years.
(no term): 2. State variable approach to the model-driven development of software for reactive systems (PI) :: 2011-2013. Sponsor: Siemens India, Bangalore. Budget: Rs. 14 Lakhs.

3. Distributed Model Checking: (Co-PI) 2014-2016. Sponsor: Hitachi India Limited. Budget: 15 Lakhs.

4. Virtual Labs Phase I: 2010-2014. Sponsor: Virtual Labs consortium under the Virtual Labs main phase project. Budget: 3.3 Cr.
(no term): 5. European Commission Erasmus Mundus External Cooperation Window (co-PI) :: European Research and Educational Collaboration with Asia Project for Academic Mobility 2008-2009. http://www.mrtc.mdh.se/eureca/. Institute Coordinator for IIITMK. Budget: 10,000 Euro.
6. ISEA (PI): Ministry of Information Technology, Government of India. Information Security Education and Awareness (ISEA) 2006-2009. Principal Investigator at Participating Institution IIITM-K. Rs. 3L per annum.
7. Government of Kerala (co-PI): Police Portal for Community Interaction 2004-2005. Budget Rs. 2.9L Co-investigator.

Bibliography

References

[87]: Venkatesh Choppella, Arjun Sanjeev, Kasturi Viswanath, and Bharat Jayaraman. Generalised dining philosophers as feedback control. In D. V. Hung and M. D'Souza, editors, International Conference on Distributed Computing and Internet Technology (ICDCIT), number 11969 in LNCS, pages 144--164. Springer, 2020. [ bib | DOI | .pdf ]
[86]: Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar, and Ojas Mohril. Algodynamics: Teaching the design of algorithms using interactive transition systems. Submitted to ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2020), 2020. Rejected. [ bib ]
[85]: Mrityunjay Kumar, Jessica Emory, and Venkatesh Choppella. Usability analysis of virtual labs. ACM India, October 2019. Poster. [ bib ]
[84]: Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri. A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium, July 2019. [ bib ]
[83]: M. Kumar, V. Choppella, S. Sunil, and S. Syed. A learnable-by-design (lead) model for designing experiments for computer science labs. In 2019 IEEE Tenth International Conference on Technology for Education (T4E), pages 222--229, 2019. [ bib | .pdf ]
[82]: R. S. Pillutla, L. M. S, V. Choppella, A. Jesrani, P. Raman, and Y. Raghu Reddy. Towards massively open online virtual internships in computing education. In 2019 IEEE Tenth International Conference on Technology for Education (T4E), pages 90--93, 2019. [ bib | .pdf ]
[81]: R. S. Pillutla, V. Choppella, L. M. S, M. Dammaraju, and P. Raman. Enhancing virtual labs usage in colleges. In 2019 IEEE Tenth International Conference on Technology for Education (T4E), pages 158--161, 2019. [ bib | .pdf ]
[80]: Subhrojyoti Roy Chaudhury, Amar Banerjee, N. Swaminathan, Venkatesh Choppella, Arpan Pal, and P. Balamurali. A knowledge centric approach to conceptualizing robotic solutions. In Proceedings of the 12th Innovations in Software Engineering Conference. ACM, 2 2019. [ bib | DOI ]
[79]: Sai Prasad VRJ Gollapudi, Venkatesh Choppella, Lalit Mohan Sanagavarapu, Sridhar Chimalakonda, and Y Raghu Reddy. Promoting better financial inclusion through web page transformation --- a systematic literature review. 3(2):131--147, 2019. [ bib | DOI | .pdf ]
[78]: Suresh Purini Adhish Singla, Yuvraj Singh and Venkatesh Choppella. Actor based distributed asynchronous safety verification in explicit state model checking. Submitted to Europar 2019, 2019. Rejected. [ bib ]
[77]: Subhrojyoti Roy Chaudhuri, Natarajan Swaminathan, Amar Banerjee, and Venkatesh Choppella. Methodology to develop domain specific modeling languages. In Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, pages 1--10. ACM, 2019. [ bib ]
[76]: Mrityunjay Kumar, Jessica Emory, and Venkatesh Choppella. Usability analysis of virtual labs. In 2018 IEEE 18th International Conference on Advanced Learning Technologies (ICALT), pages 238--240. IEEE, July 2018. [ bib | DOI ]
[75]: Sai VRJ Gollapudi, Venkatesh Choppella, and Sridhar Chimalakonda. Overlaying of semantic structures on published web pages (poster). In Proc. International Conference on Software Engineering and Knowledge Engineering. San Francisco (SEKE 2018), July 2018. Accepted for publication. [ bib ]
[74]: Amar Banerjee, Venkatesh Choppella, Viswanath Kasturi, Swaminathan Natarajan, Padmalata V. Nistala, and Kesav Nori. An attempt at explicating the relationship between knowledge, systems and engineering. In Proceedings of the 11th Innovations in Software Engineering Conference, ISEC '18, pages 5:1--5:11, New York, NY, USA, February 2018. ACM. [ bib | DOI | http | .pdf ]
[73]: Shovan Swain, Lalit Sanagavarapu, Venkatesh Choppella, and Y. Raghu Reddy. Model driven approach for virtual lab authoring - chemical sciences labs. In International Conference on Advanced Learning Technologies (ICALT). IEEE, 2018. Accepted for publication. [ bib ]
[72]: Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, and Venkatesh Choppella. Towards a domain-specific language for the renarration of web pages. In Proceedings of the 11th Innovations in Software Engineering Conference, ISEC '18, pages 3:1--3:10. ACM, 2018. [ bib | DOI | http | .pdf ]
[71]: Arjun Sanjeev, Venkatesh Choppella, and Viswanath Kasturi. Peterson's mutual exclusion algorithm as feedback control. In 2nd Symposium on Application of Formal Methods for Safety and Security of Safety Critical Systems (AFMSS 2018). Springer, 2018. Best Paper Award: 2nd Prize. [ bib | .pdf ]
[70]: Gollapudi VRJ Sai Prasad, Venkatesh Choppella, and Sridhar Chimalakonda. A style sheets based approach for semantic transformation of web pages. In Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Proceedings, volume 10722 of LNCS, pages 240--255, Bhubaneshwar, India, 2018. Springer. [ bib ]
[69]: Venkatesh Choppella, Kasturi Viswanath, and Arjun Sanjeev. Generalized dining philosophers and feedback control, 2018. arXiv:1805.02010v1. [ bib | .pdf ]
[68]: Sai VRJ Gollapudi, Soumya M. Saraswathi, and Venkatesh Choppella. Renarrating web pages for improving information accessibility. In Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, pages 1--7. IEEE, November 2017. [ bib | .pdf ]
[67]: Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, and Venkatesh Choppella. A lightweight approach for evaluating sufficiency of ontologies. In The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, pages 557--561, July 2017. [ bib | DOI | http | .pdf ]
[66]: Krishna Chaitanya Telikecherla, Akash Agrawall, and Venkatesh Choppella. A formal model of web security showing malicious cross origin requests and its mitigation using CORP. In Proc. 3rd International Conference on Information on Systems, Security and Privacy, ICISSP 2017. Porto, Portugal. Scitepress, February 2017. [ bib ]
[65]: Sai Prasad VRJ Gollapudi and Venkatesh Choppella. Notion of Semantics in Computer Science - A Systematic Literature Review. In Proceedings of the 14th International Conference on Natural Language Processing (ICON-2017), pages 513--522. NLP Association of India, 2017. [ bib | http ]
[64]: Akash Agrawall, Shubh Maheshwari, Projit Bandyopadhyay, and Venkatesh Choppella. Modelling and Mitigation of Cross-Origin Request Attacks on Federated Identity Management Using Cross Origin Request Policy, pages 263--282. Springer, 2017. [ bib | DOI | http | .pdf ]
[63]: Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, and Y. Raghu Reddy. An aspect oriented approach for renarrating web content. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, pages 56--65, New York, NY, USA, 2017. ACM. [ bib | DOI | http ]
[62]: Akash Agrawall, Krishna Chaitanya Telikicherla, Arnav Kumar Agrawal, and Venkatesh Choppella. Mitigating browser-based DDoS attacks using CORP. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, pages 137--146, New York, NY, USA, 2017. ACM. [ bib | DOI | http ]
[61]: Lalit Mohan S., Priya Raman, Venkatesh Choppella, and Y. R. Reddy. A crowdsourcing approach for quality enhancement of elearning systems. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, pages 188--194, New York, NY, USA, 2017. ACM. [ bib | DOI | http ]
[60]: Phillip G. Bradford and Venkatesh Choppella. Fast dyck constrained shortest paths. In Proc. 7th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON 2016). IEEE Explore, October 2016. [ bib ]
[59]: A. Singla, K. Desai, S. Purini, and V. Choppella. Distributed safety verification using vertex centric programming model. In 2016 15th International Symposium on Parallel and Distributed Computing (ISPDC), pages 114--120, July 2016. [ bib | DOI | .pdf ]
[58]: V. Choppella, G. Ahuja, and A. Mavalankar. How does a program run? a visual model based on annotating abstract syntax trees. In 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE), pages 38--42, March 2016. [ bib | DOI ]
[57]: Aditi Mavalankar, Tejaswinee Kelkar, and Venkatesh Choppella. Generation of quizzes and solutions based on ontologies -- a case for a music problem generator. In 2015 IEEE Seventh International Conference on Technology for Education (T4E), pages 73--76. IEEE, December 2015. [ bib | DOI | .pdf ]
[56]: Tejaswinee Kelkar, Anon Ray, and Venkatesh Choppella. Sangeetkosh: An open web platform for hindustani music education. In Proceedings of the 15 IEEE Conference on Advances in Learning Technologies, ICALT 2015, pages 5--9. IEEE, July 2015. [ bib ]
[55]: Garima Ahuja, Anubha Gupta, Harsh Wardhan, and Venkatesh Choppella. Assessing the impact of virtual labs: a case study with the lab on advanced vlsi. In Proceedings of the 15 IEEE Conference on Advances in Learning Technologies, ICALT 2015, pages 290--292. IEEE, July 2015. [ bib | DOI | .pdf ]
[54]: Venkatesh Choppella and Amulya Pulijala. Visual modeling of javascript. In Modeling Symposium, 8th India Software Engineering Conference, February 2015. Poster. [ bib ]
[53]: Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, and Thirumal Ravula. Large scale web page optimization of virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2014), pages 29--31. IEEE, December 2014. [ bib ]
[52]: Himanshu Zade, Santosh Adimoolam, Sai Gollapudi, Anind Dey, and Venkatesh Choppella. Edit distance modulo bisimulation: A quantitative measure to study evolution of user models. In Proceedings of the 32nd Annual ACM Conference on Human Factors in Computing Systems, CHI'14, pages 1757--1766. ACM, April 2014. [ bib | http ]
[51]: KrishnaChaitanya Telikicherla, Venkatesh Choppella, and Bruhadeshwar Bezawada. Corp: A browser policy to mitigate web infiltration attacks. In Atul Prakash and Rudrapatna Shyamasundar, editors, Information Systems Security, volume 8880 of Lecture Notes in Computer Science, pages 277--297. Springer International Publishing, 2014. [ bib | DOI | http ]
[50]: Krishna Chaitanya Telikicherla and Venkatesh Choppella. Enabling the development of safer mashups for open data. In Proceedings of the 1st International Workshop on Inclusive Web Programming - Programming on the Web with Open Data for Societal Applications, IWP 2014, pages 8--15, New York, NY, USA, 2014. ACM. [ bib | DOI | http ]
[49]: Gollapudi VRJ Sai Prasad, T. B. Dinesh, and Venkatesh Choppella. Overcoming the new accessibility challenges using the sweet framework. In Proceedings of the 11th Web for All Conference, W4A '14, pages 22:1--22:4, New York, NY, USA, 2014. ACM. [ bib | DOI | http ]
[48]: Jatin Agarwal, Utkarsh Rastogi, Prateek Pandey, Nurendra Choudhary, Venkatesh Choppella, and Raghu Reddy. Large scale web page optimization of virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2014), pages 146--147. IEEE, 2014. [ bib ]
[47]: Sai Gollapudi and Venkatesh Choppella. Descriptive study of college bound rural youth of ap, india. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013), pages 76--79. IEEE, December 2013. [ bib | .pdf ]
[46]: Krishna Chaitanya Telikicherla and Venkatesh Choppella. Alloy model for Cross Origin Request Policy (CORP). Technical Report IIIT/TR/2013/31, IIIT-Hyderabad, August 2013. http://web2py.iiit.ac.in/research_centres/publications/view_publication/techreport/112. [ bib ]
[45]: Venkatesh Choppella, K Viswanath, and P Manjula. Viewing algorithms as iterative systems and plotting their dynamic behaviour. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013), T4E 2013, pages 206--209. IEEE Press, 2013. [ bib | .pdf ]
[44]: Ankur Goel and Venkatesh Choppella. State based access control for open e-governance. In Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, ICEGOV '13, pages 19--27, New York, NY, USA, 2013. ACM. [ bib | DOI | http ]
[43]: Sourav Chatterjee, Pranitha Reddy, and Venkatesh Choppella. Automated restructuring of contents for virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013). IEEE Press, 2013. [ bib ]
[42]: Santosh Arvind Adimoolam, Venkatesh Choppella, and PVR Murthy. Verifying timed CTL contracts for continuous pure signal I/O automata by encoding as virtual environments. Technical Report IIIT/TR/2013/26, International Institute of Information Technology Hyderabad, 2013. [ bib ]
[41]: Himanshu Zade and Venkatesh Choppella. Functionality or user interface: which is easier to learn when changed? In IEEE 4th International Conference on Intelligent Human Computer Interaction (IHCI), pages 1--6. IEEE, December 2012. [ bib | .pdf ]
[40]: S. Malani, G.N.S. Prasanna, J.A. del Alamo, J.L. Hardison, K. Moudgalya, and V. Chopella. Issues faced in a remote instrumentation laboratory. In IEEE 4th International Conference on Technology for Education, pages 67--74. IEEE Press, 2012. [ bib ]
[39]: Sankalp Khare, Ishan Misra, and Venkatesh Choppella. Using org-mode and subversion for managing and publishing content in computer science courses. In IEEE 4th International Conference on Technology for Education, pages 220--223. IEEE Press, 2012. [ bib ]
[38]: Ankur Goel and Venkatesh Choppella. Algebraic modelling of educational workflows. In IEEE 4th International Conference on Technology for Education, pages 153--156. IEEE, 2012. [ bib | .pdf ]
[37]: T. B. Dinesh and Venkatesh Choppella. Alipi: Tools for a re-narration web. In Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A '12, pages 29:1--29:2, New York, NY, USA, 2012. ACM. Microsoft Accessibility Challenge: Delegates award. [ bib | DOI | http ]
[36]: Venkatesh Choppella, Hitesh Kumar, P. Manjula, and K. Viswanath. From high-school algebra to computing through functional programming. In IEEE 4th International Conference on Technology for Education, pages 180--183. IEEE Press, 2012. [ bib ]
[35]: T. B. Dinesh, S. Uskudarli, Subramanya Sastry, Deepti Aggarwal, and Venkatesh Choppella. Alipi: A framework for re-narrating web pages. In Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A '12, pages 22:1--22:4, New York, NY, USA, 2012. ACM. [ bib | DOI | http ]
[34]: Deepti Aggarwal, Rohit Ashok Khot, Vasudeva Varma, and Venkatesh Choppella. upick: Crowdsourcing based approach to extract relations among named entites. In Proceedings of the 2012 international conference on Human Computer Interaction, IndiaHCI'12, pages 1--8, 2012. [ bib ]
[33]: Venkatesh Choppella, Vamsikrishna Brahmajosyula, T B Dinesh, and Nadin Kokciyan. Towards a declarative workflow model for customizing group processes. In International Conference on Distributed Computing and Internet Technologies (ICDCIT 2011), February 2011. Oral presentation. [ bib ]
[32]: Venkatesh Choppella., V K Brahmajosyula, M. Vutpala., and S. Kole. Process models for virtual lab development, deployment and distribution. In IEEE 3rd International Conference on Technology for Education, pages 293--294. IEEE Press, 2011. [ bib ]
[31]: Rohit Khot and Venkatesh Choppella. Discovir: A framework for designing interfaces and structuring content for virtual labs. In IEEE 3rd International Conference on Technology for Education, pages 121--127. IEEE Press, 2011. [ bib ]
[30]: Vamsikrishna Brahmajosyula and Venkatesh Choppella. Modeling and programming with state variables. In 2nd Workshop on Advances in Model-based Software Engineering, 2011. Colocated with 4th ISEC 2011, Trivandrum India. [ bib ]
[29]: K.C. Bandi, A.K. Nori, V. Choppella, and S. Kode. A virtual laboratory for teaching linux on the web. In IEEE 3rd International Conference on Technology for Education, pages 212--215. IEEE Press, 2011. [ bib | .pdf ]
[28]: Vamsikrishna Brahmajosyula and Venkatesh Choppella. Modeling and programming with state variables. SETLAB Briefings, 9(4):3--10, 2011. [ bib ]
[27]: 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. [ bib | .pdf ]
[26]: Venkatesh Choppella. Foss, web2.0 and mashups as a natural learning management infrastructure. In IEEE Conf. on Technology for Education, July 2010. Conference tutorial. [ bib ]
[25]: 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. [ bib | .pdf ]
[24]: 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. [ bib | .pdf ]
[23]: 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. [ bib | .pdf ]
[22]: 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. [ bib | .pdf ]
[21]: 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. [ bib | .pdf ]
[20]: 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. [ bib | .pdf ]
[19]: 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. R. J. Bartlett Festschrift. [ bib | .pdf ]
[18]: V. Choppella and C. T. Haynes. Sourcetracking unification (revised and extended version). Information and Computation, 201(2):121--159, September 2005. Invited Submission. [ bib | .pdf ]
[17]: 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. [ bib | .pdf ]
[16]: Venkatesh Choppella. Polymorphic type reconstruction using type equations. In Greg Michaelson Phil Trinder and Recardo Pe na, 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. [ bib | .pdf ]
[15]: 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. [ bib | .pdf ]
[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. [ bib | .pdf ]
[13]: Venkatesh Choppella. A compositionality principle for unification. Accepted for publication at UNIF 2004, 2004. [ bib | .pdf ]
[12]: 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. [ bib | .pdf ]
[11]: Venkatesh Choppella and Chistopher 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. [ bib | .pdf ]
[10]: Venkatesh Choppella. Unification Source-tracking with Application to Diagnosis of Type Inference. PhD thesis, Indiana University, August 2002. IUCS Tech Report TR566. [ bib | http | .pdf ]
[9]: 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. [ bib | http ]
[8]: 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. [ bib | .pdf ]
[7]: Cristina Lopes, Gregor Kiczales, John Lamping, Erik Hilsdale, Venkatesh Choppella, and Taher Haveliwala. Aspect-Oriented System Monitoring and Tracing, 1999. Awarded April 2002. [ bib | .html ]
[6]: 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. [ bib | .pdf ]
[5]: Venkatesh Choppella and Chistopher T. Haynes. Diagnosis of ill-typed programs. Technical Report 426, Indiana University, February 1995. [ bib | .pdf ]
[4]: 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. [ bib ]
[3]: 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. [ bib | .pdf ]
[2]: 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. [ bib | .pdf ]
[1]: Venkatesh Choppella. Implementation of ml on the secd machine. Mtech thesis, IIT Madras, 1987. [ bib ]