Skip to content
View DKay7's full-sized avatar
🐆
🐆
35 followers · 26 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report DKay7

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
DKay7/README.md

Daniil Kalinin

MSc student at MIPT. Compiler engineer (C++ / LLVM) at ISP RAS. working on static and dynamic program analysis. Interested in compiler-assisted fuzzing, program analysis, static instrumentation, and systems programming.

Research interests

  • Compiler-assisted fuzzing
  • Static and dynamic program analysis
  • LLVM-based instrumentation
  • C/C++ tooling

Selected projects

  • stack-cpu-emulator - stack-based virtual CPU with custom assembly, assembler, emulator and disassembler.
  • differentiator - symbolic differentiator with recursive descent parser, expression trees and LaTeX reports.
  • SimpleDFA - LLVM-based data-flow analysis tool.
  • bachelor-thesis - BSc thesis repository.
  • concurrent-queue - SPSC wait-free queue with tests and fuzz/coverage scripts.

Teaching repositories

Open source contributions

Contacts

Pinned Loading

  1. bachelor-thesis bachelor-thesis Public

    TeX 1

  2. SimpleDFA SimpleDFA Public

    LLVM-based compiler tool that performs data-flow analysis

    C++

  3. differentiator differentiator Public

    Symbolic differentiator written in C++. It reads a math expression from stdin, parses it with recursive descent, builds an expression tree, differentiates the tree, simplifies the result and genera…

    C++

  4. stack-cpu-emulator stack-cpu-emulator Public

    This project is a stack-based virtual CPU. It has its own assembly language, assembler, binary executable format, CPU emulator and disassembler. There is also a simple VRAM model which can print AS…

    C

  5. seminars-on-c seminars-on-c Public

    repo with code examples for seminars on C language

    C 5 1

  6. seminars-on-asm seminars-on-asm Public

    repo with code examples for seminars on computer systems design and ASM langugage

    Assembly 4