Venkatesh Choppella

Orcid: 0000-0003-1085-3464

According to our database1, Venkatesh Choppella authored at least 80 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Engineering End-to-End Remote Labs using IoT-based Retrofitting.
CoRR, 2024

Enhancing MVC architecture pattern description using its System of Systems model.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023
ACM CompEd Resumes After Two-year Delay!
ACM SIGCSE Bull., January, 2023

CompEd 2023 Call for Papers.
ACM SIGCSE Bull., 2023

Systems Modeling for novice engineers to comprehend software products better.
CoRR, 2023

Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design.
IEEE Access, 2023

Software Architecture for Multi-User Multiplexing to Enhance Scalability in IoT-Based Remote Labs.
Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

A modeling language for novice engineers to design well at SaaS product companies.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Evaluating the difficulty for novice engineers in learning and using Transition Systems for modeling software systems.
Proceedings of the 16th Annual ACM India Compute Conference, 2023

Trace to Follow, Run to Explore: A Demonstration using Interactive Sorting.
Proceedings of the ACM Conference on Global Computing Education Vol 2, 2023

Modeling Model-View-Controller (MVC) Architecture Pattern as System of Systems (SoS) to Aid Comprehension and Reasoning.
Proceedings of the ACM Conference on Global Computing Education Vol 2, 2023

Is Transition Systems Approach of Modeling Software Systems Hard to Learn and Use?
Proceedings of the ACM Conference on Global Computing Education Vol 2, 2023

2022
CV and IoT-based Remote Triggered Labs: Use Case of Conservation of Mechanical Energy.
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

A study of the design and documentation skills of industry-ready CS students.
Proceedings of the COMPUTE 2022, Jaipur, India, November 9-11, 2022, 2022

2021
A Report on the PhD Symposium at ISEC 2021.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

Algodynamics: Algorithms as systems.
Proceedings of the IEEE Frontiers in Education Conference, 2021

Knowledge Driven Approach to Auto-Generate Digital Twins for Industrial Plants.
Proceedings of the CIKM 2021 Workshops co-located with 30th ACM International Conference on Information and Knowledge Management (CIKM 2021), 2021

2020
Algodynamics: Teaching Algorithms using Interactive Transition Systems.
CoRR, 2020

Generalised Dining Philosophers as Feedback Control.
Proceedings of the Distributed Computing and Internet Technology, 2020

Model Checking as a Service using Dynamic Resource Scaling.
Proceedings of the 27th IEEE International Conference on High Performance Computing, 2020

An SE approach for CoCo Learning of Virtual Labs.
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019
Promoting better financial inclusion through web page transformation - a systematic literature review.
J. Bank. Financial Technol., 2019

Towards Massively Open Online Virtual Internships in Computing Education.
Proceedings of the Tenth IEEE International Conference on Technology for Education, 2019

Enhancing Virtual Labs Usage in Colleges.
Proceedings of the Tenth IEEE International Conference on Technology for Education, 2019

A Learnable-by-Design (LEAD) Model for Designing Experiments for Computer Science Labs.
Proceedings of the Tenth IEEE International Conference on Technology for Education, 2019

Methodology to develop domain specific modeling languages.
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Tutorials and Technical Briefings at ISEC 2019.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

A knowledge centric approach to conceptualizing robotic solutions.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

2018
Generalised Dining Philosophers as Feedback Control.
CoRR, 2018

Towards a Domain-Specific Language for the Renarration of Web Pages.
Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018

An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering.
Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018

A Style Sheets Based Approach for Semantic Transformation of Web Pages.
Proceedings of the Distributed Computing and Internet Technology, 2018

Model Driven Approach for Virtual Lab Authoring - Chemical Sciences Labs.
Proceedings of the 18th IEEE International Conference on Advanced Learning Technologies, 2018

Usability Analysis of Virtual Labs.
Proceedings of the 18th IEEE International Conference on Advanced Learning Technologies, 2018

2017
A Lightweight Approach for Evaluating Sufficiency of Ontologies.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Renarrating web pages for improving information accessibility.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

A Crowdsourcing Approach for Quality Enhancement of eLearning Systems.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

An Aspect Oriented Approach for Renarrating Web Content.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Mitigating Browser-based DDoS Attacks using CORP.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Notion of Semantics in Computer Science - A Systematic Literature Review.
Proceedings of the 14th International Conference on Natural Language Processing, 2017

