Disclosure 2020: Theory to Practice: Applying Academic Program Analysis Advances in the Real World
The automated analysis of software to find and fix vulnerabilities has been a core interest in the Academic Cybersecurity community for decades. Techniques are ...
OktaDev
Bloomberg's Distinguished Engineers Speaker Series: Dr. Barbara Liskov
Bloomberg's Distinguished Engineers Speaker Series recently hosted Dr. Barbara Liskov, Institute Professor at the Massachusetts Institute of Technology (MIT) ...
Inside Bloomberg
Никита Коваль — Тестирование lock-free алгоритмов, или Поиск иголки в стоге сена
Ближайшая конференция — Joker 2020 25-28 ноября, Online Подробности и билеты: https://jokerconf.com/ . Писать многопоточные программы сложно, ...
JUG .ru
ALPyNA: Acceleration of Loops in Python for Novel Architectures
We present ALPyNA, an automatic loop parallelization framework for Python, which analyzes data dependences within nested loops and dynamically generates ...
ACM SIGPLAN
The Power of Abstraction
Barbara Liskov, Electrical Engineering and Computer Science, MIT, MA This lecture has been videocast from the Computer Science Department at Duke.
NCState
BluePencil: Automating repetitive code edits without examples
ACM SIGPLAN
Loop Optimizations - Part 4
This video talks about induction variables, and show different optimizations that we can apply on them, with emphasizes on strength reduction. We also talk ...
Fernando Magno Quintao Pereira
Verifying Concurrent Search Structure Templates
ACM SIGPLAN
Barbara Liskov 2010 Grace Hopper Celebration Keynote
Barbara Liskov 2010 Grace Hopper Celebration Keynote speech.
AnitaB_org
Model Checking for Weakly Consistent Libraries
https://pldi19.sigplan.org/details/pldi-2019-papers/9/Model-Checking-for-Weakly-Consistent-Libraries We present GenMC, a model checking algorithm for ...
ACM SIGPLAN
Power of Abstraction
Prof. Barbara Liskov MIT March 21, 2013.
Purdue University
Read a paper: Dynamo - a transparent dynamic optimization system
Vasanth Bala, Evelyn Duesterwald, and Sanjeev Banerjia. 2000. Dynamo: a transparent dynamic optimization system. In Proceedings of the ACM SIGPLAN ...
Vivek Haldar
"What Role for Programmers in the Age of AI?" with Tim Menzies
Title: What Role for Programmers in the Age of AI? Date: 03/06/2019 ABSTRACT One of the misleading myths about AI is that it will remove the need for ...
Association for Computing Machinery (ACM)
Callback Patterns and Idioms in Python
Senior Staff Engineer (and former "Uber Tech Engineer) at Google, Alex Martelli, speaks to the San Francisco Python Usergroup about Python's Callback feature ...
InfoQ
Don't call us, we'll call you: callback patterns and idioms
Alex Martelli (Google, Inc) Callbacks (the general "Don't call us, we'll call you" pattern) are a crucial technique for concurrency, event-driven programming (in a ...
pycon08
Education in F#
F# in the classroom and the lab - Rick Minerich Programming Language Concepts using F# as a Meta-language - Peter Sestoft Panel session: Why Teach F# ...
Microsoft Research
LINUX COMMANDS TUTORIAL - CS50 on Twitch, EP. 13
Join CS50's Nick Wong for a tour of the command prompt in this tutorial centered around Linux commands (with compatibility toward other operating systems, ...
CS50
Barbara Liskov: Programming the Turing Machine
Barbara Liskov, Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, discusses "Programming the Turing ...
princetonacademics
SATURN 2017 Talk: Functional Programming Invades Architecture
Watch George Fairbanks deliver his SATURN 2017 talk "Functional Programming Invades Architecture."
Software Engineering Institute | Carnegie Mellon University
Keynote with Guy Steele
Keynote with Guy Steele.
Java
Structure aware fuzzing - Réka Kovács - Meeting C++ 2018
Structure aware fuzzing Réka Kovács Meeting C++ 2018 Slides: https://meetingcpp.com/mcpp/slides.
Meeting Cpp
Assembling for the JVM with Michael Wiedeking
Assembling for the JVM with Michael Wiedeking.
Java
DEF CON 25 - Yan Shoshitaishvili - 25 Years of Program Analysis
Last year, DARPA hosted the Cyber Grand Challenge, the culmination of humanity's research into autonomous detection, exploitation, and mitigation of software ...
DEFCONConference
Why Black Boxes are so Hard to Reuse, lecture by Gregor Kiczales
Why Black Boxes are so Hard to Reuse: A New Approach to Abstraction for the Engineering of Software, lecture by Gregor Kiczales. The video was recorded in ...
Computer History Museum
Django Miniconf: Closing Keynote by Tony Morris
PyCon Australia is the national conference for users of the Python Programming Language. In August 2014, we're heading to Brisbane to bring together ...
PyCon AU
Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones
Episode 7 | January 10, 2018 When we look at a skyscraper or a suspension bridge, a simple search engine box on a screen looks tiny by comparison. But Dr.
Microsoft Research
Rust Release Party
The release party for Rust 1.0. Help us caption & translate this video! http://amara.org/v/2Fhi/
Rust
Embedded Linux Conference 2013 - Task Scheduling for Multicore Embedded Devices
The Linux Foundation Embedded Linux Conference 2013 Task Scheduling for Multicore Embedded Devices By Gap-Joo Na San Francisco, California Gap-Joo ...
The Linux Foundation
David Turner - Some History of Functional Programming Languages - Code Mesh 2017
At Codemesh 2017 David talked about some of the history of functional programming languages and how it reflects what are still live issues of language design ...
Erlang Solutions
Module 6.2: Frenetic: A Programming Language for SDNs
Nick Feamster
A Marriage of Pointer and Epoch Based Reclamation
ACM SIGPLAN
"The Power of Abstraction" with Prof. Barbara Liskov
Prof. Barbara Liskov of MIT gives a talk at the 30th anniversary of the Dept. of Computer and Information Science, Linköping University, Sweden.
IDA, Linköping University
Unearthing Concurrency Bugs in Cloud-Scale Distributed Systems
Users demand for 24/7 dependability of cloud services. Unfulfilled dependability is costly, yet, there are complex challenges to reach an ideal dependability.
Microsoft Research
Metodologías de gestión de proyectos de desarrollo de software
En este vídeo abordamos todo el mundo del desarrollo desde un enfoque total. El objetivo es tratar la gestión de proyectos y explicar cómo distintas ...
DesarrolloWeb.com
3 01 Tribute to Paul Hudak
ICFP Video
No Garden of Eden - Adventures in Teaching Haskell to Kids - Peter Berger
LambdAle
NASIG Webinar: Introduction to SUSHI
This webinar will provide an overview and introduction to SUSHI, the ANSI/NISO Standard used to enable automated harvesting of usage statistics for electronic ...
NASIG
C is a Lie | BSD Now 244
Arcan and OpenBSD, running OpenBSD 6.3 on RPI 3, why C is not a low-level language, HardenedBSD switching back to OpenSSL, how the Internet was ...
Jupiter Broadcasting
MySplash2o12
Splash back to SPLASH & OOPSLA 2012.
mickaelzam
The Essential Tools of Open-Source: Functional Programming, Parametricity, Types
Tony Morris https://linux.conf.au/schedule/30357/view_talk Open-source software projects have become an important contribution to our profession. Volunteers ...
Linux.conf.au 2016 -- Geelong, Australia
Type-Safe, Efficient, Low-Level Programming for the JVM
AL1 is a new assembler language for the JVM that doesn't require any knowledge of its stack-based, sometimes nonintuitive instruction set. Instead it defines ...
Oracle Learning
1990s, the origins of Scrum, and setting up the Agile Manifesto
Ever wonder what preceded the Manifesto of Agile Software Development? This episode lays out the history leading up to this famous declaration. We examine ...
Rocket Nine Solutions