Venkatesh Choppella

About

Venkatesh Choppella is Associate Professor at the International Institute of Information Technology Hyderabad, India. He was also associated with Indian Institute of Information Technology and Management – Kerala, Trivandrum, and is currently adjunct faculty at IIIT Bangalore.

He has held research and engineering positions in Hewlett Packard, Xerox Palo Alto Research Centre, Oak Ridge National Laboratory, and the Ohio State University in the United States. He holds a PhD. degree in Computer Science from Indiana University, Bloomington, USA, and Bachelors and Masters degrees from the Indian Institutes of Technology, Kanpur and Madras, respectively.

Venkatesh's current research interests are in formal methods and software architectures. In addition, he has an interest in computer science education and FOSS-based educational technology. He has published over 40 research papers and technical reports in the area of automated deduction, type systems, formal methods, and compilers for high performance computing. He holds one US patent.


Research Interests

  • Programming Languages
  • S/W Architectures
  • Formal Methods
  • CS Education

Publications

Journal

  • Venkatesh Choppella, Viswanath Kasturi, Arjun Sanjeev: Generalised Dining Philosophers as Feedback Control. CoRR 2018:
  • Krishna Chaitanya Telikicherla, Venkatesh Choppella, Bruhadeshwar Bezawada: CORP: A Browser Policy to Mitigate Web Infiltration Attacks. Information Systems Security, volume 8880 of LNCS, 2014 2014: 277-297
  • Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella: Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver. J. Parallel Distrib. Comput. 2006: 659-673
  • Venkatesh Choppella, Christopher T. Haynes: Source-tracking unification. Inf. Comput. 2005: 121-159
  • Gerald Baumgartner, Alexander A. Auer, David E. Bernholdt, Alina Bibireata, Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao, Robert J. Harrison, So Hirata, Sriram Krishnamoorthy, Sandhya Krishnan, Chi-Chung Lam, Qingda Lu, Marcel Nooijen, Russell M. Pitzer, J. Ramanujam, P. Sadayappan, Alexander Sibiryakov: Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models. Proceedings of the IEEE 2005: 276-292

Editorship

  • Venkatesh Choppella, Sridhar Iyer, Kinshuk: Seventh IEEE International Conference on Technology for Education, T4E 2015, Warangal, India, December 10-12, 2015 IEEE 2015:

