choppella research lab

Home

Associate Professor at the International Institute of Information Technology, Hyderabad, India.
Education
BTech Computer Science and Engg.: IIT Kanpur 1985
MTech Computer Science and Engg.: IIT Madras 1987
PhD Computer Science: Indiana University, Bloomington, USA, 2002
Interests
Computer Science
Programming Languages. Functional Programming. Type systems.
Software Engineering
Software Architectures. Formal Methods and Verification. Web security and accessibility.
Education and Technology
Programming Principles. Information Technology Workshop. Virtual Labs.
FOSS
Free and Open Source Software in Education and E-Governance.
SAT+SMT 2018 @ IIIT Hyderabad, 6-8 December
If you are interested in attending, please complete the registration by Oct 10th by 2018.
ISEC 2019 @ Pune, 14-16 Feb 2019
Please submit a proposal/paper to Tutorials/Tech-Briefings or any other track by Oct 20th 2018.
T4E 2018 @ IIT Madras 10-13 December
Please consider attending.

Additional Info

Other Names:

Link

Prof.Venkatesh Choppella

Team

Name: Prof. Venkatesh Choppella

Associate Professor

Name: Mrityunjay Kumar (PhD)

Research topic: Model Based design and implementation of Virtual Lab Experiments

Name: Sai Gollapudi (PhD)

Research topic: Semantic Style Sheets

Name: Siddharth Bhat (BTech/Dual Degree)

Research topic: Formal verification of Loop Transformations using the Coq theorem prover

Name: Soumya Maddala (MS by research)

Research topic: Model Based design and implementation of Virtual Lab Experiments

Name: S Adhish Singla (MS Dual Degree)

Research topic: Distributed Model Checking. Supported by Hitachi India. (Principal advisor: Prof. Suresh Purini)

Name: Arjun Sanjeev (BTech/Dual Degree)

Research topic: Modular Control of concurrent processes. Co-advisor: Prof. K Viswanath.

Past research students

Name: Akaash Agarwall (MS by research, Apr 2018)

Thesis title: Application, Modelling and Implementation of CORP

Name: Deepti Aggarwal (MS by research, Nov 2013)

Thesis title: Exploring Crowdsourcing to PersonalizeWeb Experiences

Research

Areas of research

Software Engineering and Formal Methods

Concurrency control, Distributed Model Checking, Real Time Systems, Systems Engineering, Human Computer Interaction, Workflows, Modeling of Web Services, Data Modeling and Visual modeling and Software Architectures. Formal Methods for VLSI

Web Accessibility

Renarration and Semantic Web

Web Security

Browser-based security policies

Applications of ICT

E-Governance.

Educational Technology and Computing Pedagogy

Virtual Labs, Authoring tools and environments, Ontologies. Functional Programming, Algorithms and Discrete Dynamical Systems.

Compilers and Programming Languages

Evaluation of RMI protocols, Algorithm Synthesis from Domain Specific Languages. Aspect-Oriented Programming. Term Unification, Type Inference.

Funded Projects

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)

State variable approach to the model-driven development of software for reactive systems (PI) :: 2011-2013. Sponsor: Siemens India, Bangalore. Budget: Rs. 14 Lakhs.

Distributed Model Checking

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

Virtual Labs Phase I

2010-2014. Sponsor: Virtual Labs consortium under the Virtual Labs main phase project. Budget: 3.3 Cr.

(no term)

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.

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.

Government of Kerala (co-PI)

Police Portal for Community Interaction 2004-2005. Budget Rs. 2.9L Co-investigator.

Publications

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI: 10.1002/j.2334-5837.2018.00579.x

View details for Website details
Usability analysis of virtual labs. In International Conference on Advanced Learning Technologies (ICALT) IEEE, July 2018
SMrityunjay Kumar, Jessica Emory, and Venkatesh Choppella.
2018; :

More

View details for DOI: 10.1109/ICALT.2018.00061

View details for Website details
Generalized dining philosophers and feedback control. Technical Report arXiv:1805.02010v1 IIIT-Hyderabad, May 2018.
Venkatesh Choppella, Kasturi Viswanath, and Arjun Sanjeev.
2018; :

More

View details for Website details details
An attempt at explicating the relationship between knowledge, systems and engineering In Proceedings of the 11th Innovations in Software Engineering Conference, ISEC '18
Amar Banerjee, Venkatesh Choppella, Viswanath Kasturi, Swaminathan Natarajan, Padmalata V. Nistala, and Kesav Nori.
February 2018; ACMpages 5:1--5:11 New York, NY, USA,

More

View details for DOI: 10.1145/3172871.3172875

