About
Areas
Groups
People
Publications
News
Ru
News
Sep 25, 2017
Seminar on context-free path querying by matrix multiplication
Context-free path querying by matrix multiplication
Dmitry Boulytchev
Sep 18, 2017
Seminar on Liquid Types
Liquid Types
Dmitry Boulytchev
Sep 18, 2017
Seminar on a language for high level description and fast modeling of integrated circuits
A language for high level description and fast modeling of integrated circuits
Dmitry Boulytchev
Apr 24, 2017
Seminar on Mechanized proof of the correctness of bounding the maximum response time of a CAN message
Mechanized proof of the correctness of bounding the maximum response time of a CAN message
Dmitry Boulytchev
Apr 17, 2017
Seminar on Typed Embedding of a Relational Language
Reducing the abstraction cost for typed embedding a relational language in OCaml
Dmitry Boulytchev
Apr 07, 2017
Seminar on Synchronization of Horn Clauses and Unbounded Model Checking
Synchronization of Horn Clauses and Unbounded Model Checking
Dmitry Boulytchev
Apr 07, 2017
Seminar on Traversal-based Normalization
A Stranger's View on Traversal-based Normalization
Dmitry Boulytchev
Mar 20, 2017
Seminar on compilftion of verified F* programs to robust web applications
Compiling verified F* programs to robust web applications
Dmitry Boulytchev
Mar 06, 2017
Seminar on implementation of symbolic execution and data flow analysis in static analysis by the example of PVS-Studio
Implementation of symbolic execution and data flow analysis in static analysis
Dmitry Boulytchev
Mar 06, 2017
Seminar on efficient exploration of patch spaces for automated program repair
Efficient exploration of patch spaces for automated program repair
Dmitry Boulytchev
All News
Common News
Bioinformatics Group
Cryptographic Lab
Mobile Robot Algorithms Laboratory
Optimization Problems in Software Engineering
Program Analysis and Verification Lab
Programming Languages and Tools Lab
#conference
#education
#seminar
Subscribe to RSS
1
2
3
4
5
6