Conference and Workshop

  • Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella, Sridhar Chimalakonda: A Style Sheets Based Approach for Semantic Transformation of Web Pages. ICDCIT 2018: 240-255
  • Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella: Towards a Domain-Specific Language for the Renarration of Web Pages. ISEC 2018: 3:1-3:10
  • Amar Banerjee, Venkatesh Choppella, Viswanath Kasturi, Swaminathan Natarajan, Padmalata V. Nistala, Kesav V. Nori: An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering. ISEC 2018: 5:1-5:11
  • Arjun Sanjeev, Venkatesh Choppella, Viswanath Kasturi: Peterson’s Mutual Exclusion Algorithm as Feedback Control. 2nd Symposium on Application of Formal Methods for Safety Security of Critical Systems 2018:
  • Lalit Mohan Sanagavarapu, Venkatesh Choppella, Y. Raghu Reddy: Model Driven Approach for Virtual Lab Authoring - Chemical Sciences Labs. ICALT 2018: 241-243
  • Mrityunjay Kumar, Jessica Emory, Venkatesh Choppella: Usability Analysis of Virtual Labs. ICALT 2018: 238-240
  • Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, Y. Raghu Reddy: An Aspect Oriented Approach for Renarrating Web Content. ISEC 2017: 56-65
  • Akash Agrawall, Krishna Chaitanya, Arnav Kumar Agrawal, Venkatesh Choppella: Mitigating Browser-based DDoS Attacks using CORP. ISEC 2017: 137-146
  • Lalit Mohan S., Priya Raman, Venkatesh Choppella, Y. Raghu Reddy: A Crowdsourcing Approach for Quality Enhancement of eLearning Systems. ISEC 2017: 188-194
  • Krishna Chaitanya Telikicherla, Akash Agrawall, Venkatesh Choppella: A Formal Model of Web Security Showing Malicious Cross Origin Requests and Its Mitigation using CORP. ICISSP 2017: 516-523
  • Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, Venkatesh Choppella: A Lightweight Approach for Evaluating Sufficiency of Ontologies. SEKE 2017: 557-561
  • Akash Agrawall, Shubh Maheshwari, Projit Bandyopadhyay, Venkatesh Choppella: Modelling and Mitigation of Cross-Origin Request Attacks on Federated Identity Management Using Cross Origin Request Policy. ICISS 2017: 263-282
  • Gollapudi V. R. J. Sai Prasad, Maddala Saraswati Soumya, Venkatesh Choppella: Renarrating web pages for improving information accessibility. ISKE 2017: 1-8
  • Sai Gollapudi, Venkatesh Choppella: Notion of Semantics in Computer Science A Systematic Literature. 14th International Conference on Natural Language Processing 2017:
  • Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella: Distributed Safety Verification Using Vertex Centric Programming Model. International Symposium on Parallel and Distributed Computing 2016:
  • Venkatesh Choppella, Garima Ahuja, Aditi Mavalankar: How Does a Program Run? A Visual Model Based on Annotating Abstract Syntax Trees. LaTiCE 2016: 38-42
  • Phillip G. Bradford, Venkatesh Choppella: Fast point-to-point Dyck constrained shortest paths on a DAG (Extended abstract). UEMCON 2016: 1-7
  • Tejaswinee Kelkar, Anon Ray, Venkatesh Choppella: SangeetKosh: An Open Web Platform for Music Education. ICALT 2015: 5-9
  • Garima Ahuja, Anubha Gupta, Harsh Wardhan, Venkatesh Choppella: Assessing the Impact of Virtual Labs: A Case Study with the Lab on Advanced VLSI. ICALT 2015: 290-292
  • Aditi Mavalankar, Tejaswinee Kelkar, Venkatesh Choppella: Generation of Quizzes and Solutions Based on Ontologies - A Case for a Music Problem Generator. T4E 2015: 73-76
  • Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, Thirumal Ravula: Any Time Virtual Labs: On Portable Media and as Debian Packages 6th IEEE International Conference on Technology for Education (T4E) 2014: 28-31
  • Jatin Agarwal, Utkarsh Rastogi, Pandey Pandey, Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy: Large Scale Web Page Optimization of Virtual Labs 6th IEEE International Conference on Technology for Education (T4E) 2014: 146-147
  • Himanshu Zade, Santosh Arvind Adimoolam, Sai Gollapudi, Anind K. Dey, Venkatesh Choppella: Edit distance modulo bisimulation: a quantitative measure to study evolution of user models. CHI 2014: 1757-1766
  • Krishna Chaitanya Telikicherla, Venkatesh Choppella: Enabling the development of safer mashups for open data. IWP 2014: 8-15
  • Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, Thirumal Ravula: Any Time Virtual Labs: On Portable Media and as Debian Packages. T4E 2014: 28-31
  • Jatin Agarwal, Utkarsh Rastogiy, Prateek Pandey, Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy: Large Scale Web Page Optimization of Virtual Labs. T4E 2014: 146-147
  • Gollapudi Vrj Sai Prasad, T. B. Dinesh, Venkatesh Choppella: Overcoming the new accessibility challenges using the sweet framework. W4A 2014: 22:1-22:4
  • Deepti Aggarwal, Rohit Ashok Khot, Venkatesh Choppella: Power of friends: when friends guess about their friends' guess. CHI Extended Abstracts 2013: 907-912
  • Ankur Goel, Venkatesh Choppella: State based access control for open e-governance. ICEGOV 2013: 19-27
  • Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella: Descriptive Study of College Bound Rural Youth of AP, India. T4E 2013: 76-79
  • Venkatesh Choppella, Viswanath Kasturi, Manjula Pidaparty: Viewing Algorithms as Iterative Systems and Plotting Their Dynamic Behaviour. T4E 2013: 206-209
  • Himanshu Zade, Venkatesh Choppella: Functionality or user interface: Which is easier to learn when changed? IHCI 2012: 1-6
  • Ankur Goel, Venkatesh Choppella: Algebraic Modelling of Educational Workflows. T4E 2012: 153-156
  • Venkatesh Choppella, Hitesh Kumar, Manjula Pidaparty, Viswanath Kasturi: From High-School Algebra to Computing through Functional Programming. T4E 2012: 180-183
  • Sankalp Khare, Yishan Misra, Venkatesh Choppella: Using Org-mode and Subversion for Managing and Publishing Content in Computer Science Courses. T4E 2012: 220-223
  • T. B. Dinesh, Susan M. skdarli, Subramanya Sastry, Deepti Aggarwal, Venkatesh Choppella: Alipi: a framework for re-narrating web pages. W4A 2012: 22
  • T. B. Dinesh, Venkatesh Choppella: Alipi: tools for a re-narration web. W4A 2012: 29
  • Rohit Ashok Khot, Venkatesh Choppella: DISCOVIR: A Framework for Designing Interfaces and Structuring Content for Virtual Labs. T4E 2011: 121-127
  • Krishna Chaitanya Bandi, Aditya Kiran Nori, Venkatesh Choppella, Sandhya Kode: A Virtual Laboratory for Teaching Linux on the Web. T4E 2011: 212-215
  • Venkatesh Choppella, Vamsi Krishna Brahmajosyula, Medhamsh Vutpala, Sukant Kole: Process Models for Virtual Lab Development, Deployment and Distribution. T4E 2011: 293-294
  • Thulasi Ram Naidu, Manisha Verma, Venkatesh Choppella, Gangadhar Chalapakay: Synthesizing customizable learning environments. T4E 2010: 122-129
  • Venkatesh Choppella, K. R. Srivathsan: Fostering community interaction through the Trivandrum City Police Portal. ICEGOV 2009: 365-368
  • Albert Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russell M. Pitzer, J. Ramanujam, Atanas Rountev, P. Sadayappan: Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations. International Conference on Computational Science (1) 2006: 267-275
  • Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella: Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver. IPDPS 2004:
  • Venkatesh Choppella, Christopher T. Haynes: Source-Tracking Unification. CADE 2003: 458-472
  • Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella: Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms. HiPC 2003: 406-417
  • Alina Bibireata, Sandhya Krishnan, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella: Memory-Constrained Data Locality Optimization for Tensor Contractions. LCPC 2003: 93-108
  • Madhusudhan Govindaraju, Aleksander Slominski, Venkatesh Choppella, Randall Bramley, Dennis Gannon: Requirements for and Evaluation of RMI Protocols for Scientific Computing. SC 2000: 61
  • Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella: A Tutorial on Digital Design Derivation Using DRS. FMCAD 1996: 270-274
  • Phillip G. Bradford, Venkatesh Choppella, Gregory J. E. Rawlins: Lower Bounds for the Matrix Chain Ordering Problem (Extended bstract). LATIN 1995: 112-130