View details for Website details
Model driven approach for virtual lab authoring - chemical sciences labsI In International Conference on Advanced Learning Technologies (ICALT) IEEE, 2018
Shovan Swain, Lalit Sanagavarapu, Venkatesh Choppella, and Y. Raghu Reddy.
2018; :

More

View details for DOI:10.1109/ICALT.2018.00062

View details for Wesite details
Towards a domain-specific language for the renarration of web pages In Proceedings of the 11th Innovations in Software Engineering Conference ISEC '18
Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, and Venkatesh Choppella. Towards a domain-specific language for the renarration of web pages.
2018; ACMpages 3:1--3:10

More

View details for DOI: 10.1145/3172871.3172873

View details for Website details
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.
Arjun Sanjeev, Venkatesh Choppella, and Viswanath Kasturi.
2018;

More

View details for DOI: 10.1145/3172871.3172873

View details for Website details
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.
Gollapudi VRJ Sai Prasad, Venkatesh Choppella, and Sridhar Chimalakonda.
2018; :

More

View details for DOI details

View details for DOI details
Renarrating web pages for improving information accessibility. In Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, IEEE, November 2017
Sai VRJ Gollapudi, Soumya M. Saraswathi, and Venkatesh Choppella.
2017; pages:1--7

More

View details for DOI: 10.1109/ISKE.2017.8258772

View details for DOI details
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
Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, and Venkatesh Choppella.
2018; :

More

View details for DOI details

View details for DOI details
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
Krishna Chaitanya Telikecherla, Akash Agrawall, and Venkatesh Choppella.
2017; :

More

View details for DOI details

View details for DOI details
Modelling and Mitigation of Cross-Origin Request Attacks on Federated Identity Management Using Cross Origin Request Policy Springer, 2017
Akash Agrawall, Shubh Maheshwari, Projit Bandyopadhyay, and Venkatesh Choppella.
2017; pages 263--282

More

View details for DOI 10.1007/978-3-319-72598-7_16

View details for Website details
An aspect oriented approach for renarrating web content. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, New York, NY, USA, 2017. ACM.
Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, and Y. Raghu Reddy.
2017; pages 56--65,

More

View details for DOI 10.1145/3021460.3021466

View details for Website details
Mitigating browser-based DDoS attacks using CORP. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, New York, NY, USA, 2017. ACM.
Akash Agrawall, Krishna Chaitanya Telikicherla, Arnav Kumar Agrawal, and Venkatesh Choppella.
2017; pages 137--146

More

View details for DOI 10.1145/3021460.3021477

View details for Website details
A crowdsourcing approach for quality enhancement of elearning systems. In Proceedings of the 10th Innovations in Software Engineering Conference, ISEC '17, New York, NY, USA, 2017. ACM.
Lalit Mohan S., Priya Raman, Venkatesh Choppella, and Y. R. Reddy.
2017; pages 188--194

More

View details for DOI 10.1145/3021460.3021483

View details for Website details
Fast dyck constrained shortest paths. In Proc. 7th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON 2016). IEEE Explore, October 2016.
Phillip G. Bradford and Venkatesh Choppella.
2016;

More

View details for DOI

View details for Website details
Distributed safety verification using vertex centric programming model. In 2016 15th International Symposium on Parallel and Distributed Computing (ISPDC) July 2016.
A. Singla, K. Desai, S. Purini, and V. Choppella.
2016; pages 114--120

More

View details for DOI 10.1109/ISPDC.2016.23

View details for Website details
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)
V. Choppella, G. Ahuja, and A. Mavalankar.
2016;

More

View details for DOI: 10.1109/LaTiCE.2016.40

View details for Website details
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), IEEE, December 2015.
Aditi Mavalankar, Tejaswinee Kelkar, and Venkatesh Choppella.
2016; pages 73--76.

More

View details for DOI: 10.1109/T4E.2015.16

View details for Website details
An open web platform for hindustani music education. In Proceedings of the 15 IEEE Conference on Advances in Learning Technologies, ICALT 2015, IEEE, July 2015.
Tejaswinee Kelkar, Anon Ray, and Venkatesh Choppella. Sangeetkosh:
2015; pages 5--9

More

View details for DOI: 10.1109/ICALT.2015.102

View details for Website details
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, IEEE, July 2015.
Garima Ahuja, Anubha Gupta, Harsh Wardhan, and Venkatesh Choppella.
2015; pages 290--292.

More

View details for DOI: 10.1109/ICALT.2015.41

View details for Website details
Visual modeling of javascript. In Modeling Symposium 8th India Software Engineering Conference, February 2015. Poster.
Venkatesh Choppella and Amulya Pulijala.
2015;

More

View details for DOI:

View details for Website details
VLarge scale web page optimization of virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2014)
Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, and Thirumal Ravula.
2014; 29--31

