Seventh Conference on Software Engineering and Information Management
April 23, 2022
SEIM-2019 Participant
Paper presentation at SEIM-2019 SEIM-2019 badges

SEIM-2019 Conference

Forum for young specialists

The Seventh Conference on Software Engineering and Information Management opens its doors to young researchers and practitioners in different areas of computer science and software engineering, providing an opportunity to present their research, discuss state-of-the-art technology and engage in useful networking.

Learn More
Free registration
CEUR publication

ISSN 1613-0073

RSCI indexation
Best paper award
Support for nonresident participants

Areas of Interests

We welcome submissions on a wide range of topics, including, but not limited to:
  • Algorithms and data structures
  • Big data
  • Cloud systems
  • Coding theory
  • Compilers
  • Crowdsourcing
  • Data storage and processing
  • Development management
  • Digital signal processing
  • Distributed systems
  • E-commerce / e-government
  • Empirical software engineering
  • High-performance computing
  • Information retrieval
  • Information security
  • Intelligent data analysis
  • Internet of Things
  • Machine learning
  • Mobile systems
  • Modelling
  • Natural language processing
  • Networks and telecommunications
  • (Non-)relational databases
  • Operating systems
  • Programming languages
  • Recommendation systems
  • Robotics
  • Semantic web
  • Social networks
  • Software analysis
  • Software testing
  • Software verification
  • Software virtualization
  • Software-defined networks
  • Theoretical computer science
  • Visual languages
Ilya Sergey

Keynote Speaker

Ilya Sergey

Ilya is an Associate Professor at the School of Computing of National University of Singapore, where he leads the Verified Systems Engineering lab. He also holds a joint appointment at Yale-NUS College and is a lead language designer at Zilliqa, a Singapore FinTech start-up.

Ilya received his MSc from St Petersburg University and PhD from KU Leuven. Before joining NUS, he was a postdoctoral researcher at IMDEA Software Institute and a faculty at University College London. Prior to starting his academic career, he worked as a software developer at JetBrains.

Ilya does research in programming language design and implementation, software verification, distributed systems, program synthesis and repair. He is a recipient of distinguished paper awards at POPL and PLDI, the 2019 Dahl-Nygaard Junior Prize, the 2021 Yale-NUS Distinguished Researcher Award, and a Google Faculty Research Award.


Deductive Synthesis of Heap-Manipulating Programs: Sound, Expressive, Fast


In my talk, I will describe a deductive approach for synthesising imperative programs with pointers from declarative specifications expressed in Separation Logic. The approach treats logical program specifications, given in the form or pre- and postconditions with a pure and a spatial part, as proof goals, and provides an algorithm for rule-directed program construction based on the shape of the symbolic heap footprint a desired program manipulates. The program synthesis algorithm rests on the novel framework of Synthetic Separation Logic (SSL). The produced executable programs are correct by construction, in the sense that they satisfy the ascribed specifications, and are accompanied by complete proof derivations (i.e., certificates), which can be checked independently by a third-party verifier.

The approach has been implemented as a proof search engine for SSL in a form a program synthesiser. For efficiency, the engine exploits properties of SSL specifications, aggressively relying on a version of the Frame Rule and commutativity of separating conjunction to prune the search space. I will explain and showcase the use of SSL on characteristic examples, describe the design of out tool, and report on the experience of using it to synthesise a series of benchmark programs manipulating with heap-based linked data structures. I will also tell about some recent advances of automatically certifying synthesised programs in the Coq proof assistant.

Important Dates

Participate as

An author

We accept papers written in Russian and English. They all must present original work of the authors and be submitted before 20 February.

A listener

We welcome everybody to attend the conference. Please fill in the registration form on the website.

Conference Venue

Due to ongoing COVID-19 disease outbreak, the conference will be held online

JetBrains office

2 Kantemirovskaya, St Petersburg, Russia

Send your questions to: