Dr. Sudakshina Dutta

Designation : Assistant Professor

Broad Area of Expertise : Computer Sciences and Engineering

Email : sudakshina{at}iitgoa.ac.in

Contact Number : 0832-2490-126

Address : F-9, IT Building

Personal Page

Educational Qualifications

  1. PhD from IIT Kharagpur (2018), M.Tech from IIT Kharagpur (2011), B.E. from Jadavpur University (2007)

Areas of Research

Formal Verification, Static analysis

Courses Taught

Core courses : 

Introduction to Compilation Techniques (theory (CS302) and lab (CS306)) [Autumn, 2019], [Spring, 2021],

Logics in Computer Science(CS228) [Autumn, 2020] 

Software Systems Laboratory [Autumn, 2019], [Spring, 2020].

Electives : 

Approaches to Software Performance Improvement (CS511) [Spring, 2020].


Professional Appointments

  1. Member of Technical Staffs in Interra Systems (2007-2009)

Recent Publications

  1. Sudakshina Dutta: Validation of parallelizing transformations of sequential programs. Concurrency and Computation: Practice and Experience 29(8) (2017)
  2. Sudakshina Dutta, Dipankar Sarkar, Arvind Rawat: Synchronization Validation for Cross-Thread Dependences in Parallel Programs. International Journal of Parallel Programming 45(6): 1326-1365 (2017)
  3. Sudakshina Dutta, Dipankar Sarkar, Arvind Rawat, Kulwant Singh: Validation of Loop Parallelization and Loop Vectorization Transformations. ENASE 2016: 195-202
  4. Sudakshina Dutta, Dipankar Sarkar: An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. ENASE 2016: 254-259
  5. Sudakshina Dutta, Anupam Basu: A Cognitive Approach to Word Sense Disambiguation. CICLing (1) 2012: 211-224

Recognition and Awards


Edit Profile