More

View details for DOI:10.1109/T4E.2014.51

View details for Website details
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, ACM, April 2014
Himanshu Zade, Santosh Adimoolam, Sai Gollapudi, Anind Dey, and Venkatesh Choppella.
2014; pages 1757--1766.

More

View details for DOI:10.1145/2556288.2557191

View details for Website details
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.
KrishnaChaitanya Telikicherla, Venkatesh Choppella, and Bruhadeshwar Bezawada.
2014; pages 1757--1766.

More

View details for DOI:10.1007/978-3-319-13841-1_16

View details for Website details
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, New York, NY, USA, 2014. ACM.
Krishna Chaitanya Telikicherla and Venkatesh Choppella.
2014; pages 8--15

More

View details for DOI:10.1145/2593761.2593764

View details for Website details
Overcoming the new accessibility challenges using the sweet framework. In Proceedings of the 11th Web for All Conference, W4A '14, New York, NY, USA, 2014. ACM.
Gollapudi VRJ Sai Prasad, T. B. Dinesh, and Venkatesh Choppella.
2014; pages 22:1--22:4

More

View details for DOI:10.1145/2596695.2596711

View details for Website details
Large scale web page optimization of virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2014), IEEE, 2014.
Jatin Agarwal, Utkarsh Rastogi, Prateek Pandey, Nurendra Choudhary, Venkatesh Choppella, and Raghu Reddy.
2014; pages 146--147

More

View details for DOI: 10.1109/T4E.2014.51

View details for Website details
Descriptive study of college bound rural youth of ap, india. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013), IEEE, December 2013.
Sai Gollapudi and Venkatesh Choppella.
2013; pages 76--79

More

View details for DOI: 10.1109/T4E.2013.27

View details for Website details
Alloy model for Cross Origin Request Policy (CORP). ITechnical Report IIIT/TR/2013/31, IIIT-Hyderabad, August 2013.
Krishna Chaitanya Telikicherla and Venkatesh Choppella.
2013;

More

View details for DOI:

View details for Website details
Viewing algorithms as iterative systems and plotting their dynamic behaviour. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013), T4E 2013, IEEE Press, 2013.
Venkatesh Choppella, K Viswanath, and P Manjula.
2013; pages 206--209.

More

View details for DOI: 10.1109/T4E.2013.56

View details for Website details
State based access control for open e-governance. In Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, ICEGOV '13, New York, NY, USA, 2013. ACM.
Ankur Goel and Venkatesh Choppella.
2013; pages 19--27

More

View details for DOI: 10.1145/2591888.2591892

View details for Website details
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.
Santosh Arvind Adimoolam, Venkatesh Choppella, and PVR Murthy.
2013;

More

View details for DOI:

View details for Website details
Automated restructuring of contents for virtual labs. In Proceedings of the IEEE International Conference on Technology for Education (T4E2013). IEEE Press, 2013.
Sourav Chatterjee, Pranitha Reddy, and Venkatesh Choppella.
2013;

More

View details for DOI: 10.1109/T4E.2013.20

View details for Website details
Functionality or user interface: which is easier to learn when changed? In IEEE 4th International Conference on Intelligent Human Computer Interaction (IHCI), IEEE, December 2012.
Himanshu Zade and Venkatesh Choppella.
2013; pages 1--6

More

View details for DOI: 10.1109/IHCI.2012.6481829

View details for Website details
Issues faced in a remote instrumentation laboratory. In IEEE 4th International Conference on Technology for Education, IEEE Press, 2012.
S. Malani, G.N.S. Prasanna, J.A. del Alamo, J.L. Hardison, K. Moudgalya, and V. Chopella.
2013; pages 67--74

More

View details for DOI: 10.1109/T4E.2012.21

View details for Website details
Using org-mode and subversion for managing and publishing content in computer science courses. In IEEE 4th International Conference on Technology for Education, IEEE Press, 2012.
Sankalp Khare, Ishan Misra, and Venkatesh Choppella.
2013; pages 220--223.

More

View details for DOI: 10.1109/T4E.2012.58

View details for Website details
Algebraic modelling of educational workflows. In IEEE 4th International Conference on Technology for Education, IEEE, 2012.
Ankur Goel and Venkatesh Choppella.
2013; pages 153--156.

More

View details for DOI: 10.1109/T4E.2012.60

View details for Website details
From high-school algebra to computing through functional programming. In IEEE 4th International Conference on Technology for Education, IEEE Press, 2012.
Venkatesh Choppella, Hitesh Kumar, P. Manjula, and K. Viswanath.
2012; pages 180--183.

More

View details for DOI: 10.1109/T4E.2012.42

