ASE 2024
Sun 27 October - Fri 1 November 2024
Sacramento, California, United States
Toggle navigation
Attending
Conference Venue: Sheraton Grand, Sacramento, California
Banquet Venue: California State Railroad Museum
Accommodations
Registration
Visa Letters
Travel Support
Diversity and Inclusion Plan
Code of Conduct
Sponsorship
Program
ASE Program
Your Program
Week Overview
Social Events
Awards
Sun 27 Oct
Mon 28 Oct
Tue 29 Oct
Wed 30 Oct
Thu 31 Oct
Fri 1 Nov
Tracks
ASE 2024
Research Papers
Industry Showcase
Journal-first Papers
Tool Demonstrations
NIER Track
Doctoral Symposium
OSS Sustainability Forum
Artifact Evaluation Track
Posters
Student Research Competition
Workshops
Tutorials
Keynotes
Most Influential Papers (MIP)
Banquet at Railroad Museum
Reception
Steering Committee Meeting
Student Volunteers
[Workshop] RENE
[Workshop] ASYDE
[Workshop] HCSE&CS
[Workshop] A-Mobile
[Workshop] VARSE
Organization
ASE 2024 Committees
Organizing Committee
Track Committees
Research Papers
Industry Showcase
Journal-first Papers
Tool Demonstrations
NIER Track
Doctoral Symposium
OSS Sustainability Forum
Artifact Evaluation Track
Posters
Student Research Competition
Student Research Competition Chair
Judges
Program Committee
Workshops
Tutorials
Most Influential Papers (MIP)
Student Volunteers
[Workshop] RENE
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2024
(
series
) /
Nikita Khramov
ASE 2024 profile
conf.research.org general profile
Not registered as user yet
Name:
Nikita Khramov
Affiliation:
JetBrains Research, Constructor University Bremen
Contributions
2024
ASE
CoqPilot, a plugin for LLM-based generation of proofs
Show activities from other conferences
Share
ASE 2024-profile
View general profile
x
Sun 24 Nov 08:11