Venkatesh Choppella

96 papers A* 1A 3B 6C 4Misc 8Journal 19Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Knowledge-Driven Approach for Dynamic Reconfiguration of Control Design in Internet of Things and Cyber-Physical Systems. IEEE Internet Things J. Amar Banerjee, Venkatesh Choppella
2025	—	`conf`	A Scaffolded Approach for Tracing Control-Flow in Simplified Python Programs. ITiCSE (1) Gnaneswar Kulindala, Anushka Srikanth, Venkatesh Choppella
2025	J	`jnl`	Control Software Engineering Approaches for Cyber-Physical Systems: A Systematic Mapping Study. ACM Trans. Cyber Phys. Syst. Amar Banerjee, Venkatesh Choppella
2025	J	`jnl`	Early Results from Teaching Modelling for Software Comprehension in New-Hire Onboarding. CoRR Mrityunjay Kumar, Venkatesh Choppella
2025	J	`jnl`	Engineering End-to-End Remote Labs Using IoT-Based Retrofitting. IEEE Access Savitha Viswanadh Kandala, Akshit Gureja, Nagesh Walchatwar, Rishabh Agrawal, Shiven Sinha, Sachin Chaudhari, Karthik Vaidhyanathan, Venkatesh Choppella, Prabhakar Bhimalapuram, Harikumar Kandath, Aftab M. Hussain
2025	—	`conf`	Mapcode Machines for Expressing and Tracing Iterative Algorithms. CompEd (1) Gnaneswar Kulindala, Anushka Srikanth, Venkatesh Choppella, Muhammed Shamil Karippayi
2025	J	`jnl`	SimpliPy: A Source-Tracking Notional Machine for Simplified Python. CoRR Moida Praneeth Jain, Venkatesh Choppella
2024	J	`jnl`	Engineering End-to-End Remote Labs using IoT-based Retrofitting. CoRR K. S. Viswanadh, Akshit Gureja, Nagesh Walchatwar, Rishabh Agrawal, Shiven Sinha, Sachin Chaudhari, Karthik Vaidhyanathan, Venkatesh Choppella, Prabhakar Bhimalapuram, Harikumar Kandath, Aftab M. Hussain
2024	—	`conf`	Enhancing MVC architecture pattern description using its System of Systems model. ISEC Mrityunjay Kumar, Venkatesh Choppella
2024	J	`jnl`	Knowledge-Aided Integrated Development Environment for Control Software Development. Comput. Sci. Eng. Amar Banerjee, Venkatesh Choppella
2024	—	`ed.`	Working Group Reports on 2023 ACM Conference on Global Computing Education, CompEd 2023, Hyderabad, India, December 5-9, 2023 CompEd (Working Group Reports) Venkatesh Choppella, Deepak B. Phatak, Andrew Luxton-Reilly, Michelle Craig
2023	—	`conf`	A modeling language for novice engineers to design well at SaaS product companies. ISEC Mrityunjay Kumar, Venkatesh Choppella
2023	J	`jnl`	ACM CompEd Resumes After Two-year Delay! ACM SIGCSE Bull. Brett A. Becker, Venkatesh Choppella
2023	J	`jnl`	CompEd 2023 Call for Papers. ACM SIGCSE Bull. Andrew Luxton-Reilly, Michelle Craig, Venkatesh Choppella, BD Phatak
2023	—	`conf`	Evaluating the difficulty for novice engineers in learning and using Transition Systems for modeling software systems. COMPUTE Mrityunjay Kumar, Venkatesh Choppella
2023	—	`conf`	Is Transition Systems Approach of Modeling Software Systems Hard to Learn and Use? CompEd (2) Mrityunjay Kumar, Venkatesh Choppella
2023	J	`jnl`	Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design. IEEE Access Amar Banerjee, Venkatesh Choppella
2023	—	`conf`	Modeling Model-View-Controller (MVC) Architecture Pattern as System of Systems (SoS) to Aid Comprehension and Reasoning. CompEd (2) Mrityunjay Kumar, Venkatesh Choppella
2023	—	`ed.`	Proceedings of the ACM Conference on Global Computing Education Vol 1, CompEd 2023, Hyderabad, India, December 5-9, 2023 CompEd (1) Venkatesh Choppella, Deepak B. Phatak, Andrew Luxton-Reilly, Michelle Craig
2023	—	`ed.`	Proceedings of the ACM Conference on Global Computing Education Vol 2, CompEd 2023, Hyderabad, India, December 5-9, 2023 CompEd (2) Venkatesh Choppella, Deepak B. Phatak, Andrew Luxton-Reilly, Michelle Craig
2023	—	`conf`	Software Architecture for Multi-User Multiplexing to Enhance Scalability in IoT-Based Remote Labs. WF-IoT Akshit Gureja, Rishabh Agrawal, Sachin Chaudhari, Karthik Vaidhyanathan, Venkatesh Choppella
2023	J	`jnl`	Systems Modeling for novice engineers to comprehend software products better. CoRR Mrityunjay Kumar, Venkatesh Choppella
2023	—	`conf`	Trace to Follow, Run to Explore: A Demonstration using Interactive Sorting. CompEd (2) Pranav Vats, Venkatesh Choppella
2022	—	`conf`	A study of the design and documentation skills of industry-ready CS students. COMPUTE Mrityunjay Kumar, Venkatesh Choppella
2022	J	`jnl`	A study of the design and documentation skills of industry-ready CS students. CoRR Mrityunjay Kumar, Venkatesh Choppella
2022	—	`ed.`	COMPUTE 2022, Jaipur, India, November 9-11, 2022 COMPUTE Venkatesh Choppella, Amey Karkare, Chitra Babu, Sridhar Chimalakonda
2022	—	`conf`	CV and IoT-based Remote Triggered Labs: Use Case of Conservation of Mechanical Energy. FiCloud K. S. Viswanadh, O. Kathalkar, P. Vinzey, Nitin Nilesh, Sachin Chaudhari, Venkatesh Choppella
2021	—	`conf`	A Report on the PhD Symposium at ISEC 2021. ISEC Venkatesh Choppella, Manoranjan Satpathy
2021	C	`conf`	Algodynamics: Algorithms as systems. FIE Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar
2021	—	`conf`	Knowledge Driven Approach to Auto-Generate Digital Twins for Industrial Plants. CIKM Workshops Amar Banerjee, Subhrojyoti C., Barnali B., Dhankshinamoorthy R., Rajesh N., Venkatesh Choppella
2020	J	`jnl`	Algodynamics: Teaching Algorithms using Interactive Transition Systems. CoRR Venkatesh Choppella, Viswanath Kasturi, Mrityunjay Kumar, Ojas Mohril
2020	—	`conf`	An SE approach for CoCo Learning of Virtual Labs. CSEE&T Lalit Mohan Sanagavarapu, Mrudhivka Damaraju, Ravi Shankar Pillutla, Venkatesh Choppella, Y. Raghu Reddy, Priya Raman
2020	Misc	`conf`	Generalised Dining Philosophers as Feedback Control. ICDCIT Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman
2020	Misc	`conf`	Model Checking as a Service using Dynamic Resource Scaling. HiPC Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini, Venkatesh Choppella
2019	—	`conf`	A Learnable-by-Design (LEAD) Model for Designing Experiments for Computer Science Labs. T4E Mrityunjay Kumar, Venkatesh Choppella, Sanjana Sunil, Sumaid Syed
2019	—	`conf`	A knowledge centric approach to conceptualizing robotic solutions. ISEC Subhrojyoti Roy Chaudhuri, Amar Banerjee, N. Swaminathan, Venkatesh Choppella, Arpan Pal, P. Balamurali
2019	—	`conf`	Enhancing Virtual Labs Usage in Colleges. T4E Ravi Shankar Pillutla, Venkatesh Choppella, Lalit Mohan S., Mrudhvika Dammaraju, Priya Raman
2019	—	`conf`	Methodology to develop domain specific modeling languages. DSM@SPLASH Subhrojyoti Roy Chaudhuri, Swaminathan Natarajan, Amar Banerjee, Venkatesh Choppella
2019	J	`jnl`	Promoting better financial inclusion through web page transformation - a systematic literature review. J. Bank. Financial Technol. Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella, Lalit Mohan Sanagavarapu, Sridhar Chimalakonda, Y. Raghu Reddy
2019	—	`conf`	Towards Massively Open Online Virtual Internships in Computing Education. T4E Ravi Shankar Pillutla, Lalit Mohan S., Venkatesh Choppella, Avni Jesrani, Priya Raman, Y. Raghu Reddy
2019	—	`conf`	Tutorials and Technical Briefings at ISEC 2019. ISEC Venkatesh Choppella, Aseem Rastogi
2018	Misc	`conf`	A Style Sheets Based Approach for Semantic Transformation of Web Pages. ICDCIT Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella, Sridhar Chimalakonda
2018	—	`conf`	An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering. ISEC Amar Banerjee, Venkatesh Choppella, Viswanath Kasturi, Swaminathan Natarajan, Padmalata V. Nistala, Kesav V. Nori
2018	J	`jnl`	Generalised Dining Philosophers as Feedback Control. CoRR Venkatesh Choppella, Viswanath Kasturi, Arjun Sanjeev
2018	B	`conf`	Model Driven Approach for Virtual Lab Authoring - Chemical Sciences Labs. ICALT Lalit Mohan Sanagavarapu, Venkatesh Choppella, Y. Raghu Reddy
2018	—	`conf`	Towards a Domain-Specific Language for the Renarration of Web Pages. ISEC Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella
2018	B	`conf`	Usability Analysis of Virtual Labs. ICALT Mrityunjay Kumar, Jessica Emory, Venkatesh Choppella
2017	—	`conf`	A Crowdsourcing Approach for Quality Enhancement of eLearning Systems. ISEC Lalit Mohan S., Priya Raman, Venkatesh Choppella, Y. Raghu Reddy
2017	C	`conf`	A Formal Model of Web Security Showing Malicious Cross Origin Requests and Its Mitigation using CORP. ICISSP Krishna Chaitanya Telikicherla, Akash Agrawall, Venkatesh Choppella
2017	C	`conf`	A Lightweight Approach for Evaluating Sufficiency of Ontologies. SEKE Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, Venkatesh Choppella
2017	—	`conf`	An Aspect Oriented Approach for Renarrating Web Content. ISEC Gollapudi V. R. J. Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, Y. Raghu Reddy
2017	—	`conf`	Mitigating Browser-based DDoS Attacks using CORP. ISEC Akash Agrawall, Krishna Chaitanya, Arnav Kumar Agrawal, Venkatesh Choppella
2017	Misc	`conf`	Modelling and Mitigation of Cross-Origin Request Attacks on Federated Identity Management Using Cross Origin Request Policy. ICISS Akash Agrawall, Shubh Maheshwari, Projit Bandyopadhyay, Venkatesh Choppella
2017	—	`conf`	Notion of Semantics in Computer Science - A Systematic Literature Review. ICON Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella
2017	Misc	`conf`	Renarrating web pages for improving information accessibility. ISKE Gollapudi V. R. J. Sai Prasad, Maddala Saraswati Soumya, Venkatesh Choppella
2016	C	`conf`	Distributed Safety Verification Using Vertex Centric Programming Model. ISPDC Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella
2016	—	`conf`	Fast point-to-point Dyck constrained shortest paths on a DAG (Extended abstract). UEMCON Phillip G. Bradford, Venkatesh Choppella
2016	—	`conf`	How Does a Program Run? A Visual Model Based on Annotating Abstract Syntax Trees. LaTiCE Venkatesh Choppella, Garima Ahuja, Aditi Mavalankar
2015	B	`conf`	Assessing the Impact of Virtual Labs: A Case Study with the Lab on Advanced VLSI. ICALT Garima Ahuja, Anubha Gupta, Harsh Wardhan, Venkatesh Choppella
2015	—	`conf`	Generation of Quizzes and Solutions Based on Ontologies - A Case for a Music Problem Generator. T4E Aditi Mavalankar, Tejaswinee Kelkar, Venkatesh Choppella
2015	B	`conf`	SangeetKosh: An Open Web Platform for Music Education. ICALT Tejaswinee Kelkar, Anon Ray, Venkatesh Choppella
2015	—	`ed.`	Seventh IEEE International Conference on Technology for Education, T4E 2015, Warangal, India, December 10-12, 2015 T4E Venkatesh Choppella, Sridhar Iyer, Kinshuk
2014	—	`conf`	Any Time Virtual Labs: On Portable Media and as Debian Packages. T4E Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, Thirumal Ravula
2014	Misc	`conf`	CORP: A Browser Policy to Mitigate Web Infiltration Attacks. ICISS Krishna Chaitanya Telikicherla, Venkatesh Choppella, Bruhadeshwar Bezawada
2014	A*	`conf`	Edit distance modulo bisimulation: a quantitative measure to study evolution of user models. CHI Himanshu Zade, Santosh Arvind Adimoolam, Sai Gollapudi, Anind K. Dey, Venkatesh Choppella
2014	—	`conf`	Enabling the development of safer mashups for open data. IWP Krishna Chaitanya Telikicherla, Venkatesh Choppella
2014	—	`conf`	Large Scale Web Page Optimization of Virtual Labs. T4E Jatin Agarwal, Utkarsh Rastogiy, Prateek Pandey, Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy
2014	—	`conf`	Overcoming the new accessibility challenges using the sweet framework. W4A Gollapudi V. R. J. Sai Prasad, T. B. Dinesh, Venkatesh Choppella
2013	—	`conf`	Descriptive Study of College Bound Rural Youth of AP, India. T4E Gollapudi V. R. J. Sai Prasad, Venkatesh Choppella
2013	—	`conf`	Power of friends: when friends guess about their friends' guess. CHI Extended Abstracts Deepti Aggarwal, Rohit Ashok Khot, Venkatesh Choppella
2013	—	`conf`	State based access control for open e-governance. ICEGOV Ankur Goel, Venkatesh Choppella
2013	—	`conf`	Viewing Algorithms as Iterative Systems and Plotting Their Dynamic Behaviour. T4E Venkatesh Choppella, Viswanath Kasturi, Manjula Pidaparty
2012	—	`conf`	Algebraic Modelling of Educational Workflows. T4E Ankur Goel, Venkatesh Choppella
2012	—	`conf`	Alipi: a framework for re-narrating web pages. W4A T. B. Dinesh, Susan M. Üsküdarli, Subramanya Sastry, Deepti Aggarwal, Venkatesh Choppella
2012	—	`conf`	Alipi: tools for a re-narration web. W4A T. B. Dinesh, Venkatesh Choppella
2012	—	`conf`	From High-School Algebra to Computing through Functional Programming. T4E Venkatesh Choppella, Hitesh Kumar, Manjula Pidaparty, Viswanath Kasturi
2012	—	`conf`	Functionality or user interface: Which is easier to learn when changed? IHCI Himanshu Zade, Venkatesh Choppella
2012	—	`conf`	Using Org-mode and Subversion for Managing and Publishing Content in Computer Science Courses. T4E Sankalp Khare, Yishan Misra, Venkatesh Choppella
2011	—	`conf`	A Virtual Laboratory for Teaching Linux on the Web. T4E Krishna Chaitanya Bandi, Aditya Kiran Nori, Venkatesh Choppella, Sandhya Kode
2011	—	`conf`	DISCOVIR: A Framework for Designing Interfaces and Structuring Content for Virtual Labs. T4E Rohit Ashok Khot, Venkatesh Choppella
2011	—	`conf`	Process Models for Virtual Lab Development, Deployment and Distribution. T4E Venkatesh Choppella, Vamsi Krishna Brahmajosyula, Medhamsh Vutpala, Sukant Kole
2010	—	`conf`	Synthesizing customizable learning environments. T4E Thulasi Ram Naidu, Manisha Verma, Venkatesh Choppella, Gangadhar Chalapakay
2009	—	`conf`	Fostering community interaction through the Trivandrum City Police Portal. ICEGOV Venkatesh Choppella, K. R. Srivathsan
2006	J	`jnl`	Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver. J. Parallel Distributed Comput. Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella
2006	Misc	`conf`	Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations. International Conference on Computational Science (1) 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
2005	J	`jnl`	Source-tracking unification. Inf. Comput. Venkatesh Choppella, Christopher T. Haynes
2005	J	`jnl`	Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models. Proc. IEEE 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
2004	A	`conf`	Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver. IPDPS Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella
2003	Misc	`conf`	Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms. HiPC Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella
2003	—	`conf`	Memory-Constrained Data Locality Optimization for Tensor Contractions. LCPC Alina Bibireata, Sandhya Krishnan, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella
2003	—	`conf`	Polymorphic Type Reconstruction Using Type Equations. IFL Venkatesh Choppella
2003	A	`conf`	Source-Tracking Unification. CADE Venkatesh Choppella, Christopher T. Haynes
2000	A	`conf`	Requirements for and Evaluation of RMI Protocols for Scientific Computing. SC Madhusudhan Govindaraju, Aleksander Slominski, Venkatesh Choppella, Randall Bramley, Dennis Gannon
1996	B	`conf`	A Tutorial on Digital Design Derivation Using DRS. FMCAD Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
1995	J	`jnl`	Decomposition of Sequential Behavior Using Interface Specification and Complementation. VLSI Design Kamlesh Rath, Venkatesh Choppella, Steven D. Johnson
1995	B	`conf`	Lower Bounds for the Matrix Chain Ordering Problem (Extended bstract). LATIN Phillip G. Bradford, Venkatesh Choppella, Gregory J. E. Rawlins