Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
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: Shrestha, Sohil L., 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, 2018
Recommended citation: Shrestha, Sohil L., 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.
Demo: SLEMI: Finding Simulink Compiler Bugs throughEquivalence Modulo Input (EMI)
Published in ICSE, 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, 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, 2021
Recommended citation: Shrestha, Sohil L. 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.
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
- I was TA for CSE5311-004 Design and Analysis of Algorithms.
- Grade homework and exams for Algorithms and Data Structure (CSE 5311)
- Prepare programming assignments and grade accordingly
- Organize and lead review sessions about specific topics as requested by instructor
- Gave a lectures on Master Theorem.
Design and Analysis of Algorithms
Graduate course, University of Texas at Arlington, Department of Computer Science and Engineering, 2019
- I was TA for CSE5311-005 Design and Analysis of Algorithms.
- Grade homework and exams for Algorithms and Data Structure (CSE 5311)
- Prepare programming assignments and grade accordingly
- Organize and lead review sessions about specific topics as requested by instructor