JetBrains Research

1.52K subscribers

191 videos

We are a team of researchers and engineers bringing innovative technology and scientific research to JetBrains products. The JetBrains Research channel is a ...

Latest Videos

RocqStar Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation

Ibragim Badertdinov From Dentistry to AI, Coding Agents, SWE-rebench JetBrains Research Podcast

Anna Kogan OpenCV, Future of Computer Vision, Open Source vs. Startups JetBrains Research Podcast

LitmusKt Concurrency Stress Testing for Kotlin — Demonstration

Ilia Malakhov. kotlinx fuzz Bringing Fuzz Testing to Kotlin

Rustam Sadykov. Minimization for Kotlin Compiler Error Reproduction

Timur Kudashev. Test generation with EvoKex

Rustam Sadykov. Pushing the Limits of Unsatisfiable Core Reuse with Cache-a-lot

CoqPilot a Plugin for LLM-based Generation of Proofs

Evgenii Moiseenko. Enhancing Model Checking in Lincheck with Partial Order Reduction

Ekaterina Verbitskaia. Enabling Relational Programming through Specialization

Denis Lochmelis. LitmusKt litmus testing in Kotlin Native

Roman Venediktov. Type inference for GADTs in Kotlin

Rustam Sadykov. EvoKex the way to improve program analysis and test generation

Sergei Kharitontcev Beglov. LLM generated code correctness via program analysis

Azat Abdullin. Kex how we generating tests for Java programs

Andrei Kozyrev. CoqPilot. Using LLMs to generate certified programs

Kristina Trofimova. LLM Gradle Converter

CAT-LM Training Language Models on Aligned Code And Tests

Exploring Human and Neural Attention on Source Code Insights and Applications

From Commit Message Generation to History-Aware Commit Message Completion

Enriching Source Code with Contextual Data for Code Completion Models Empirics

A. Chaikova «A Deeper Dive into Astronomy Reports using NIMBUS»

S. Ohm «Making cosmic particle accelerators visible and audible»

A. Alkan «Astro-COLIBRI and NLP Enhancing Astrophysics Discoveries with Automated Message Analysis»

Hungry Hungry Hippos Towards Language Modeling with State Space Models

Execution Based Evaluation for Open Domain Code Generation

Automating Frequent Code Changes in Python ML Systems

Out of the BLEU how should we evaluate code generation models

Kleene Algebras Theory and Applications