![[SPLASH-I] Language-Oriented Business Applications: Helping End Users become Programmers](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FZvaHEb7GYAU%2Fmqdefault.jpg)
39:15
39:15
![[SPLASH-I] Prospect: Finding and Exploiting Parallelism in a Productivity Language](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FO6PN-kpbNTw%2Fmqdefault.jpg)
27:52
![[SPLASH-I] Flow: a static type checker for JavaScript](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2Flqkw3jh-QvA%2Fmqdefault.jpg)
52:38
![[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2Fh6z-5d-OlcQ%2Fmqdefault.jpg)
1:01:23
![[Onward! Essays] Against a Universal Definition of Type](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FYtiw1KLjTEk%2Fmqdefault.jpg)
37:40
![[Onward! Papers] The Moldable Inspector](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FLXezvah_9Co%2Fmqdefault.jpg)
16:30
![[SPLASH-I] ECMAScript 2015: the future of JavaScript is now!](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FwfbmIb-1EG8%2Fmqdefault.jpg)
40:55
![[OOPSLA] Scrap your Boilerplate with Object Algebras](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FrtZ-jaDEwoI%2Fmqdefault.jpg)
20:52
![[SPLASH-I] Changing Engines in Flight: Facebook's Conversion to Hack](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FqmrMG4GElEY%2Fmqdefault.jpg)
38:58
![[Onward! papers] Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FmzHoNcP6fGA%2Fmqdefault.jpg)
18:41
![[OOPSLA] Synthesis of Layout Engines from Relational Constraints](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FehFHpo2YiPo%2Fmqdefault.jpg)
20:06
![[OOPSLA] A Sound and Optimal Incremental Build System with Dynamic Dependencies](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FQsgLSDMLLTo%2Fmqdefault.jpg)
19:44
![[OOPSLA] Galois Transformers and Modular Abstract Interpreters](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FJpK9e__q5Ts%2Fmqdefault.jpg)
20:18
![[OOPSLA] FlashMeta: A Framework for Inductive Program Synthesis](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FFhQrKmZkid0%2Fmqdefault.jpg)
16:59
![[OOPSLA] Scalable Race Detection for Android Applications](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FxcMfN1U-PBk%2Fmqdefault.jpg)
19:12
![[OOPSLA] ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FnVNbtp-nCOk%2Fmqdefault.jpg)
21:07
![[OOPSLA] Interactively Verifying Absence of Explicit Information Flows in Android Apps](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FQwEyCljj2Zc%2Fmqdefault.jpg)
15:07
![[OOPSLA] Versatile yet Lightweight Record-and-Replay for Android](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F7uDDrCyH2mA%2Fmqdefault.jpg)
19:36
![[OOPSLA] Accurate Profiling in the Presence of Dynamic Compilation](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F6ifyy12s4GE%2Fmqdefault.jpg)
20:20
![[OOSPLA] Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FoDCHqnmVJ5A%2Fmqdefault.jpg)
18:55
![[OOPSLA] Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FTJPIsU8Yqzw%2Fmqdefault.jpg)
18:03
![[OOPSLA] Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F0UrIob78rH0%2Fmqdefault.jpg)
24:22
![[OOPSLA] Cross-Layer Memory Management for Managed Language Applications](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FkdkbEoNB53Y%2Fmqdefault.jpg)
21:28
![[OOPSLA] Static Analysis of Event-Driven Node.js JavaScript Applications](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FgCyH7yKga7w%2Fmqdefault.jpg)
18:56
![[OOPSLA] Probability Type Inference for Flexible Approximate Programming](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FXKlEu5RTnuI%2Fmqdefault.jpg)
17:46
![[OOPSLA] EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FCvzmLeSS-DA%2Fmqdefault.jpg)
17:50
![[Onward! Papers] Towards a dynamic object model within Unix processes](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FsaIFAQdxD-U%2Fmqdefault.jpg)
21:00
![[SPLASH-I] A History of JavaScript Static Analysis with WALA at IBM](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FpOglGMD5S3I%2Fmqdefault.jpg)
35:34
![[OOPSLA] Use at Your Own Risk: The Java Unsafe API in the Wild](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F_mIBxVbAT_Y%2Fmqdefault.jpg)
18:59
![[Onward! Papers] Virtualization Support for Dynamic Core Library Update](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F1-PVxK3v3kw%2Fmqdefault.jpg)
13:40
![[OOPSLA] Approximate Computation with Outlier Detection in Topaz](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FeF54rRlQP-c%2Fmqdefault.jpg)
18:24
![[OOPSLA] Partial Evaluation of Machine Code](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FW7MLKwA4nyA%2Fmqdefault.jpg)
20:19
![[Onward! Keynote] Modern software is all about data. Development environments should be, too.](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FGyeK906MP_8%2Fmqdefault.jpg)
57:13
![[OOPSLA] Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency on the JVM](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F3hUJk6VRnyA%2Fmqdefault.jpg)
18:36
![[OOPSLA] Automating Ad-hoc Data Representation Transformations](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2Fmk4Nus_MTeo%2Fmqdefault.jpg)
20:12
![[Onward! Papers] Columnar Objects: Improving the Performance of Analytical Applications](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FflMM-7FxmEo%2Fmqdefault.jpg)
15:05
![[OOPSLA] Using C Language Extensions for Developing Embedded Software: A Case Study](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FWFp5UEaXBFU%2Fmqdefault.jpg)
17:54
![[Onward! Papers] Towards Fully Reflective Environments](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FULRs02IXLco%2Fmqdefault.jpg)
14:41
![[OOPSLA] How Scale Affects Structure in Java Programs](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2Fzj-BnP_k-YI%2Fmqdefault.jpg)
20:47
![[SPLASH-I] Fighting Spam with Haskell](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FdEh2Yt-YkAQ%2Fmqdefault.jpg)
41:28
![[SPLASH-I] Model, Execute, Deploy: Answering the Hard Questions about End-user Programming](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FYi6AgN3zB8o%2Fmqdefault.jpg)
40:19
![[SPLASH-I] Spur: Efficient Support for Live Programming in Dynamic Languages](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FgZU5mBzNOlU%2Fmqdefault.jpg)
40:38
14:16
14:05
![[GPCE] Contract-Based General-Purpose GPU Programming](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FNk_39g-mM-I%2Fmqdefault.jpg)
29:28
1:05:14
![[REBLS] Playful but not a Toy: Views on Reactive Programming from within a Large SW Project](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2Fz79A2bdc4OY%2Fmqdefault.jpg)
38:07
![[GPCE] Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FnCmqZ5aIUtY%2Fmqdefault.jpg)
17:37
![[GPCE] Orchestrating Masses of Sensors: A Design-Driven Development Approach](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FdvnR3YGTpsc%2Fmqdefault.jpg)
13:30
![[GPCE] CLOP: A multi-stage compiler to seamlessly embed heterogeneous code](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FY1_OWLgCkQ4%2Fmqdefault.jpg)
13:51
![[GPCE] Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2FT_Y2mQJibiI%2Fmqdefault.jpg)
17:42
![[OOPSLA Keynote] Tomorrow’s Network Operators Will Be Programmers](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F_zjRytT21IQ%2Fmqdefault.jpg)
1:05:26
![[SLE Keynote] What's the value of an end user? Platforms and Research: The case of Pharo and Moose](/thumb?url=http%3A%2F%2Finvidious%3A3000%2Fvi%2F8Y3oYB5ST9s%2Fmqdefault.jpg)
1:23:48