View details for Website details
A framework for re-narrating web pages. In Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A '12, New York, NY, USA, 2012. ACM.
T. B. Dinesh, S. Uskudarli, Subramanya Sastry, Deepti Aggarwal, and Venkatesh Choppella. Alipi:
2012; pages 22:1--22:4

More

View details for DOI: 10.1145/2207016.2207030

View details for Website details
Tools for a re-narration web. In Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A '12, New York, NY, USA, 2012. ACM. Microsoft Accessibility Challenge: Delegates award.
T. B. Dinesh and Venkatesh Choppella. Alipi:
2012; pages 29:1--29:2

More

View details for DOI:

View details for Website details
upick: Crowdsourcing based approach to extract relations among named entites. In Proceedings of the 2012 international conference on Human Computer Interaction, IndiaHCI'12, 2012.
Deepti Aggarwal, Rohit Ashok Khot, Vasudeva Varma, and Venkatesh Choppella.
2012; pages 1--8

More

View details for DOI:

View details for Website details
Towards a declarative workflow model for customizing group processes. In International Conference on Distributed Computing and Internet Technologies (ICDCIT 2011), February 2011. Oral presentation.
Venkatesh Choppella, Vamsikrishna Brahmajosyula, T B Dinesh, and Nadin Kokciyan.
2011;

More

View details for DOI:

View details for Website details
Process models for virtual lab development, deployment and distribution. In International Conference on Distributed Computing and Internet Technologies (ICDCIT 2011), February 2011. Oral presentation.
Venkatesh Choppella., V K Brahmajosyula, M. Vutpala., and S. Kole.
2011; pages 293--294.

More
<

View details for DOI:10.1109/T4E.2011.61

View details for Website details
A framework for designing interfaces and structuring content for virtual labs. In IEEE 3rd International Conference on Technology for Education, IEEE Press, 2011.
Rohit Khot and Venkatesh Choppella. Discovir:
2012; pages 121--127.

More

View details for DOI:10.1109/T4E.2011.27

View details for Website details
Modeling and programming with state variables. In 2nd Workshop on Advances in Model-based Software Engineering, 2011. Colocated with 4th ISEC 2011, Trivandrum India.
Vamsikrishna Brahmajosyula and Venkatesh Choppella.
2012; pages 121--127.

More

View details for DOI:10.1109/T4E.2011.27

View details for Website details

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details

A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details
A conceptual model of systems engineering. In 28th Annual INCOSE International Symposium IN 28TH ANNUAL INCOSE INTERNATIONAL SYMPOSIUM
Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar, Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri
2018; :

More

View details for DOI details

View details for DOI details

Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, and Venkatesh Choppella
2018; :

More

View details for DOI: 10.1109/IPDPS.2004.1302948

View details for website

Publications

All Publications (75)

Conference Proceedings

Poster Publications

Featured Publications

Journal Articles (1)

Teaching

Monsoon 2018

Principles of Programming Languages

Advanced Problem Solving

Past semester courses

Programming Languages

Principles of Programming Languages :
Monsoon 2018, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009. Interpreters and Compilers Spring 2004, IIITM-K

Interpreters and Compilers

Spring 2004, IIITM-K

Web Technologies

IT Workshop 2
Spring 2017, 2011, 2010 at IIITH.

Web Technologies (all at IIITM-K)

Fall 2008 (feedback), 2007(course feedback | instructor feedback), 2006, (course feedback | instructor feedback | course report by instructor), Winter 2003.

Advanced Web Technologies

Spring 2004, IIITM-K

Jobs

PhD Positions

We are looking for research students in the areas of software systems and technologies.

MS by Research Positions

These positions are for full-time or part time IIIT MS/Dual Degree students.

2018 Summer Internships

These positions are open to all students with preference to students from IIIT Hyderabad.

BTech and MTech Projects

These is open to all students, with preference to students from IIIT Hyderabad.

Contact

Location

B5-205C, Software Engineering Research Centre

Mail

International Institute of Information Technology Hyderabad,

Prof. C R Rao Road, Gachibowli

Hyderabad 500 032 INDIA

Phone

+91-40-6653-1443 (work)

+91-40-6653-1157 (SERC office, Attn: Ms. B. Pushpalatha, admin asst.)

Email

venkatesh dot choppella at iiit dot ac dot in

Office Hours for 2018 Monsoon

Fri 4-5pm Walk-in.

Appointment

At other times, please email to schedule an appointment.

Home

Prof.Venkatesh Choppella

Route

webdesigner

Latest Updates

Home

Team

Past research students

Research

Areas of research

Funded Projects

Publications

Teaching

Monsoon 2018

Past semester courses

Jobs

Contact