Programming research, a missed opportunity for secure and libre software?

Display subtitles automatically

None
In the preferred language only when the video is using another
Always in the preferred language
Always in the original language of the video

Preferred language:

Qualities

UbiCast player x

Keyboard shortcuts

Key

Action

K or space

Play / Pause

Mute / Unmute

Select next subtitles

Select next audio track

Show slide in full page or toggle automatic source change

left arrow

Seek 5s backward

right arrow

Seek 5s forward

shift + left arrow or J

Seek 10s backward

shift + right arrow or L

Seek 10s forward

control + left arrow

Seek 60s backward

control + right arrow

Seek 60s forward

shift + down arrow

Decrease volume

shift + up arrow

Increase volume

shift + comma

Decrease playback rate

shift + dot or shift + semicolon

Increase playback rate

end

Seek to end

beginning

Seek to beginning

Loading Click here to add:

Information on this media

Number of views:

Creation date:

July 3, 2019

Speakers:

Gabriel Scherer

Company:

INRIA

License:

CC BY-SA v4

Description

We regret the lack of fruitful collaborations between free software communities and programming research in academia (other sorts of academic research, such as systems research and compilers research, are better served). Programming errors, obviously, are one of the main common source of security flaws in software, and most programming research focuses on reducing them. Academia and free software have long tradition of working together, yet Microsoft, Google and Facebook take more advantage of programming research than most free software communities!

Both sides (free software hackers and academia) have efforts to do to improve this collaboration; this talk will focus on convincing free software communities that this is a real problem that they should pay attention to, and give illustrative examples of exciting projects that do the right thing in this area. Improving this situation can have very strong benefits on the quality of the free software that we collectively build, share and use.

Speaker

Gabriel Scherer (INRIA, France)

Bio

Gabriel Scherer is a programmer and a researcher in programming languages at INRIA (a French national public research institution), working at INRIA Saclay. He is a FLOSS enthusiast, and an active maintainer of the OCaml programming language implementation., specialized in reviewing other people’s pull requests.