Play all

Welcome!

Information about JuliaCon 2021

Schedule and organization of the JuliaCon 2021

Introduction of prof. Jan Vitek

Prof. Jan Vitek "Julia: Great language or the greatest language"

Why are we still inventing, adopting, and abandoning programming languages?

How to revolutionize scientific programming?

Programming languages landscape

What have we learned in the last 20 years?

Intel project on the parallel accelerator

Publishing papers on Julia

Our first paper: Julia is fast

Julia implementation

Julia design

Julia coding style

Implementation, design, and code styles make Julia fast

Second paper: formalizing Julia subtyping algorithm

Defining rules of subtyping

Normalization of types

Normalization of types is in the exponential complexity class

Representing types as trees

Third paper: rational reconstruction of Julia subtyping

Who is right?

Subtyping parametric types

The diagonal rule

Julia type system isn't decidable, what we will do with it?

Fourth paper: eval and world age

Fifth paper: type stability and type grounded

Q&A: What are the promising techniques from JIT theory that weren't put into practice?

Q&A: What are the barriers for Julia reaching the speed of C?

Q&A: Is the concept of programming from the time before 2010 still relevant in 2021?

Description:

Dive into a keynote address by Prof. Jan Vitek at JuliaCon 2021, exploring the Julia programming language's design, implementation, and impact on scientific computing. Learn about Julia's performance advantages, subtyping algorithms, type system intricacies, and the challenges of eval and world age. Gain insights into type stability, JIT compilation techniques, and the language's potential to revolutionize scientific programming. Engage with thought-provoking questions about programming language evolution, Julia's speed compared to C, and the relevance of pre-2010 programming concepts in today's landscape.

Julia: Great Language or the Greatest Language - Keynote by Jan Vitek

The Julia Programming Language

Add to list

#Programming #Programming Languages #Julia #Computer Science #Scientific Computing #Type System #High Performance Computing #Parallel Computing

0:00 / 0:00