iForum-2019 Vladimir Kirillov - iForum 2018

Speakers

Vladimir Kirillov

Vladimir Kirillov

ESM.one
Head of R&D

Head of R&D at ESM.one, esports startup.

Lead of kievfprog functional programming community.

Developer of the first version of SwiftServe (now Conversant TV) Live and VOD streaming solutions used to broadcast Singapore’s 48th National Day Parade.

Developer of a microservices platform for Zalora SEA (Global Fashion Group) featured on AWS Summit 2017 in Singapore.

Internet technologies

17:10 — 17:50

Programming languages trends for blockchain and smart contracts

Security functional languages such as Rust, Haskell, Scala, F# are rapidly developing, and the choice of these languages for the development of new detachments has a very positive effect on the growth of languages popularity.

Known vulnerabilities in smart contracts have arisen primarily because of the easy access possibility to low-level abstractions in the current programming languages on the Solidity-type blockchain.

Therefore, the trend of secure languages is also reflected in smart contracts in such projects as Plutus, Simplicity, Liquidity, and Scilla, as well as attempts to introduce formal verification in the procedure for developing contracts to prevent whole classes of errors.

I will consider:

  • vulnerability in contracts such as The DAO from the perspective of a community of programming languages;
  • shortcomings of current popular languages such as Solidity;
  • solutions: new secure languages, the use of formal verification and static analyzers.

Sponsors

Title Sponsor
General Sponsor
Sponsor of the stream
«Internet Business / Startups»
Sponsor of the stream
«Advertising and Promotion»
Sponsor of the stream
«Digital Fun/CRM& Loyalty»
Sponsor of the stream
«Blockchain»
Sponsor of the stream
«Internet Technologies»
Sponsor of the stream
«EdTech of the Future / Innovations»
Sponsor
Sponsor
Sponsor
Auto-Innovation Partner
Payment Partner
Financial Partner
Logistic Partner
Logistic Partner
Building Partner
Coffee Partner
Domain Partner
Legal Partner
Book Partner
Printing Partner
Live Partner
Medical Partner
Water Partner
Textile Partner
Textile Partner
Partner
Partner
Partner

InfoPartners

General Radio Partner
General Media Partner
TV Partner
Business Media Partner