concolic fuzzing: theorem prover on your julia code | valentin churavy | juliacon 2019
Published Streamed 5 years ago • 1K plays • Length 8:59Download video MP4
Download video MP3
Similar videos
-
24:17
static walks through dynamic programs | valentin churavy | juliacon 2019
-
20:35
symbolic manipulation in julia | harrison grodin | juliacon 2019
-
7:27
automated geometric theorem proving in julia | luca ferranti | juliacon 2022
-
32:18
debugging code with juliainterpreter | holy, carlsson, pfitzner | juliacon 2019
-
27:08
why writing c interfaces in julia is so easy | dheepak | juliacon 2019
-
21:43
analyzing and updating code with juliainterpreter.jl and revise.jl | tim holy | juliacon 2019
-
15:00
re-designing optim | patrick kofod mogensen | juliacon 2019
-
28:13
gaussian process probabilistic programming with stheno.jl | will tebbutt | juliacon 2019
-
26:47
intelligent tensors in julia | katharine hyatt, matthew fishman | juliacon 2019
-
29:12
building a debugger with cassette | frames catherine white | juliacon 2019
-
52:40
keynote. professor steven g. johnson | juliacon 2019
-
31:19
sipb 50: the julia language - valentin churavy
-
13:28
a case study of migrating timelineapp.co to the julia language | bogumił kamiński | juliacon 2019
-
13:51
geometric algebra in julia with grassmann.jl | michael reed | juliacon 2019
-
32:08
on solving optimal control problems with julia | caillau, cots, gergaud, martinon | juliacon 2023
-
24:47
constraintsolver.jl - first constraint solver written in julia | ole kröger | juliacon2021
-
2:58
theory is (nearly) implementation with julia types | gregor kappler | juliacon2021
-
50:56
how to debug julia simulation codes (odes, optimization, etc.!) | chris rackauckas | juliacon 2022
-
9:00
which(methods) | jameson nash | juliacon 2022
-
10:39
exploring topological invariants of quantum systems in julia | volker karle | juliacon 2023