Venkatesh Chop-pella - Ph. D - IIIT Hyderabad

 
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/18
Teaching
    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/18
Active 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/18
MS 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/18
Expert 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/18
Grants 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/18
Awards
                      { 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/18
Available 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/18
Recent 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/18
You can also read
Next slide ... Cancel