Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 23 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

08:30 - 09:00
Inauguration CeremonyResearch Papers at Room 1 - R103
08:30
30m
Other
Inauguration Ceremony
Research Papers

10:00 - 11:00
Doctoral Symposium Session 1Doctoral Symposium at Room 4 - R110
10:00
10m
Other
Opening Remarks
Doctoral Symposium

10:10
25m
Paper
Safeguarding Controller Variables from SEUs using Static Analysis
Doctoral Symposium
Ganesha IIITB - International Institute of Information Technology Bangalore
10:35
25m
Paper
SecSEC: Securing Smart Ethereum Contracts
Doctoral Symposium
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur
11:00 - 11:30
Tea BreakBreak at Tea Venue
11:00
30m
Coffee break
Break
Break

11:20 - 13:00
Doctoral Symposium Session 1Doctoral Symposium at Room 4 - R110
11:20
25m
Paper
Finding and Investigating Buggy Codes to Make CS1 Learning Efficient
Doctoral Symposium
Nimisha Agarwal IIT Kanpur
11:45
25m
Paper
Parameterized Static Analysis for Weak Memory Models
Doctoral Symposium
Divyanjali Sharma IIT Delhi, India, Subodh Sharma IIT Delhi
12:10
25m
Paper
Neural Networks Verification: Perspectives from Formal Method
Doctoral Symposium
Priyanka Maity Indian Institute of Technology Kanpur
12:35
25m
Paper
Symbolic Verification of Mesh Commissioning Protocol of Thread
Doctoral Symposium
Pankaj Upadhyay , Subodh Sharma IIT Delhi, Guangdong Bai The University of Queensland
13:00 - 14:00
13:00
60m
Lunch
Lunch
Break

15:00 - 15:30
Tea BreakBreak at Tea Venue
15:00
30m
Coffee break
Break
Break

16:00 - 17:30
Doctoral Symposium - Panel DiscussionDoctoral Symposium at Room 1 - R103
18:00 - 19:30
Cultural ProgrammeResearch Papers at Auditorium
18:00
90m
Other
Cultural Programme
Research Papers

19:30 - 21:00
19:30
90m
Dinner
Dinner
Break

Call for Papers

ISEC (Innovations in Software Engineering Conference) is the annual flagship conference of iSOFT, the India chapter of ACM SIGSOFT under the umbrella of ACM India. The seventeenth edition of ISEC will be held at Bengaluru between 22–24 February, 2024.

ISEC 2024 will host a doctoral symposium track. All doctoral students pursuing research in software engineering and allied areas, in any year of their program, are encouraged to submit to the symposium. The symposium aims to provide a friendly atmosphere for research scholars to present their work, seek suggestions from eminent researchers, and engage in discussions with their peers across different institutes. In addition to interacting with researchers about their thesis topic, there will be invited talks and/or a panel discussion on aspects of a doctoral life.

Submission Details

Submissions must be in the PDF format, not exceeding four pages (including bibliography and any appendices). Authors must use the ACM conference proceedings guidelines for their submissions: https://www.acm.org/publications/proceedings-template

The submissions must outline a well­-defined problem statement for the doctoral work, potential approach(es) towards its solution, and the route to completing the thesis (evaluation methodology, metrics for success, target conferences/journals to communicate the work etc.). It is desirable, though not necessary, that the submissions include a concrete solution to the problem, and theoretical and/or empirical evidence that defends the proposed approach.

The authors of the accepted papers will present their work in the symposium and selected papers will be published in the conference proceedings. A limited number of travel grants are available for research scholars to attend the doctoral symposium.

Conference site: https://conf.researchr.org/track/isec-2024/isec-2024-doctoral-symposium

Submission link: https://easychair.org/conferences/?conf=isecdoctoralsymposiu0

Selected Papers:

TechBrij: HTML Table
AuthorsPaper Title
GaneshaSafeguarding Controller Variables from SEUs using Static Analysis
Chavhan Sujeet YashavantSecSEC: Securing Smart Ethereum Contracts
Nimisha AgarwalFinding and Investigating Buggy Codes to Make CS1 Learning Efficient
Divyanjali Sharma and Subodh SharmaParameterized Static Analysis for Weak Memory Models
Priyanka MaityNeural Networks Verification: Perspectives from Formal Method
Pankaj Upadhyay, Subodh Sharma and Guangdong BaiSymbolic Verification of Mesh Commissioning Protocol of Thread