21 citations
- St Petersburg UniversityRU2 papers
- Florida State UniversityUS1 paper
- Institute for Nuclear ResearchRU1 paper
- Institute of Applied PhysicsMD1 paper
- Institute of Physics and TechnologyKZ1 paper
- Institute of ThermophysicsRU1 paper
- Irkutsk State UniversityRU1 paper
- Karlsruhe Institute of TechnologyDE1 paper
- Moscow Institute of Physics and TechnologyRU1 paper
- National Research University Higher School of EconomicsRU1 paper
- Novosibirsk State UniversityRU1 paper
- Sobolev Institute of MathematicsRU1 paper
5 papers
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
Daniil Berezun, Dmitry Boulytchev
We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other…
New insights from old cosmic rays: A novel analysis of archival KASCADE data
D. Kostunin, I. Plokhikh, M. Ahlers +7
Cosmic ray data collected by the KASCADE air shower experiment are competitive in terms of quality and statistics with those of modern observatories. We present a novel mass compos…
Relativistic runaway electron avalanches within complex thunderstorm electric field structures
E. Stadnichuk, E. Svechnikova, A. Nozik +4
Relativistic runaway electron avalanches (RREAs) are generally accepted as a source of thunderstorms gamma-ray radiation. Avalanches can multiply in the electric field via the rela…
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
First-order logic is a natural way of expressing properties of computation. It is traditionally used in various program logics for expressing the correctness properties and certifi…
TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks
Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko +1
The process of writing code and use of features in an integrated development environment (IDE) is a fruitful source of data in computing education research. Existing studies use re…