petukhovv
Senior software engineer @ Huawei Engaged in programming languages design and compilers development
@HuaweiSt. Petersburg, Russia
Pinned Repositories
kotlin
The Kotlin Programming Language.
grammar-tools
Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar
kotlin-spec
Kotlin Language Specification:
website-grammar-generator
Kotlin ANTLR grammar converter to XML for the Kotlin website or text file
anomaly-detection
Anomaly detection using autoencoder and dbscan / 3(5)-sigma (adapted for Kotlin code anomaly detection)
code-anomaly-detection
Kotlin code anomaly detection. This toolchain consist: parsing Kotlin source codes, obtained CST (PSI) or JVM-bytecode factorization, autoencoding (autoencoders) and anomaly selection based on the decoding losses
compiler
Toolkit for a simple programming language: interpreter, stack machine, stack machine code compiler and X86 code compiler (ASM code with NASM dialect)
levin-search-for-binary-sequence-prediction
Use of the Levin (universal) search for binary sequence prediction problem
tree-set2matrix
Step-by-step parse tree set conversion to the matrix (dataset): parse tree factorization by specified features and conversion to the dataset for ML algorithms
tree2vec
AST factorization: transformation AST of Kotlin source code to a vector
petukhovv's Repositories
petukhovv/tree2vec
AST factorization: transformation AST of Kotlin source code to a vector
petukhovv/anomaly-detection
Anomaly detection using autoencoder and dbscan / 3(5)-sigma (adapted for Kotlin code anomaly detection)
petukhovv/tree-set2matrix
Step-by-step parse tree set conversion to the matrix (dataset): parse tree factorization by specified features and conversion to the dataset for ML algorithms
petukhovv/code-anomaly-detection
Kotlin code anomaly detection. This toolchain consist: parsing Kotlin source codes, obtained CST (PSI) or JVM-bytecode factorization, autoencoding (autoencoders) and anomaly selection based on the decoding losses
petukhovv/levin-search-for-binary-sequence-prediction
Use of the Levin (universal) search for binary sequence prediction problem
petukhovv/bytecode-anomalies-source-finder
Find corresponding PSI anomalies by bytecode anomalies (or vice versa), in Kotlin code anomaly detection boundaries
petukhovv/bytecode-to-source-mapper
Mapping JVM-bytecode files (.class files) to corresponding Kotlin source code files
petukhovv/github-kotlin-code-collector
Collection Kotlin code from Github by keywords
petukhovv/idea-plugin-sandbox
petukhovv/kotlin-code-anomalies-publisher
Kotlin code anomalies publication to the Kotlin code anomaly detection site: create Github gists and append of new anomalies to the anomalies site config
petukhovv/kotlin2psi-with-compiler
Parsing Kotlin source code to CST (concrete syntax tree; also referred to in intellij platform as PSI) using custom Kotlin compiler (kotlin-academic)
petukhovv/tree-ngram-generator
N-gram generation by tree
petukhovv/wedding
Anna and Victor's wedding website
petukhovv/antlr-fuzzer
petukhovv/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
petukhovv/arrow-fx
Arrow Fx is part of Arrow, a functional companion to Kotlin's Standard Library
petukhovv/bbf
Kotlin compiler fuzzer and reduktor
petukhovv/bytecode-parser
Parsing and grouping the class files with JVM bytecode into the instruction list in JSON format
petukhovv/code-anomaly-detection-evaluation
Kotlin code anomaly detection site back-end (anomalies evaluation system)
petukhovv/diploma-kt
petukhovv/github-kotlin-jar-collector
Collection and extraction JAR assets (also jar's inside zip or apk) from GitHub
petukhovv/github-kotlin-repo-collector
Kotlin repo from Github collection: source codes and assets (class files extraction and a conversion to the JVM instruction list as JSON)
petukhovv/jspecify
An artifact of well-named and well-specified annotations to power static analysis checks.
petukhovv/kotlin
The Kotlin Programming Language
petukhovv/kotlin-ast-node-extractor
Extraction of the specified node type from Kotlin AST
petukhovv/kotlin-native
Kotlin/Native infrastructure
petukhovv/kotlin-spec
Kotlin Language Specification (work in progress):
petukhovv/ngram-generator
N-gram generation by tree or list. One of the tasks — source code (CST/AST) / JVM-bytecode factorization.
petukhovv/ngram-selector
N-grams selection via Ends and Derivative bounds selectors
petukhovv/td
Cross-platform library for building Telegram clients