Venkatesh Chop-pella - Ph. D - IIIT Hyderabad
←
→
Page content transcription
If your browser does not render page correctly, please read the page content below
Venkatesh Chop- IIIT, Gachibowli
pella Hyderabad, 500032, India
T +91-40-6653-1443
B venkatesh.choppella@iiit.ac.in
Ph. D. www.iiit.ac.in/~choppell
Objective
Software Systems Engineering: Research, Development
and Teaching.
Expertise
Software Engineering, Development and Supervision of large
Software Systems, Formal Verification, Theorem Proving, Com-
pilers, Web Security, Accessibility and Educational Technology.
Full-stack development.
Academic Research and Teaching, Supervision of PhD and
Masters students. Design, Development and Delivery of courses in
computer science and engineering.
Education
2002 Indiana University, Bloomington, Doctor of Philosophy, Com-
puter Science.
Dissertation title: “Unification Source-tracking with application to the
diagnosis of type inference”
1987 Indian Institute of Technology, Madras, Masters of Technology,
Computer Science and Engineering.
Dissertation title: “Implementation of ML using the SECD machine”
1985 Indian Institute of Technology, Kanpur, Bachelors of Technol-
ogy, Computer Science and Engineering.
Work
Venkatesh Choppella March 23, 2019 1/18Teaching
present–2009 Associate Professor, IIIT, Hyderabad.
Teaching undergraduate and graduate courses in Computer Science and
Software Engineering: Principles of Programming Languages, Software
Foundations, Advanced Problem Solving, Information Technology Work-
shop, Semantics of Programming Languages.
2010–2009 Visiting Associate Professor, IIIT, Bengaluru.
Teaching graduate level courses in Programming Language Models, Ap-
plication Programming
2008–2003 Associate Professor, IIITMK, Trivandrum.
Teaching graduate level courses in computer science and information
technology: Web Technology, Data Bases, Data Structures, Principles
of Programming, Mathematical Foundations of Information Technology,
Bio-informatics
Research
2005–2006 Visiting Research Scientist, Ohio State University, Columbus,
Ohio, USA.
Research on compilers for high-performance computing. The Tensor
Contraction Engine. Several papers published as result of research
2003–2002 Post-doctoral Scientist, Oak Ridge National Labs, Oak Ridge,
Tennessee, USA.
Research on compilers for high-performance computing. The Tensor
Contraction Engine. Several papers published during this time
1999–1997 Member, Research Staff, Xerox PARC, Palo Alto, California.
Research on Aspect-Oriented Programming. Implementation of the
early releases of AspectJ. Work on Aspects for Tracing and Monitoring
patented[2]
Industry
Jan 2001 - Aug R&D Engineer, Hewlett-Packard Systems, Cupertino, California.
2001 Engineering and Development of E-speak, a web-services based open
source product. See W3C tech report [3]
.
1997–1995 R&D Engineer, Derivation Systems, Carlsbad, California.
Building a hardware compiler in the Scheme programming language and
verifying compiler transformations in the PVS interactive theorem prover
for NASA Langley. Part of the work reported in FMCAD 1996[1]
1988–1987 R&D Engineer, Computer Maintenance Corporation, Secunder-
abad, India.
Building a compiler VECTRAN, a high performance programming lan-
guage.
Venkatesh Choppella March 23, 2019 2/18Active Collaborations
2018-present TCS Innovation Labs.
2018-present University of Buffalo, Prof. Bharat Jayaraman.
Industrial Consultancy
2006–2004 Consultant, Tata Consultancy Services, Trivandrum, India.
Teaching and Training in Java and Web technologies.
2008–2007 Consultant, Cognizant Technology, Chennai, India.
Teaching and Training in Programming Principles.
2008 Consultant, Satyam Computers, Hyderabad, India.
Teaching and Training in Programming Principles.
Academic Supervision
Current PhD
1. Sai Gollapudi: “Semantic Style Sheets for Web Accessibility”
students
2. Mrityunjay Kumar: “Model Driven Approach to generation of
Virtual Labs”
3. Amar Banerjee: “Knowlege-centered development and engineer-
ing of control system software”
Current MS
1. Soumya M. Saraswathi: “Ontology Services for Web Accessibil-
students
ity”
2. Arjun Sanjeev: “Modular control of Concurrent Processes”
3. Krutam Hathi: “Analytics for Virtual Labs”
Venkatesh Choppella March 23, 2019 3/18MS theses guided
1. Application, Modelling and Implementation of CORP.
Akash Agrawall. Apr 2018.
2. Mitigating Web-borne Security Threats by Enhancing
Browser Security Policies. Krisha Chaitanya Telikicherla.
May 2016.
3. Specification and Modelling of Workflow Management
Systems with State Based Access Control. Ankur Goel.
Apr 2016.
4. Evolution of Mental Models of Interactive Machines: A
Formal Approach Himanshu Zade. Apr 2015.
5. Automata based abstraction of interval assumptions
and bounded input linear systems for verification and
controller synthesis. Santosh Arvind Adimoolam. (Co-
superivor: Viswanath Kasturi). Sep 2014.
6. Exploring Crowdsourcing to Personalize Web Experi-
ences. Deepti Agrawal. (Co-supervisor: Vasudeva Varma).
Nov 2013.
Professional Service
Programme
Committee { ISEC 2019 (Tutorials and Tech Briefings co-chair), 3rd Indian
membership SAT+SMT School 2018 (Organizing committee), ICDCIT 2019,
LATicE 2018, 2015, FORMABS 2016. T4E 2018, 2016 (Publicity
Chair), 2015 (PC Chair), 2014, 2013, 2012, 2011. ICTEE
2012, CSEE&T 2012, 2011. ICDCIT 2018, 2012. ISEC 2011.
ICEGOV 2015, 2014, 2013, 2012, 2011, 2010. WAMBSE 2012,
2011. Free S/W Free Society 2005. ADCOMM 2005. PDCAT
2004.
Journal reviewer
{ Formal Methods in System Design. Springer, 2010. Journal of
Parallel and Distributed Computing, Elsevier, 2008. Interna-
tional Journal of Formal Computing, Springer 2008.
MS and PhD
{ External thesis examiner: IIT Bombay, Amrita University, Univ
Examination
of Hyderabad and Univ. of Behrampur, India.
committees
{ Internal MS and PhD thesis examiner for more than a dozen
theses at IIIT Hyderabad.
Venkatesh Choppella March 23, 2019 4/18Expert Committee
{ IIT Madras Digital Skills Academy 2018.
Member
{ Project on Formal Methods for Testing S/W. Defence
Research and Development Organization (DRDO) Govt. of
India. Research Centre Imarat (RCI). Hyderabad 2016.
{ Digital Library Project for Kerala State: Ministry of Elec-
tronics and Information Technolgy (Meity), Govt. of India.
2017.
Workshops, Tutorials and Talks
Workshops and
{ Literate Programming and Version control. 3 day workshop
Tutorials
at Defence Research and Development Organization (DRDO)
Govt. of India. Research Centre Imarat (RCI), Hyderabad.
July 2017.
{ Virtual Labs on College Cloud: 3 day workshop at Jaypee
University of Information Technology, Himachal Pradesh. May
2017.
{ Dynamical Systems, Automata and Functional Pro-
gramming: 2 day short course at Goa University Academic
Staff College (ASC) for college teachers. Jan 2014.
{ Mapcode and Computer Problem Solving: 3 day short
course for College Teachers at VNR Vignan Jyothi College,
Hyderabad. May 2013, Hyderabad. (With Prof. KV Nori and
Prof. K Viswanath).
{ Principles of Programming for Web 2.0: 2 week Summer
School at IIIT Hyderabad for college teachers. May 3rd–14th
2010. IIIT Hyderabad. With T B Dinesh.
{ Practical Program Verification 4 day short course under the
Tata Excellence in Computer Science (TECS) Programme, TCS
Hyderabad, February, 2008. (Session on Day 1 on "Verification
in the PVS theorem prover".)
{ One-day tutorial on Aspect-Oriented Programming and JML.
IEEE Kerala Frontiers in Computing Practice Series, Trivan-
drum, India. July 26th, 2006. With Satish Babu.
{ Introduction to Aspect-Oriented Design and Program-
ming Thirteenth International Conference on Advanced Com-
puting and Communications, Coimbatore, India, Dec 14th, 2005.
With Anurag Mendhekar.
Venkatesh Choppella March 23, 2019 5/18Grants and Awards
Grants
{ Virtual Labs Phases II and III: (co-PI) Dec 2014-Mar 2020.
Sponsor: Govt. of India. Consortium partners: IITs at Bombay
Delhi, Guwahati Kanpur, Kharagpur, Roorkee, Amrita Univer-
sity, COE Pune, Dayalbagh University, NIT Surathkal. Total
Budget: INR 85 Crores (12 Million USD).
{ State variable approach to the model-driven develop-
ment of software for reactive systems: (PI) 2011-2013.
Sponsor: Siemens India, Bangalore. Budget: INR 14 Lakhs
(20 000 USD)
{ Distributed Model Checking: (Co-PI) 2014-2016. Spon-
sor: Hitachi India Limited. Budget: INR 15 Lakhs (approx
21 000 USD)
{ Virtual Labs Phase I: 2010-2014. Virtual Labs Platform
Engineering under the Virtual Labs Main Phase project. Budget:
INR 3.3 Cr (approx 500 000 USD)
{ European Commission Erasmus Mundus External Co-
operation Window: European Research and Educational Col-
laboration with Asia Project for Academic Mobility 2008-2009.
Co-investigator and Institute Coordinator for IIITMK. Budget:
10 000 Euro.
{ Information Security Education and Awareness (ISEA):
Ministry of Information Technology, Government of India. 2006-
2009. Co-investigator and Coordinator at Participating Insti-
tution IIITM-K. Budget: INR 36 Lakh (24 000 USD). Co-
investigator.
{ Government of Kerala Police Portal for Community In-
teraction 2004-2005. Budget INR 2.9L (5 000 USD). Co-
investigator.
Venkatesh Choppella March 23, 2019 6/18Awards
{ Springer Best Paper award: 2nd Prize. Arjun Sanjeev and
Venkatesh Choppella and Viswanath Kasturi. Peterson’s Mutual
Exclusion Algorithm as Feedback Control. 2nd Symposium on
Application of Formal Methods for Safety and Security of Safety
Critical Systems (AFMSS 2018).[7].
{ Microsoft accessibility challenge: Delegates award. T B
Dinesh, Venkatesh Choppella. Alipi – tools for a Re-narration
Web. 9th International Cross-Disciplinary Conference on Web
Accessibility, April 2012, Lyon, France[6].
{ All India Manthan Awards: Second Prize in the E-
Governance category. Trivandrum City Police Portal for Commu-
nity Interaction www.tvmcitypolice.org, New Delhi, India, 2005.
{ Best Paper Award International Parallel and Distributed
Processing Symposium (IPDPS), Albuquerque, New Mexico,
USA, 2004 [5].
{ Best Paper Award (Systems). Internationl Conference
on High Performance Computing (HiPC), Hyderabad, In-
dia, 2003.[4].
{ DuPont Fellowship Computer Science Dept., Indiana Univer-
sity, 1988.
{ Merit Certificate for performance in the Joint Entrance
Examination, IIT Kanpur, 1981.
Languages
English fluent oral and written
Hindi fluent oral and written
Telugu fluent mother tongue
Computer Knowledge
Over the years, I have worked with many programming languages: Imperative (C),
functional languages (Racket, some Haskell and ML), object oriented languages (Java,
Python, Javascript), also theorem provers (PVS). I use Git, Emacs-Lisp and Org-mode
and Python extensively for getting things done.
References
Venkatesh Choppella March 23, 2019 7/18Available upon request. Venkatesh Choppella March 23, 2019 8/18
Publications
Posters
[2] Swaminathan Natarajan, Kesav Vithal Nori, Viswanath Kasturi, Anand Kumar,
Venkatesh Choppella, and Subhrojyoti Roy Chaudhuri. “A Conceptual Model of
Systems Engineering”. In: 28th Annual INCOSE International Symposium. July
2018.
[1] Venkatesh Choppella and Amulya Pulijala. “Visual Modeling of Javascript”. In:
Modeling Symposium. 8th India Software Engineering Conference. Poster. Feb. 2015.
Published Refereed Conference and Workshop papers
[57] Subhrojyoti Roy Chaudhuri, Amar Banerjee, N. Swaminathan,
Venkatesh Choppella, Arpan Pal, and P. Balamurali. “A Knowledge Centric
Approach to Conceptualizing Robotic Solutions”. In: Proceedings of the 12th
Innovations on Software Engineering Conference (Formerly Known As India
Software Engineering Conference). ISEC’19. Pune, India: ACM, 2019, 12:1–12:11.
isbn: 978-1-4503-6215-3. doi: 10.1145/3299771.3299782. url:
http://doi.acm.org/10.1145/3299771.3299782.
[56] Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, and Venkatesh Choppella.
“Towards a Domain-Specific Language for the Renarration of Web Pages”. In:
Proceedings of the 11th Innovations in Software Engineering Conference. ISEC ’18.
Hyderabad, India: ACM, 2018, 3:1–3:10. isbn: 978-1-4503-6398-3. doi:
10.1145/3172871.3172873. url: http://doi.acm.org/10.1145/3172871.3172873.
[55] Mrityunjay Kumar, Jessica Emory, and Venkatesh Choppella. “Usability Analysis
of Virtual Labs”. In: 2018 IEEE 18th International Conference on Advanced
Learning Technologies (ICALT). IEEE, July 2018, pp. 238–240. doi:
10.1109/ICALT.2018.00061.
[54] Shovan Swain, Lalit Sanagavarapu, Venkatesh Choppella, and Y. Raghu Reddy.
“Model Driven Approach for Virtual Lab Authoring - Chemical Sciences Labs”. In:
International Conference on Advanced Learning Technologies (ICALT). Accepted for
publication. IEEE, July 2018.
Venkatesh Choppella March 23, 2019 9/18[53] Amar Banerjee, Venkatesh Choppella, Viswanath Kasturi, Swaminathan Natarajan,
Padmalata V. Nistala, and Kesav Nori. “An Attempt at Explicating the
Relationship Between Knowledge, Systems and Engineering”. In: Proceedings of the
11th Innovations in Software Engineering Conference. ISEC ’18. Hyderabad, India:
ACM, Feb. 2018, 5:1–5:11. isbn: 978-1-4503-6398-3. doi: 10.1145/3172871.3172875.
url: http://doi.acm.org/10.1145/3172871.3172875.
[52] Arjun Sanjeev, Venkatesh Choppella, and Viswanath Kasturi. “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).
Best Paper Award: 2nd Prize. Springer, Feb. 2018.
[51] Gollapudi VRJ Sai Prasad, Venkatesh Choppella, and Sridhar Chimalakonda. “A
Style Sheets Based Approach for Semantic Transformation of Web Pages”. In:
Distributed Computing and Internet Technology 14th International Conference,
ICDCIT 2018, Proceedings. Vol. 10722. LNCS. Bhubaneshwar, India: Springer, Jan.
2018, pp. 240–255.
[50] Akash Agrawall, Shubh Maheshwari, Projit Bandyopadhyay, and
Venkatesh Choppella. “Modelling and Mitigation of Cross-Origin Request Attacks on
Federated Identity Management Using Cross Origin Request Policy”. In: Information
Systems Security: 13th International Conference, ICISS 2017, Mumbai, India,
December 16-20, 2017, Proceedings. Springer, 2017, pp. 263–282. isbn:
978-3-319-72598-7. doi: 10.1007/978-3-319-72598-7_16. url:
https://doi.org/10.1007/978-3-319-72598-7_16.
[49] Akash Agrawall, Krishna Chaitanya Telikicherla, Arnav Kumar Agrawal, and
Venkatesh Choppella. “Mitigating Browser-based DDoS Attacks Using CORP”. In:
Proceedings of the 10th Innovations in Software Engineering Conference. ISEC ’17.
Jaipur, India: ACM, 2017, pp. 137–146. isbn: 978-1-4503-4856-0. doi:
10.1145/3021460.3021477. url: http://doi.acm.org/10.1145/3021460.3021477.
[48] Gollapudi VRJ Sai Prasad, Sridhar Chimalakonda, Venkatesh Choppella, and
Y. Raghu Reddy. “An Aspect Oriented Approach for Renarrating Web Content”. In:
Proceedings of the 10th Innovations in Software Engineering Conference. ISEC ’17.
Jaipur, India: ACM, 2017, pp. 56–65. isbn: 978-1-4503-4856-0. doi:
10.1145/3021460.3021466. url: http://doi.acm.org/10.1145/3021460.3021466.
[47] Lalit Mohan S., Priya Raman, Venkatesh Choppella, and Y. R. Reddy. “A
Crowdsourcing Approach for Quality Enhancement of eLearning Systems”. In:
Proceedings of the 10th Innovations in Software Engineering Conference. ISEC ’17.
Jaipur, India: ACM, 2017, pp. 188–194. isbn: 978-1-4503-4856-0. doi:
10.1145/3021460.3021483. url: http://doi.acm.org/10.1145/3021460.3021483.
[46] Sai VRJ Gollapudi, Soumya M. Saraswathi, and Venkatesh Choppella.
“Renarrating Web Pages for Improving Information Accessibility”. In: Proceedings of
the 12th International Conference on Intelligent Systems and Knowledge
Engineering. ISKE 2017. IEEE, Nov. 2017, pp. 1–7.
Venkatesh Choppella March 23, 2019 10/18[45] Lalit Sanagavarapu, Sai Gollapudi, Sridhar Chimalakonda, Y. Raghu Reddy, and
Venkatesh Choppella. “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. July 2017, pp. 557–561. doi: 10.18293/SEKE2017-185. url:
https://doi.org/10.18293/SEKE2017-185.
[44] Krishna Chaitanya Telikecherla, Akash Agrawall, and Venkatesh Choppella. “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. Porto, Portugal. Scitepress, Feb. 2017.
[43] Phillip G. Bradford and Venkatesh Choppella. “Fast Dyck Constrained Shortest
Paths”. In: Proc. 7th IEEE Annual Ubiquitous Computing, Electronics & Mobile
Communication Conference (UEMCON 2016). IEEE Explore, Oct. 2016.
[42] A. Singla, K. Desai, S. Purini, and V. Choppella. “Distributed Safety Verification
Using Vertex Centric Programming Model”. In: 2016 15th International Symposium
on Parallel and Distributed Computing (ISPDC). July 2016, pp. 114–120. doi:
10.1109/ISPDC.2016.23.
[41] V. Choppella, G. Ahuja, and A. Mavalankar. “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).
Mar. 2016, pp. 38–42. doi: 10.1109/LaTiCE.2016.40.
[40] Aditi Mavalankar, Tejaswinee Kelkar, and Venkatesh Choppella. “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, Dec. 2015, pp. 73–76. doi: 10.1109/T4E.2015.16.
[39] Garima Ahuja, Anubha Gupta, Harsh Wardhan, and Venkatesh Choppella.
“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, pp. 290–292. doi: 10.1109/ICALT.2015.41.
[38] Tejaswinee Kelkar, Anon Ray, and Venkatesh Choppella. “SangeetKosh: An Open
Web Platform for Hindustani Music Education”. In: Proceedings of the 15 IEEE
Conference on Advances in Learning Technologies. ICALT 2015. Hualien, Taiwan:
IEEE, July 2015, pp. 5–9.
[37] Gollapudi VRJ Sai Prasad, T. B. Dinesh, and Venkatesh Choppella. “Overcoming
the New Accessibility Challenges Using the Sweet Framework”. In: Proceedings of
the 11th Web for All Conference. W4A ’14. Seoul, Korea: ACM, 2014, 22:1–22:4.
isbn: 978-1-4503-2651-3. doi: 10.1145/2596695.2596711. url:
http://doi.acm.org/10.1145/2596695.2596711.
Venkatesh Choppella March 23, 2019 11/18[36] Krishna Chaitanya Telikicherla and Venkatesh Choppella. “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. Hyderabad, India: ACM, 2014,
pp. 8–15. isbn: 978-1-4503-2855-5. doi: 10.1145/2593761.2593764. url:
http://doi.acm.org/10.1145/2593761.2593764.
[35] KrishnaChaitanya Telikicherla, Venkatesh Choppella, and Bruhadeshwar Bezawada.
“CORP: A Browser Policy to Mitigate Web Infiltration Attacks”. English. In:
Information Systems Security. Ed. by Atul Prakash and Rudrapatna Shyamasundar.
Vol. 8880. Lecture Notes in Computer Science. Springer International Publishing,
2014, pp. 277–297. isbn: 978-3-319-13840-4. doi: 10.1007/978-3-319-13841-1_16.
url: http://dx.doi.org/10.1007/978-3-319-13841-1_16.
[34] Jatin Agarwal, Utkarsh Rastogi, Prateek Pandey, Nurendra Choudhary,
Venkatesh Choppella, and Raghu Reddy. “Large Scale Web Page Optimization of
Virtual Labs”. In: Proceedings of the IEEE International Conference on Technology
for Education (T4E2014). Kollam, India: IEEE, Dec. 2014, pp. 146–147.
[33] Nurendra Choudhary, Venkatesh Choppella, Raghu Reddy, and Thirumal Ravula.
“Large Scale Web Page Optimization of Virtual Labs”. In: Proceedings of the IEEE
International Conference on Technology for Education (T4E2014). Kollam, India:
IEEE, Dec. 2014, pp. 29–31.
[32] Himanshu Zade, Santosh Adimoolam, Sai Gollapudi, Anind Dey, and
Venkatesh Choppella. “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. Toronto, Canada:
ACM, Apr. 2014, pp. 1757–1766. url: http://doi.acm.org/10.1145/2556288.2557191.
[31] Sourav Chatterjee, Pranitha Reddy, and Venkatesh Choppella. “Automated
Restructuring of Contents for Virtual Labs”. In: Proceedings of the IEEE
International Conference on Technology for Education (T4E2013). IEEE Press, 2013.
[30] Venkatesh Choppella, K Viswanath, and P Manjula. “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, pp. 206–209.
[29] Ankur Goel and Venkatesh Choppella. “State Based Access Control for Open
e-Governance”. In: Proceedings of the 7th International Conference on Theory and
Practice of Electronic Governance. ICEGOV ’13. Seoul, Republic of Korea: ACM,
2013, pp. 19–27. isbn: 978-1-4503-2456-4. doi: 10.1145/2591888.2591892. url:
http://doi.acm.org/10.1145/2591888.2591892.
[28] Sai Gollapudi and Venkatesh Choppella. “Descriptive Study of College Bound
Rural Youth of AP, India”. In: Proceedings of the IEEE International Conference on
Technology for Education (T4E2013). IEEE, Dec. 2013, pp. 76–79.
Venkatesh Choppella March 23, 2019 12/18[27] Deepti Aggarwal, Rohit Ashok Khot, Vasudeva Varma, and Venkatesh Choppella.
“uPick: Crowdsourcing Based Approach to Extract Relations among Named Entites”.
In: Proceedings of the 2012 international conference on Human Computer
Interaction. IndiaHCI’12. Pune, India, 2012, pp. 1–8.
[26] Venkatesh Choppella, Hitesh Kumar, P. Manjula, and K. Viswanath. “From
High-School Algebra to Computing through Functional Programming”. In: IEEE 4th
International Conference on Technology for Education. IEEE Press, 2012,
pp. 180–183.
[25] T. B. Dinesh and Venkatesh Choppella. “Alipi: Tools for a Re-narration Web”. In:
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility.
W4A ’12. Microsoft Accessibility Challenge: Delegates award. Lyon, France:
ACM, 2012, 29:1–29:2. isbn: 978-1-4503-1019-2. doi: 10.1145/2207016.2207038. url:
http://doi.acm.org/10.1145/2207016.2207038.
[24] T. B. Dinesh, S. Uskudarli, Subramanya Sastry, Deepti Aggarwal, and
Venkatesh Choppella. “Alipi: A Framework for Re-narrating Web Pages”. In:
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility.
W4A ’12. Lyon, France: ACM, 2012, 22:1–22:4. isbn: 978-1-4503-1019-2. doi:
10.1145/2207016.2207030. url: http://doi.acm.org/10.1145/2207016.2207030.
[23] Ankur Goel and Venkatesh Choppella. “Algebraic Modelling of Educational
Workflows”. In: IEEE 4th International Conference on Technology for Education.
IEEE, 2012, pp. 153–156.
[22] Sankalp Khare, Ishan Misra, and Venkatesh Choppella. “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,
pp. 220–223.
[21] S. Malani, G.N.S. Prasanna, J.A. del Alamo, J.L. Hardison, K. Moudgalya, and
V. Chopella. “Issues Faced in a Remote Instrumentation Laboratory”. In: IEEE 4th
International Conference on Technology for Education. IEEE Press, 2012, pp. 67–74.
[20] Himanshu Zade and Venkatesh Choppella. “Functionality or User Interface: which
is easier to learn when changed?” In: IEEE 4th International Conference on
Intelligent Human Computer Interaction (IHCI). IEEE, Dec. 2012, pp. 1–6.
[19] K.C. Bandi, A.K. Nori, V. Choppella, and S. Kode. “A Virtual Laboratory for
Teaching Linux on the Web”. In: IEEE 3rd International Conference on Technology
for Education. IEEE Press, 2011, pp. 212–215.
[18] Vamsikrishna Brahmajosyula and Venkatesh Choppella. “Modeling and
Programming with State Variables”. In: 2nd Workshop on Advances in Model-based
Software Engineering. Colocated with 4th ISEC 2011, Trivandrum India. 2011.
[17] Venkatesh Choppella., V K Brahmajosyula, M. Vutpala., and S. Kole. “Process
Models for Virtual Lab Development, Deployment and Distribution”. In: IEEE 3rd
International Conference on Technology for Education. IEEE Press, 2011,
pp. 293–294.
Venkatesh Choppella March 23, 2019 13/18[16] Rohit Khot and Venkatesh Choppella. “DISCOVIR: A Framework for Designing
Interfaces and Structuring Content for Virtual Labs”. In: IEEE 3rd International
Conference on Technology for Education. IEEE Press, 2011, pp. 121–127.
[15] Venkatesh Choppella, Vamsikrishna Brahmajosyula, T B Dinesh, and
Nadin Kokciyan. “Towards a declarative workflow model for customizing group
processes”. In: International Conference on Distributed Computing and Internet
Technologies (ICDCIT 2011). Oral presentation. Feb. 2011.
[14] Venkatesh Choppella. “FOSS, Web2.0 and Mashups as a Natural Learning
Management Infrastructure”. In: IEEE Conf. on Technology for Education.
Conference tutorial. July 2010.
[13] Thulasiram Naidu P, Manisha Verma, Venkatesh Choppella, and
Gangadhar Chalapaka. “Synthesizing customizable learning environments”. In: 2nd
IEEE International Conference on Technology for Education. July 2010.
[12] T B Dinesh and Venkatesh Choppella. “A case for process-driven models for
e-governance architectures”. In: 7th International Conference on E-Government. Apr.
2010.
[11] Venkatesh Choppella and K R Srivathsan. “Fostering Community Interaction with
the Trivandrum City Police Portal”. In: 3rd ACM International Conference on the
Theory and Practice of E-Governance. Nov. 2009, pp. 365–368.
[10] Venkatesh Choppella, Arijit Sengupta, Ed Robertson, and Steven Johnson.
“Prelimary Explorations in Specifying and Verifying Entity-Relationship models in
PVS”. In: Proceedings of AFM’07: Second ACM workshop on Automated Formal
Methods. Ed. by Natarajan Shankar and John Rushby. ACM Press, Nov. 2007,
pp. 1–10.
[9] A. Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen,
Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russel M. Pitzer,
J Ramanujam, Atanas Rountev, and P. Sadayappan. “Identifying cost-effective
common subexpressions to reduce operation count in tensor contraction evaluations”.
In: Proceedings of the International Conference on Computational Science (ICCS),
Part 1. Ed. by V. N. Alexandrov et al. Vol. 3991. Lecture Notes in Computer
Science. Springer-Verlag, 2006, pp. 267–275.
[8] A. Bibireata, S. Krishnan, G. Baumgartner, D. Cociorva, C-C. Lam, P. Sadayappan,
J. Ramanujam, D. E. Bernholdt, and V. Choppella. “Memory-constrained Data
Locality Optimizations for Tensor Contractions”. In: Proc. 16th International
Workshop on Languages and Compilers for Parallel Computing (LCPC ’03). Lecture
Notes in Computer Science 2958. College Station, Texas: Springer, 2004, pp. 93–108.
[7] Venkatesh Choppella. “Polymorphic Type Reconstruction using Type Equations”. In:
Implementation of Functional Languages: 15th International Workshop, IFL 2003,
Edinburgh, UK. Ed. by Greg Michaelson Phil Trinder and Recardo Peña. Vol. 3145.
Lecture Notes in Computer Science. ISBN: 3-540-23727-5. Springer Verlag, Dec.
2004, pp. 53–68.
Venkatesh Choppella March 23, 2019 14/18[6] S. Krishnan, S. Krishnamoorthy, G. Baumgartner, C-C. Lam, J. Ramanujam,
P. Sadayappan, and V. Choppella. “Efficient Synthesis of Out-of-core Algorithms
Using a Nonlinear Optimization Solver”. In: Proc. International Parallel and
Distributed Processing Symposium (IPDPS 2004), Albuquerque, New Mexico, USA.
ISBN: 0-7695-2132-0. IEEE Computer Society, Apr. 2004.
[5] Venkatesh Choppella and Chistopher T. Haynes. “Source-tracking Unification”. In:
Proceedings of 19th International Conference on Automated Deduction, CADE-19,
Miami Beach, USA. Ed. by Franz Baader. Lecture Notes in Artificial Intelligence
2741. Springer, 2003, pp. 458–472.
[4] S. Krishnan, S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam,
P. Sadayappan, J. Ramanujam, D. E. Bernholdt, and V. Choppella. “Data Locality
Optimization for Synthesis of Efficient Out-of-Core Algorithms”. In: Proc. of the Intl.
Conf. on High Performance Computing (HiPC 2003). Lecture Notes in Computer
Science 2913. Hyderabad, India: Springer, Dec. 2003, pp. 406–417.
[3] M. Govindaraju, A. Slomenski, V. Choppella, R. Bramley, and D. Gannon.
“Requirements for and Evaluation of RMI Protocols for On the Performance of
Remote Method Invocation for Scientific Computing”. In: Proc. of the IEEE/ACM
International Conference on Supercomputing (SC 2000). Nov. 2000.
[2] B. Bose, M. E. Tuna, and V. Choppella. “Tutorial on Digital Design Derivation with
DRS”. In: Proc. 1st International Conf. on Formal Methods in Computer Aided
Design, (FMCAD ’96), Palo Alto, CA, USA. Lecture Notes in Computer Science
1166. Springer, Nov. 1996.
[1] P. Bradford, V. Choppella, and G. J. E. Rawlins. “Lower Bounds on the Matrix
Chain Order problem”. In: Proc. 2nd Latin American Symposium on Theoretical
Informatics, (LATIN’95), Valparaiso, Chile. Ed. by Ricardo Baeza-Yates, Eric Goles,
and Patricio V. Poblete. Lecture Notes in Computer Science. Springer, 1995,
pp. 112–130.
Published Refereed Journal articles
[6] Vamsikrishna Brahmajosyula and Venkatesh Choppella. “Modeling and
Programming with State Variables”. In: SETLAB Briefings 9.4 (2011), pp. 3–10.
[5] Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam,
J. Ramanujam, P. Sadayappan, and Venkatesh Choppella. “Efficient Synthesis of
out-of-core algorithms using a nonlinear optimization solver”. In: Journal of Parallel
and Distributed Computing 66 (2006). Invited Submission., pp. 659–673.
Venkatesh Choppella March 23, 2019 15/18[4] Alexander Auer, Gerald Baumgartner, David E. Bernholdt, Alina Bibireata,
Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao, Robert Harrison,
Sriram Krishanmoorthy, Sandhya Krishnan, Chi-Chung Lam, Marcel Nooijen,
Russell Pitzer, J. Ramanujam, P. Sadayappan, and Alexander Sibiryakov.
“Automatic Code Generation for Many-Body Electronic Structure Methods: The
Tensor Contraction Engine”. In: Molecular Physics 104.2 (Jan. 2006). Invited
paper. R. J. Bartlett Festschrift, pp. 211–228.
[3] V. Choppella and C. T. Haynes. “Sourcetracking Unification (Revised and Extended
Version)”. In: Information and Computation 201.2 (Sept. 2005). Invited
Submission., pp. 121–159.
[2] Gerald Baumgartner, Alexander Auer, David E. Bernholdt, Alina Bibireata,
Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao, Robert Harrison, So Hirata,
Sriram Krishanmoorthy, Sandhya Krishnan, Chi-Chung Lam, Marcel Nooijen,
Russell Pitzer, J. Ramanujam, P. Sadayappan, and Alexander Sibiryakov. “Synthesis
of High-Performance Parallel Programs for a Class of Ab Initio Quantum Chemistry
Models”. In: Proc. of the IEEE 93.2 (Feb. 2005). Invited Paper, pp. 276–292.
[1] K. Rath, V. Choppella, and S. D. Johnson. “Decomposition of Sequential Behavior
using Interface Specification and Complementation”. In: VLSI Design, Special Issue
on Decomposition 3.3–4 (1995), pp. 347–358.
Technical reports
[7] Venkatesh Choppella, Kasturi Viswanath, and Arjun Sanjeev. Generalized Dining
Philosophers and Feedback Control. article arXiv:1805.02010v1. arXiv:1805.02010v1.
IIIT Hyderabad, May 5, 2018. url: https://arxiv.org/pdf/1805.02010.pdf.
[6] Santosh Arvind Adimoolam, Venkatesh Choppella, and PVR Murthy. Verifying
Timed CTL contracts for continuous pure signal I/O automata by encoding as
virtual environments. Tech. rep. IIIT/TR/2013/26. International Institute of
Information Technology Hyderabad, 2013.
[5] Krishna Chaitanya Telikicherla and Venkatesh Choppella. Alloy model for Cross
Origin Request Policy (CORP). Tech. rep. IIIT/TR/2013/31. http://web2py.iiit.ac.
in/research_centres/publications/view_publication/techreport/112.
IIIT-Hyderabad, Aug. 2013.
[4] Venkatesh Choppella, Arijit Sengupta, Edward Robertson, and Steven D. Johnson.
Constructing and Validating Entity-Relationship models in the PVS Specification
Language: A case study using a text-book example. Tech. rep. 632. Indiana University
Computer Science, Apr. 2006.
Venkatesh Choppella March 23, 2019 16/18[3] A. Banerji, C. Bartolino, D. Beringer, K. Govindarajan V. Choppella, A. Karp,
H. Kuno, M. Lemon, G. Pogossiants, S. Sharma, and S. Williams. Web Services
Conversation Language (WSCL) 1.0. Tech. rep. World Wide Web Consortium Note
http://www.w3.org/TR/wscl10. Hewlett-Packard Company, Mar. 2002. url:
http://www.w3.org/TR/wscl10.
[2] Venkatesh Choppella and Chistopher T. Haynes. Diagnosis of Ill-typed Programs.
Tech. rep. 426. Indiana University, Feb. 1995.
[1] Philip Bradford, Venkatesh Choppella, and Gregory J. E. Rawlins. Lower Bounds for
the Matrix Chain Order Problem. Tech. rep. TR 391. Indiana University, Oct. 1993.
Theses
[2] Venkatesh Choppella. “Unification Source-tracking with Application to Diagnosis of
Type Inference”. IUCS Tech Report TR566. PhD thesis. Indiana University, Aug.
2002. url:
http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR566.
[1] Venkatesh Choppella. “Implementation of ML on the SECD machine”. MTech thesis.
IIT Madras, 1987.
Unpublished manuscripts
[2] Sai VRJ Gollapudi, Venkatesh Choppella, and Sridhar Chimalakonda. “Overlaying
of Semantic Structures on Published Web Pages (Poster)”. In: Proc. International
Conference on Software Engineering and Knowledge Engineering. San Francisco
(SEKE 2018). Accepted for publication. July 2018.
[1] Venkatesh Choppella. “A compositionality principle for unification”. Accepted for
publication at UNIF 2004. 2004.
Patents
[1] Cristina Lopes, Gregor Kiczales, John Lamping, Erik Hilsdale, Venkatesh Choppella,
and Taher Haveliwala. “Aspect-Oriented System Monitoring and Tracing”.
09/357,508 (United States). Awarded April 2002. 1999. url:
http://www.patentstorm.us/patents/6473895.html.
Venkatesh Choppella March 23, 2019 17/18Recent Talks
[7] Algodynamics: teaching algorithms as systems. ISEC 2019 Workshop: Towards
Adaptive Enterprises. Feb. 14, 2019.
[6] Literate Programming. RMLL 2018, University of Strasbourg, France. July 8, 2018.
[5] Mitigating Web infiltration attacks using the Cross Origin Request Policy. Bogazici
University, Istanbul, Turkey. July 5, 2018.
[4] Mitigating Web infiltration attacks using the Cross Origin Request Policy. Tata
Research Design and Development Centre, Pune. May 21, 2018.
[3] Concurrency Control as Feedback Control. Research Seminar at Amrita Vishwa
Vidya Peetham, Kollam, Kerala. Jan. 8, 2018.
[2] Literate Programming with Emacs Org-mode. Thoughtworks Bangalore. May 12,
2017.
[1] Functional Programming in Racket: Programs as Data. IEEE Hyderabad Section,
TCS Deccan Park, Hyderabad. May 27, 2016.
Venkatesh Choppella March 23, 2019 18/18You can also read
