NITMLOGO

NIT Meghalaya

COMPUTER SCIENCE AND ENGINEERING Department

Profile:

Dr. Rajarshi Ray

Assistant Professor

Ph.D. in Computer Science, Verimag, University of Grenoble, France.

M.Sc. in Computer Sc. Chennai Mathematical Institute.

E-mail: rajarshi.ray@nitm.ac.in.

Tel:

 

 

Research Interest

  • Formal Methods in Systems Design and Verification
  • High Performance Computing
  • Software Engineering

Publications

International Journals:



International Conferences:

  • M. Althoff, S. Bak, D. Cattaruzza, X. Chen, G. Frehse, R. Ray, S. Schupp, ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Period -April, Place -Pittsburgh, USA, Page -143-159, 2017. https://easychair.org/publications/paper/352651
  • L. Bu, R. Ray, S. Schupp, ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Period -April, Place -Pittsburgh, USA, Page -134-142, 2017. https://easychair.org/publications/paper/352479
  • B. Nongpoh, R. Ray, S. Dutta, A. Banerjee, AutoSense: A Framework for Automated Sensitivity Analysis of Program Data, 11th ESEC/ACM SIGSOFT FSE, Period -September 4-8, Place -Paderborn, Germany, Page -To appear, 2017.
  • A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, Parallel Reachability Analysis for Hybrid Systems, MEMOCODE, Period -Nov 18-20, Place -IIT Kanpur, India, 2016. http://ieeexplore.ieee.org/document/7797741/
  • R. Ray, A. Gurung, Parallel state space exploration of linear systems with inputs using XSpeed., ACM International Conference on Hybrid Systems: Computation and Control, Period -April 2015, Place -Seattle, USA, Page -285-286, 2015. http://dl.acm.org/citation.cfm?doid=2728606.2728644
  • R. Ray, A, Gurung, B. Das, E.Bartocci, S. Bogomolov, R. Grosu, XSpeed: Accelerating Reachability Analysis on Multi-core Processors, Haifa Verification Conference, Period -November, Place -IBM Research Lab, Haifa, Page -3-18, 2015. https://link.springer.com/chapter/10.1007%2F978-3-319-26287-1_1
  • Pooja Roy, Rajarshi Ray, Chundong Wang, and Weng Fai Wong, ASAC: Automatic sensitivity analysis for approximate computing, Languages, Compilers and Tools in Embedded Systems, Period -May 2014, Place -Edinburgh, United Kingdom, Page -95-104, 2014. http://dl.acm.org/citation.cfm?doid=2666357.2597812


Books:

Sl No. Author Name Title Publisher ISBN No Pages Year
1 R. Ray, A, Gurung, B. Das, E.Bartocci, S. Bogomolov, R. Grosu XSpeed: Accelerating Reachability Analysis on Multi-core Processors LNCS, Springer 978-3-319-26286-4 3-18 (Book Chapter) 2015

Courses Taught

Previous/Other Semester/Year
  • Data Structures, Autumn Semester, 2015
  • Mathematical Foundations Of Computer Science, Autumn Semester, 2015
  • Software Engineering, Spring Semester, 2016
  • Principles of Program Analysis, Spring Semester, 2016

Administrative Responsibility

  • Coordinating department activities and programme, Head of the Department, from 2014-2017
  • Coordinating Computer Center Activities, Head of Office, Computer Center, from 2017 onwards

Students Supervised/Supervising

  • Ph.D
  • Mr. Amit Gurung, Ph.D, Parallel State Space Exploration of Hybrid Systems, 2014 onwards
  • Mr. Bernard Nongpoh, Ph.D, Static and Dynamic Program Analysis for Approximate Computing, 2015 onwards
  • M.Tech
  • Binayak Das, M.Tech, Vertex Enumeration and Linear Program Solver in GPU, 2015-2016
  • Jamil Ahmed, M.Tech, Approximation Aware Cache Management, 2016-2017
  • Suraj Kumar, M.Tech, Modeling and Designing a Self-Balancing Unicycle, 2016-2017
  • Kamal das, M.Tech, Cone of Influence Analysis in Hybrid Systems, 2017-2018
  • Anant Saraswat, M.Tech, Formal Verification of a Cache Coherence Protocol, 2017-2018
  • B.Tech
  • Ashutosh Kumar, B.Tech, Automated Validation and Code Generation from Source Model Representations, 2014-2015
  • Ramanuj Bhattacharya, B.Tech, Automated Validation and Code Generation from Source Model Representations, 2014-2015
  • Mritunjay Pandey, B.Tech, Program Branch Coverage using Source Code Instrumentation, 2014-2015
  • Mayank Nag, B.Tech, Sensitivity Analysis of Program Data by Automated Differentiation, 2016-2017
  • Akansh Pandey, B.Tech, Sensitivity Analysis of Program Data by Automated Differentiation, 2016-2017

