Doctoral Symposium17th Innovations in Software Engineering Conference (ISEC 2024)
Fri 23 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
08:30 - 09:00 | |||
08:30 30mOther | Inauguration Ceremony Research Papers |
10:00 - 11:00 | |||
10:00 10mOther | Opening Remarks Doctoral Symposium | ||
10:10 25mPaper | Safeguarding Controller Variables from SEUs using Static Analysis Doctoral Symposium Ganesha IIITB - International Institute of Information Technology Bangalore | ||
10:35 25mPaper | SecSEC: Securing Smart Ethereum Contracts Doctoral Symposium Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur |
11:20 - 13:00 | |||
11:20 25mPaper | Finding and Investigating Buggy Codes to Make CS1 Learning Efficient Doctoral Symposium Nimisha Agarwal IIT Kanpur | ||
11:45 25mPaper | Parameterized Static Analysis for Weak Memory Models Doctoral Symposium | ||
12:10 25mPaper | Neural Networks Verification: Perspectives from Formal Method Doctoral Symposium Priyanka Maity Indian Institute of Technology Kanpur | ||
12:35 25mPaper | Symbolic Verification of Mesh Commissioning Protocol of Thread Doctoral Symposium |
13:00 - 14:00 | |||
13:00 60mLunch | Lunch Break |
16:00 - 17:30 | |||
18:00 - 19:30 | |||
18:00 90mOther | Cultural Programme Research Papers |
19:30 - 21:00 | |||
19:30 90mDinner | Dinner Break |
Accepted Papers
Title | |
---|---|
Finding and Investigating Buggy Codes to Make CS1 Learning Efficient Doctoral Symposium | |
Neural Networks Verification: Perspectives from Formal Method Doctoral Symposium | |
Parameterized Static Analysis for Weak Memory Models Doctoral Symposium | |
Safeguarding Controller Variables from SEUs using Static Analysis Doctoral Symposium | |
SecSEC: Securing Smart Ethereum Contracts Doctoral Symposium | |
Symbolic Verification of Mesh Commissioning Protocol of Thread Doctoral Symposium |
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:
Authors | Paper Title |
Ganesha | Safeguarding Controller Variables from SEUs using Static Analysis |
Chavhan Sujeet Yashavant | SecSEC: Securing Smart Ethereum Contracts |
Nimisha Agarwal | Finding and Investigating Buggy Codes to Make CS1 Learning Efficient |
Divyanjali Sharma and Subodh Sharma | Parameterized Static Analysis for Weak Memory Models |
Priyanka Maity | Neural Networks Verification: Perspectives from Formal Method |
Pankaj Upadhyay, Subodh Sharma and Guangdong Bai | Symbolic Verification of Mesh Commissioning Protocol of Thread |