Venkatesh Choppella

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 45

Top Topics

Knowledge Driven

Transition Systems

Top Venues

Publications

Mrityunjay Kumar, Venkatesh Choppella
Enhancing MVC architecture pattern description using its System of Systems model. ISEC (2024)
K. S. Viswanadh, Akshit Gureja, Nagesh Walchatwar, Rishabh Agrawal, Shiven Sinha, Sachin Chaudhari, Karthik Vaidhyanathan, Venkatesh Choppella, Prabhakar Bhimalapuram, Harikumar Kandath, Aftab M. Hussain
Engineering End-to-End Remote Labs using IoT-based Retrofitting. CoRR (2024)
Amar Banerjee, Venkatesh Choppella
Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design. IEEE Access 11 (2023)
Brett A. Becker, Venkatesh Choppella
ACM CompEd Resumes After Two-year Delay! ACM SIGCSE Bull. 55 (1) (2023)
Pranav Vats, Venkatesh Choppella
Trace to Follow, Run to Explore: A Demonstration using Interactive Sorting. CompEd (2) (2023)
Akshit Gureja, Rishabh Agrawal, Sachin Chaudhari, Karthik Vaidhyanathan, Venkatesh Choppella
Software Architecture for Multi-User Multiplexing to Enhance Scalability in IoT-Based Remote Labs. WF-IoT (2023)
Mrityunjay Kumar, Venkatesh Choppella
Systems Modeling for novice engineers to comprehend software products better. CoRR (2023)
Mrityunjay Kumar, Venkatesh Choppella
Is Transition Systems Approach of Modeling Software Systems Hard to Learn and Use? CompEd (2) (2023)
Mrityunjay Kumar, Venkatesh Choppella
A modeling language for novice engineers to design well at SaaS product companies. ISEC (2023)
Andrew Luxton-Reilly, Michelle Craig, Venkatesh Choppella, BD Phatak
CompEd 2023 Call for Papers. ACM SIGCSE Bull. 55 (2) (2023)
Mrityunjay Kumar, Venkatesh Choppella
Modeling Model-View-Controller (MVC) Architecture Pattern as System of Systems (SoS) to Aid Comprehension and Reasoning. CompEd (2) (2023)
Mrityunjay Kumar, Venkatesh Choppella
Evaluating the difficulty for novice engineers in learning and using Transition Systems for modeling software systems. COMPUTE (2023)
Mrityunjay Kumar, Venkatesh Choppella
A study of the design and documentation skills of industry-ready CS students. CoRR (2022)
Mrityunjay Kumar, Venkatesh Choppella
A study of the design and documentation skills of industry-ready CS students. COMPUTE (2022)
Amar Banerjee, Subhrojyoti C., Barnali B., Dhankshinamoorthy R., Rajesh N., Venkatesh Choppella
Knowledge Driven Approach to Auto-Generate Digital Twins for Industrial Plants. CIKM Workshops (2021)
Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar
Algodynamics: Algorithms as systems. FIE (2021)
Venkatesh Choppella, Manoranjan Satpathy
A Report on the PhD Symposium at ISEC 2021. ISEC (2021)
Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini, Venkatesh Choppella
Model Checking as a Service using Dynamic Resource Scaling. HiPC (2020)
Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman
Generalised Dining Philosophers as Feedback Control. ICDCIT (2020)
Lalit Mohan Sanagavarapu, Mrudhivka Damaraju, Ravi Shankar Pillutla, Venkatesh Choppella, Y. Raghu Reddy, Priya Raman
An SE approach for CoCo Learning of Virtual Labs. CSEE&T (2020)
Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar, Ojas Mohril
Algodynamics: Teaching Algorithms using Interactive Transition Systems. CoRR (2020)
Subhrojyoti Roy Chaudhuri, Swaminathan Natarajan, Amar Banerjee, Venkatesh Choppella
Methodology to develop domain specific modeling languages. DSM@SPLASH (2019)
Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella, Lalit Mohan Sanagavarapu, Sridhar Chimalakonda, Y. Raghu Reddy
Promoting better financial inclusion through web page transformation - a systematic literature review. J. Bank. Financial Technol. 3 (2) (2019)
Venkatesh Choppella, Aseem Rastogi
Tutorials and Technical Briefings at ISEC 2019. ISEC (2019)
Mrityunjay Kumar, Venkatesh Choppella, Sanjana Sunil, Sumaid Syed
A Learnable-by-Design (LEAD) Model for Designing Experiments for Computer Science Labs. T4E (2019)
Ravi Shankar Pillutla, Lalit Mohan S., Venkatesh Choppella, Avni Jesrani, Priya Raman, Y. Raghu Reddy
Towards Massively Open Online Virtual Internships in Computing Education. T4E (2019)
Ravi Shankar Pillutla, Venkatesh Choppella, Lalit Mohan S., Mrudhvika Dammaraju, Priya Raman
Enhancing Virtual Labs Usage in Colleges. T4E (2019)
Subhrojyoti Roy Chaudhuri, Amar Banerjee, N. Swaminathan, Venkatesh Choppella, Arpan Pal, P. Balamurali
A knowledge centric approach to conceptualizing robotic solutions. ISEC (2019)
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)
Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella
Towards a Domain-Specific Language for the Renarration of Web Pages. ISEC (2018)
Mrityunjay Kumar, Jessica Emory, Venkatesh Choppella
Usability Analysis of Virtual Labs. ICALT (2018)
Lalit Mohan Sanagavarapu, Venkatesh Choppella, Y. Raghu Reddy
Model Driven Approach for Virtual Lab Authoring - Chemical Sciences Labs. ICALT (2018)
Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella, Sridhar Chimalakonda
A Style Sheets Based Approach for Semantic Transformation of Web Pages. ICDCIT (2018)
Venkatesh Choppella, Viswanath Kasturi, Arjun Sanjeev
Generalised Dining Philosophers as Feedback Control. CoRR (2018)
Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, Y. Raghu Reddy
An Aspect Oriented Approach for Renarrating Web Content. ISEC (2017)
Akash Agrawall, Krishna Chaitanya, Arnav Kumar Agrawal, Venkatesh Choppella
Mitigating Browser-based DDoS Attacks using CORP. ISEC (2017)
Gollapudi V. R. J. Sai Prasad, Maddala Saraswati Soumya, Venkatesh Choppella
Renarrating web pages for improving information accessibility. ISKE (2017)
Lalit Mohan S., Priya Raman, Venkatesh Choppella, Y. Raghu Reddy
A Crowdsourcing Approach for Quality Enhancement of eLearning Systems. ISEC (2017)
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)
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)
Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, Venkatesh Choppella
A Lightweight Approach for Evaluating Sufficiency of Ontologies. SEKE (2017)
Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella
Notion of Semantics in Computer Science - A Systematic Literature Review. ICON (2017)
Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella
Distributed Safety Verification Using Vertex Centric Programming Model. ISPDC (2016)
Phillip G. Bradford, Venkatesh Choppella
Fast point-to-point Dyck constrained shortest paths on a DAG (Extended abstract). UEMCON (2016)
Venkatesh Choppella, Garima Ahuja, Aditi Mavalankar
How Does a Program Run? A Visual Model Based on Annotating Abstract Syntax Trees. LaTiCE (2016)
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)
Aditi Mavalankar, Tejaswinee Kelkar, Venkatesh Choppella
Generation of Quizzes and Solutions Based on Ontologies - A Case for a Music Problem Generator. T4E (2015)
Tejaswinee Kelkar, Anon Ray, Venkatesh Choppella
SangeetKosh: An Open Web Platform for Music Education. ICALT (2015)
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)
Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, Thirumal Ravula
Any Time Virtual Labs: On Portable Media and as Debian Packages. T4E (2014)
Gollapudi V. R. J. Sai Prasad, T. B. Dinesh, Venkatesh Choppella
Overcoming the new accessibility challenges using the sweet framework. W4A (2014)
Krishna Chaitanya Telikicherla, Venkatesh Choppella
Enabling the development of safer mashups for open data. IWP (2014)
Jatin Agarwal, Utkarsh Rastogiy, Prateek Pandey, Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy
Large Scale Web Page Optimization of Virtual Labs. T4E (2014)
Krishna Chaitanya Telikicherla, Venkatesh Choppella, Bruhadeshwar Bezawada
CORP: A Browser Policy to Mitigate Web Infiltration Attacks. ICISS (2014)
Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella
Descriptive Study of College Bound Rural Youth of AP, India. T4E (2013)
Venkatesh Choppella, Viswanath Kasturi, Manjula Pidaparty
Viewing Algorithms as Iterative Systems and Plotting Their Dynamic Behaviour. T4E (2013)
Ankur Goel, Venkatesh Choppella
State based access control for open e-governance. ICEGOV (2013)
Deepti Aggarwal, Rohit Ashok Khot, Venkatesh Choppella
Power of friends: when friends guess about their friends' guess. CHI Extended Abstracts (2013)
T. B. Dinesh, Susan M. Üsküdarli, Subramanya Sastry, Deepti Aggarwal, Venkatesh Choppella
Alipi: a framework for re-narrating web pages. W4A (2012)
Ankur Goel, Venkatesh Choppella
Algebraic Modelling of Educational Workflows. T4E (2012)
T. B. Dinesh, Venkatesh Choppella
Alipi: tools for a re-narration web. W4A (2012)
Venkatesh Choppella, Hitesh Kumar, Manjula Pidaparty, Viswanath Kasturi
From High-School Algebra to Computing through Functional Programming. T4E (2012)
Sankalp Khare, Yishan Misra, Venkatesh Choppella
Using Org-mode and Subversion for Managing and Publishing Content in Computer Science Courses. T4E (2012)
Himanshu Zade, Venkatesh Choppella
Functionality or user interface: Which is easier to learn when changed? IHCI (2012)
Rohit Ashok Khot, Venkatesh Choppella
DISCOVIR: A Framework for Designing Interfaces and Structuring Content for Virtual Labs. T4E (2011)
Krishna Chaitanya Bandi, Aditya Kiran Nori, Venkatesh Choppella, Sandhya Kode
A Virtual Laboratory for Teaching Linux on the Web. T4E (2011)
Venkatesh Choppella, Vamsi Krishna Brahmajosyula, Medhamsh Vutpala, Sukant Kole
Process Models for Virtual Lab Development, Deployment and Distribution. T4E (2011)
Thulasi Ram Naidu, Manisha Verma, Venkatesh Choppella, Gangadhar Chalapakay
Synthesizing customizable learning environments. T4E (2010)
Venkatesh Choppella, K. R. Srivathsan
Fostering community interaction through the Trivandrum City Police Portal. ICEGOV (2009)
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 Distributed Comput. 66 (5) (2006)
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)
Venkatesh Choppella, Christopher T. Haynes
Source-tracking unification. Inf. Comput. 201 (2) (2005)
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. Proc. IEEE 93 (2) (2005)
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)
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)
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)
Venkatesh Choppella
Polymorphic Type Reconstruction Using Type Equations. IFL (2003)
Madhusudhan Govindaraju, Aleksander Slominski, Venkatesh Choppella, Randall Bramley, Dennis Gannon
Requirements for and Evaluation of RMI Protocols for Scientific Computing. SC (2000)
Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
A Tutorial on Digital Design Derivation Using DRS. FMCAD (1996)
Kamlesh Rath, Venkatesh Choppella, Steven D. Johnson
Decomposition of Sequential Behavior Using Interface Specification and Complementation. VLSI Design 3 (3-4) (1995)
Phillip G. Bradford, Venkatesh Choppella, Gregory J. E. Rawlins
Lower Bounds for the Matrix Chain Ordering Problem (Extended bstract). LATIN (1995)