Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Complementing Machine Learning Classifiers Via Dynamic Symbolic Execution: Human vs. Bot Generated Tweets.
Published in RAISE, 2018
Recommended citation: Sohil Lal Shrestha, Saroj Panda, and Christoph Csallner. "Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: Human vs. Bot Generated Tweets." 2018 IEEE/ACM 6th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE). IEEE, 2018.
DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain.
Published in DeepTest, 2020
Recommended citation: Sohil Lal Shrestha, Shafiul Azam Chowdhury and Christoph Csallner. "DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain." Proc. 2nd Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest), 2020.
Automatic Generation of Simulink Models to Find Bugs in a Cyber-Physical System Tool Chain using Deep Learning.
Published in ICSE (CORE A*), 2020
Recommended citation: Shrestha, Sohil L. "Automatic Generation of Simulink Models to Find Bugs in a Cyber-Physical System Tool Chain using Deep Learning. Proc. 42nd ACM/IEEE International Conference on Software Engineering (ICSE) Companion, 2020.""
Demo: SLEMI: Finding Simulink Compiler Bugs throughEquivalence Modulo Input (EMI)
Published in ICSE (CORE A*, Acceptance rate: 33.3%), 2020
Recommended citation: Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner. "Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)" Proc. 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020.
SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.
Published in ICSE (CORE A*, Acceptance rate: 20.9%), 2020
Recommended citation: Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner. "SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink." Proc. 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020.
SLGPT: Using transfer learning to directly generate Simulink model files and find bugs in the Simulink toolchain.
Published in EASE (CORE A, Acceptance rate: 33.3%), 2021
Recommended citation: Sohil Lal Shrestha and Christoph Csallner. "SLGPT: Using transfer learning to directly generate Simulink model files and find bugs in the Simulink toolchain. Proc. 25th International Conference on Evaluation and Assessment in Software Engineering (EASE), Vision and Emerging Results Track, 2021.
SLNET: A Redistributable Corpus of 3rd-party Simulink Models
Published in MSR (CORE A , Acceptance rate: 74% (high acceptance rate has to do with the high-quality submission to the datashowcase track)) , 2022
Download paper here
Dataset
Model Collection Tool
Metric Collection Tool
Updated Metric Collection Tool
Recommended citation: Sohil Lal Shrestha, Shafiul Azam Chowdhury and Christoph Csallner. "SLNET: A Redistributable Corpus of 3rd-party Simulink Models. IEEE/ACM 19th International Conference on Mining Software Repositories (MSR). 2022
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis
Published in ISSTA, 2023
Recommended citation: Sohil Lal Shrestha. "Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis", ISSTA 2023.
EvoSL: A large open-source corpus of changes in Simulink models & projects
Published in MODELS, 2023
Download paper here
Dataset
Tools
Other Artifacts
Recommended citation: Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer and Christoph Csallner. "EvoSL: A large open-source corpus of changes in Simulink models & projects", MODELS 2023.
ScoutSL: An Open-source Simulink Search Engine
Published in MODELS, 2023
Recommended citation: Sohil Lal Shrestha, Alexander Boll, Timo Kehrer and Christoph Csallner. "ScoutSL: An Open-source Simulink Search Engine", MODELS 2023.
Replicability Study: Corpora For Understanding Simulink Models & Projects
Published in ESEM, 2023
Download paper here
Artifacts
Tool
ESEM Slides
Recommended citation: Sohil Lal Shrestha, Shafiul Azam Chowdhury and Christoph Csallner. "Replicability Study: Corpora For Understanding Simulink Models & Projects", ESEM 2023.
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Design and Analysis of Algorithms
Graduate course, University of Texas at Arlington, Department of Computer Science and Engineering, 2018
- TA for CSE5311-004 Design and Analysis of Algorithms.
- Graded homework and exams for Algorithms and Data Structure (CSE 5311)
- Prepared programming assignments and grade accordingly
- Organized and lead review sessions about specific topics as requested by instructor
- Gave lectures on Master Theorem.
Design and Analysis of Algorithms
Graduate course, University of Texas at Arlington, Department of Computer Science and Engineering, 2019
- TA for CSE5311-005 Design and Analysis of Algorithms.
- Graded homework and exams for Algorithms and Data Structure (CSE 5311)
- Prepared programming assignments and grade accordingly
- Organized and lead review sessions about specific topics as requested by instructor
Database Systems
Graduate course, University of Texas at Arlington, Department of Computer Science and Engineering, 2019
- TA for CSE5330-002 Database Systems.
- Graded homework and exams for Database Systems (CSE 5330)
- Prepared programming assignments and grade accordingly
- Organized and lead review sessions about specific topics as requested by instructor
- Held office hours to help student and protored exams