Projects

Sl No. Title of Project PI CO-PI Funding Agency Sanctioned Amount StartYr - EndYr (Duration) Status Project Type
1 Parallel Model Checking of Hybrid Systems Dr. R. Ray None DST-SERB 2016-2019 Ongoing Sponsored

Work Experience

  • Research Engineer at Verimag Research Laboratory, Grenoble, France.
    Work involved learning methods and tools for engineering reliable software for scientific computing.
  • Post-doctoral Researcher at National University of Singapore, Singapore.
    Work involved independent research on GPU and approximate computing.
  • Assistant Professor at NIT Meghalaya.

    Teaching and Research in Computer Science. Administration and development of the department of Computer Science and Engineering.

Committee

Sl No. Committee Name Contribution Description Duration
1 Department Advisory Committee Chairman Taking Decisions for the Computer Science and Engineering Department Related to its Academic Programmes and Other Activities 2014 onwards
2 Department Research Committee Chairman Taking Decisions Related to the Computer Science and Engineering Department Research Activities 2014 onwards
3 Selection Committee for B.Tech. Free Studentship Member Screening Candidates Eligible for Free Studentship 2014 onwards
4 Institute Information Committee Member Documenting Relevant Information of the Institute 2017-
5 Planning and Preparation Committee for Shifting to the Permanent Campus Member Looking after the Modalities of Shisting to th Permanent Campus 2015-2016

Conference/Symposium/Workshop/Seminar Organised

Conference:

Sl No. Title Sponsors National/International Duration Role Played
2 EDCAV 2016 DST-SERB, NIT Meghalaya International Jan 2015 Co-Convenor


Workshop:

Sl No. Title Sponsors National/International Duration Role Played
1 NMEICT Awareness Workshop MHRD National September 2015 Co-ordinator



Conference/Workshop/Seminar Attended

Conference:

Sl No. Name Period Place National|International
1 Languages, Compilers and Tools in Embedded Systems June 2014 Edinburgh, United Kingdom. International
2 Haifa Verification Conference November 2015 IBM Research Labs, Haifa, Israel. International
3 International Conference on VLSI Design January 2016 Kolkata International


Workshop:

Sl No. Name Period Place National/International
1 Indo-German Workshop on Algorithms March 2015 ISI, Kolkata International
2 Mypore Park Workshop on Trends and Challenges in Quantitatve Verification February 2016 Mysore Park, Infosys Mysore International



Professional Membership

Sl No. Name Member ID Category Validity
1 ACM 6100096 Professional 1 Year

Awards & Recognition

Sl No. Award Details Year
1 ACM India and IARCS Travel Grant to attend the 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, Paderborn, Germany. 2017
2 HiPC Faculty Travel Grant to Attend the 22nd International conference on High Performance Computing, Bangalore. 2015

Invited Talks

Sl No. Title Event Invited Talks/Tutorial Co-Speakers
1 ASAC: Automated Sensitivity Analysis for Approximate Computing Formal Methods Update Meet, June 2014, IIT Kharagpur Invited Talk Researchers in Formal Methods in Industry and academia
2 Breadth First Search and Its Parallelization KIC TeQip Short Term Course on Centralized and Distributed Graph Algorithms, May 2016, IIT Guwahati, Invited Talk Faculties from IIT Guwahati and ISI Kolkata
3 Parallel State Space Exploration of Hybrid Systems in XSpeed Schloss Dagstuhl Seminar, Dec 2016, Wadern, Germany. Invited Talk Researchers from International Institutes/Universities

© 2014 NIT Meghalaya, Laitumkhrah, Shillong-793003, Meghalaya, India