Skip to content
View rifatarefin's full-sized avatar
🤷‍♂️
🤷‍♂️
8 followers · 8 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report rifatarefin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
rifatarefin/README.md

Salam, May be peace upon you!! 👋

  • I am a PhD student at University of Texas at Arlington
  • I'm currently working on formalizing a grammar for Simulink, a widely used cyber physical system development toolchain. My research is focused on finding vulnerabilities in visual language compilers
  • Previously, I have worked on applying NLP techniques for source code understanding and finding a common representation for code and natural language

Rifat's GitHub stats Top Langs
Hit count

Pinned Loading

  1. treevada treevada Public

    Code for ICSE 2024 paper "Fast Deterministic Black-box Context-free Grammar Inference"

    Python 3 1

  2. semantic-code-search semantic-code-search Public

    Code search through natural language query

    Python 3 1

  3. Dress-Detection Dress-Detection Public

    Python 3

  4. Multi-Label-Image-Annotation Multi-Label-Image-Annotation Public

    Multi-label image annotator trained on a subset of corel-5k dataset

    Python 2 1

  5. Computational-Geometry Computational-Geometry Public

    Computational Geometry topics: Convex Hull, Polygon partitioning, Delaunay Triangulation and Voronoi Diagram, K-d Trees

    C++ 3

  6. Computer-Graphics Computer-Graphics Public

    C++ 1