OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Sohil L Shrestha
Researcher, Department of Computer Science and Engineering, University of Texas at Arlington
Joined
June 2023
Names
Sohil L Shrestha
(Preferred)
,
Sohil Lal Shrestha
,
Sohil L. Shrestha
Emails
****@mavs.uta.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
LinkedIn
Career & Education History
Researcher
Department of Computer Science and Engineering,
University of Texas at Arlington
(uta.edu)
2023
–
Present
PhD student
Department of Computer Science and Engineering,
University of Texas at Arlington
(mavs.uta.edu)
2017
–
2023
Advisors, Relations & Conflicts
PhD Advisor
Christoph Csallner
Present
Expertise
No areas of expertise listed
Publications
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis
Sohil Lal Shrestha
Published: 01 Jan 2023, Last Modified: 26 Feb 2024
ISSTA 2023
Readers:
Everyone
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
Sohil Lal Shrestha
,
Alexander Boll
,
Shafiul Azam Chowdhury
,
Timo Kehrer
,
Christoph Csallner
Published: 01 Jan 2023, Last Modified: 26 Feb 2024
MODELS 2023
Readers:
Everyone
ScoutSL: An Open-Source Simulink Search Engine
Sohil Lal Shrestha
,
Alexander Boll
,
Timo Kehrer
,
Christoph Csallner
Published: 01 Jan 2023, Last Modified: 26 Feb 2024
MoDELS (Companion) 2023
Readers:
Everyone
Replicability Study: Corpora For Understanding Simulink Models & Projects
Sohil Lal Shrestha
,
Shafiul Azam Chowdhury
,
Christoph Csallner
Published: 01 Jan 2023, Last Modified: 26 Feb 2024
ESEM 2023
Readers:
Everyone
Replicability Study: Corpora For Understanding Simulink Models & Projects
Sohil Lal Shrestha
,
Shafiul Azam Chowdhury
,
Christoph Csallner
Published: 01 Jan 2023, Last Modified: 26 Feb 2024
CoRR 2023
Readers:
Everyone
SLNET: A Redistributable Corpus of 3rd-party Simulink Models
Sohil Lal Shrestha
,
Shafiul Azam Chowdhury
,
Christoph Csallner
Published: 01 Jan 2022, Last Modified: 26 Feb 2024
CoRR 2022
Readers:
Everyone
SLNET: A Redistributable Corpus of 3rd-party Simulink Models
Sohil Lal Shrestha
,
Shafiul Azam Chowdhury
,
Christoph Csallner
Published: 01 Jan 2022, Last Modified: 26 Feb 2024
MSR 2022
Readers:
Everyone
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain
Sohil Lal Shrestha
,
Christoph Csallner
Published: 01 Jan 2021, Last Modified: 26 Feb 2024
EASE 2021
Readers:
Everyone
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain
Sohil Lal Shrestha
,
Christoph Csallner
Published: 01 Jan 2021, Last Modified: 26 Feb 2024
CoRR 2021
Readers:
Everyone
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink
Shafiul Azam Chowdhury
,
Sohil Lal Shrestha
,
Taylor T. Johnson
,
Christoph Csallner
Published: 01 Jan 2020, Last Modified: 13 Nov 2023
ICSE 2020
Readers:
Everyone
View all 13 publications
Co-Authors
Alexander Boll
Christoph Csallner
Saroj Panda
Shafiul Azam Chowdhury
Taylor T. Johnson
Timo Kehrer