[OOPSLA] Static Analysis of Event-Driven Node.js JavaScript Applications

preview_player
Показать описание
Presenter: Magnus Madsen

  1. SPLASH15 Conference
  2. JavaScript (Programming Language)
  3. Application Software (Software Genre)
  4. Event-driven Programming (Programming Language Paradigm)
  5. splash
  6. splash15
Рекомендации по теме
[OOPSLA] Static Analysis 0:18:56

[OOPSLA] Static Analysis of Event-Driven Node.js JavaScript Applications

Event-driven Fundamentals 0:12:05

Event-driven Fundamentals

[OOPSLA] Learning a 0:24:22

[OOPSLA] Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation

[OOPSLA] EXPLORER : 0:17:50

[OOPSLA] EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties

[REBLS23] Implementing, verifying 1:30:06

[REBLS23] Implementing, verifying and debugging distributed event-based systems

[OOPSLA] Galois Transformers 0:20:18

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

[OOPSLA] Partial Evaluation 0:20:19

[OOPSLA] Partial Evaluation of Machine Code

[OOPSLA] Scalable Race 0:19:12

[OOPSLA] Scalable Race Detection for Android Applications

[OOPSLA23] Historia: Refuting 0:18:00

[OOPSLA23] Historia: Refuting Callback Reachability with Message-History Logics

[OOSPLA] Giga-Scale Exhaustive 0:18:55

[OOSPLA] Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute

[OOPSLA] How Scale 0:20:47

[OOPSLA] How Scale Affects Structure in Java Programs

[OOPSLA Keynote] How 1:01:23

[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems

[OOPSLA] Cross-Layer Memory 0:21:28

[OOPSLA] Cross-Layer Memory Management for Managed Language Applications

Graph-based analysis of 0:35:11

Graph-based analysis of JavaScript source code repositories

Tech Tailgate 2016 0:30:21

Tech Tailgate 2016 - Node.js and Event Driven Programming

[OOPSLA] ShamDroid: Gracefully 0:21:07

[OOPSLA] ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access

RubyConf 2010 - 0:43:15

RubyConf 2010 - Faye: an Event Driven App by: James Coglan

[OOPSLA] Effectively Mapping 0:18:36

[OOPSLA] Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency on the JVM

[OOPSLA] Elipmoc: advanced 0:30:53

[OOPSLA] Elipmoc: advanced decompilation of Ethereum smart contracts

Inian Parameshwaran: Performing 0:21:49

Inian Parameshwaran: Performing Dynamic Analysis Of JS Apps - JSConf.Asia 2018

Symbolic Value-Flow Static 0:14:58

Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts

Programming Languages 0:02:03

Programming Languages

A Type-and-Effect System 0:15:51

A Type-and-Effect System for Object Initialization

Learning-Based Controlled Concurrency 0:15:18

Learning-Based Controlled Concurrency Testing

visit shbcf.ru