A Formal Model of Web Security Showing Malicious Cross Origin Requests and Its Mitigation using CORP.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Modelling and Mitigation of Cross-Origin Request Attacks on Federated Identity Management Using Cross Origin Request Policy.
Proceedings of the Information Systems Security - 13th International Conference, 2017

2016
Fast point-to-point Dyck constrained shortest paths on a DAG (Extended abstract).
Proceedings of the 7th IEEE Annual Ubiquitous Computing, 2016

How Does a Program Run? A Visual Model Based on Annotating Abstract Syntax Trees.
Proceedings of the International Conference on Learning and Teaching in Computing and Engineering, 2016

Distributed Safety Verification Using Vertex Centric Programming Model.
Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

2015
Generation of Quizzes and Solutions Based on Ontologies - A Case for a Music Problem Generator.
Proceedings of the Seventh IEEE International Conference on Technology for Education, 2015

SangeetKosh: An Open Web Platform for Music Education.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Assessing the Impact of Virtual Labs: A Case Study with the Lab on Advanced VLSI.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

2014
Overcoming the new accessibility challenges using the sweet framework.
Proceedings of the International Web for All Conference, 2014

Any Time Virtual Labs: On Portable Media and as Debian Packages.
Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014

Large Scale Web Page Optimization of Virtual Labs.
Proceedings of the Sixth IEEE International Conference on Technology for Education, 2014

Enabling the development of safer mashups for open data.
Proceedings of the 1st International Workshop on Inclusive Web Programming, 2014

CORP: A Browser Policy to Mitigate Web Infiltration Attacks.
Proceedings of the Information Systems Security - 10th International Conference, 2014

Edit distance modulo bisimulation: a quantitative measure to study evolution of user models.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013
Descriptive Study of College Bound Rural Youth of AP, India.
Proceedings of the 2013 IEEE Fifth International Conference on Technology for Education, 2013

Viewing Algorithms as Iterative Systems and Plotting Their Dynamic Behaviour.
Proceedings of the 2013 IEEE Fifth International Conference on Technology for Education, 2013

State based access control for open e-governance.
Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013

Power of friends: when friends guess about their friends' guess.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
Alipi: a framework for re-narrating web pages.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Alipi: tools for a re-narration web.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Using Org-mode and Subversion for Managing and Publishing Content in Computer Science Courses.
Proceedings of the 2012 IEEE Fourth International Conference on Technology for Education, 2012

Algebraic Modelling of Educational Workflows.
Proceedings of the 2012 IEEE Fourth International Conference on Technology for Education, 2012

From High-School Algebra to Computing through Functional Programming.
Proceedings of the 2012 IEEE Fourth International Conference on Technology for Education, 2012

Functionality or user interface: Which is easier to learn when changed?
Proceedings of the 4th International Conference on Intelligent Human Computer Interaction, 2012

2011
DISCOVIR: A Framework for Designing Interfaces and Structuring Content for Virtual Labs.
Proceedings of the 2011 IEEE International Conference on Technology for Education, 2011

Process Models for Virtual Lab Development, Deployment and Distribution.
Proceedings of the 2011 IEEE International Conference on Technology for Education, 2011

A Virtual Laboratory for Teaching Linux on the Web.
Proceedings of the 2011 IEEE International Conference on Technology for Education, 2011

2010
Synthesizing customizable learning environments.
Proceedings of the 2010 International Conference on Technology for Education, 2010

2009
Fostering community interaction through the Trivandrum City Police Portal.
Proceedings of the ICEGOV 2009, 2009

2006
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver.
J. Parallel Distributed Comput., 2006

Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations.
Proceedings of the Computational Science, 2006

2005
Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models.
Proc. IEEE, 2005

Source-tracking unification.
Inf. Comput., 2005

2003
Memory-Constrained Data Locality Optimization for Tensor Contractions.
Proceedings of the Languages and Compilers for Parallel Computing, 2003

Polymorphic Type Reconstruction Using Type Equations.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms.
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

2000
Requirements for and Evaluation of RMI Protocols for Scientific Computing.
Proceedings of the Proceedings Supercomputing 2000, 2000

1996
A Tutorial on Digital Design Derivation Using DRS.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995
Decomposition of Sequential Behavior Using Interface Specification and Complementation.
VLSI Design, 1995

Lower Bounds for the Matrix Chain Ordering Problem (Extended bstract).
Proceedings of the LATIN '95: Theoretical Informatics, 1995


  Loading...