Retrofitting Parallelism onto OCaml
Seminar
-
-
Heap Reference Compression in GraalVM Native ImageSeminar
-
The expressive power of higher-order types and non-determinismOnline seminar on 27th of April.
-
Promising Semantics 2.0Promising Semantics 2.0
-
Seminar: Optimizing graph queries using DatalogSpeaker: Rustam Azimov
-
Seminar: Elimination Techniques for Deeply Dependent TypesSpeaker: Dmitrii Boulytchev
-
Seminar: Parallel complexity of CFL-reachability problemSpeaker: Ekaterina Shemetova
-
Seminar: Register Allocation and Puzzle SolvingSpeaker: Kosarev Dmitrii -
Seminar: Canonical Structures of CoqPresenter: Anton Trunov
-
Seminar: DeforestationPresenter: Daniil Berezun
- All News
- Common News
- Agent Systems and Reinforcement Learning
- Bioinformatics Group
- BioLabs
- Cryptographic Lab
- HoTT and Dependent Types Group
- Machine Learning Applications and Deep Learning
- Machine Learning Methods in Software Engineering
- Mobile Robot Algorithms Laboratory
- Nuclear Physics Methods Laboratory
- Optimization Problems in Software Engineering
- Programming Languages and Tools Lab
- Verification or Program Analysis Lab