plast-lab

@UCoeyDLLCB4AGlLRrI_cdDHw - 241 subscribers

The PLAST research group (plast-lab.github.io/) at the University of Athens focuses on programming languages and software engineering research.

Home Videos Live Playlists

Identifying Java Calls in Native Code via Binary Scanning (ISSTA'20)

Identifying Java Calls in Native Code via Binary Scanning (ISSTA'20) plast-lab

227 views - 5 years ago

PLDI'20 paper teaser: "Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities"

PLDI'20 paper teaser: "Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities" plast-lab

164 views - 6 years ago

Teaser for PLDI'20 paper "Static Analysis of Java Enterprise Applications. Frameworks and Caches..."

Teaser for PLDI'20 paper "Static Analysis of Java Enterprise Applications. Frameworks and Caches..." plast-lab

80 views - 6 years ago

Hands-on with CClyzer

Hands-on with CClyzer plast-lab

258 views - 10 years ago

Doop scaffolding

Doop scaffolding plast-lab

346 views - 10 years ago

LLVM bitcode analysis with CClyzer

LLVM bitcode analysis with CClyzer plast-lab

646 views - 10 years ago

Indexing and optimization

Indexing and optimization plast-lab

379 views - 10 years ago

A model of context-sensitive pointer analysis

A model of context-sensitive pointer analysis plast-lab

1K views - 10 years ago

Logic and Datalog

Logic and Datalog plast-lab

5.7K views - 10 years ago

Introduction to Doop and pointer analysis

Introduction to Doop and pointer analysis plast-lab

3.4K views - 10 years ago

Hands-on with Doop and Datalog

Hands-on with Doop and Datalog plast-lab

790 views - 10 years ago