Register for ACM India Student Webinar on 12 May with Viraj Kumar: "Is My Code Still Correct?"
May 5, 2020
The third session of the special miniseries of ACM India student-oriented webinars is on an equally interesting topic. Register now for "Is My Code Still Correct?", to be presented on Tuesday 12 May 2020 at 11 am IST by Viraj Kumar of IISc Bangalore. The host for this session will be Shekhar Sahasrabudhe, Chief Operating Officer of ACM India Council.
Registrations are limited, so please register early and secure your spot. Although this is a student-oriented initiative, all students, faculty and industry professionals are welcome to attend the webinar. Feel free to forward this communication to those who would be interested.
Note : You can also stream this webinar on your mobile device, including smartphone and tablet.
Abstract: Suppose we have written some code that passes all our test cases. We now want to improve it (e.g., in terms of readability or performance), but we are concerned that changing the code may change its functionality. The obvious way to address this concern is by running the test cases on the improved code. However, our improvement can introduce subtle bugs that may not be exposed by our test cases. In this talk, we will describe how to use bounded model checkers as a complement to testing. We will illustrate their use with simple C code using the freely available tool CBMC.
Duration : 60 minutes (including audience Q&A)
Presenter:
Prof. Viraj Kumar is a Visiting Professor at IISc Bangalore and the Chair of ACM India's Special Interest Group for CS Education (iSIGCSE). Viraj holds a PhD in Computer Science from the University of Illinois at Urbana-Champaign and his primary research area is in Educational Technology with an emphasis on India-specific challenges and solutions. He has contributed to two task groups related to Educational Technology constituted by the Karnataka Knowledge Commission and served as a consultant to the committee to draft the National Education Policy (MHRD, Government of India). Viraj has co-chaired ACM India's annual COMPUTE conference on Computing Education since 2018.
Host:
Shekhar Sahasrabudhe, Chief Operating Officer of ACM India Council
