Publications

Filter by type:

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

DOI

Information Flow Analysis for Go

DOI Project

Modeling Deployment Decisions for Elastic Services with ABS

DOI Project

An Operational Semantics of Cache Coherent Multicore Architectures

DOI Project

A Maude Framework for Cache Coherent Multicore Architectures

DOI Project

Meeting Deadlines, Elastically

DOI Project

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

DOI Project

Behaviour Inference for Deadlock Checking

DOI

Deadlock Checking by Data Race Detection

DOI

Deadlock Checking by Data Race Detection

DOI

Delta-Oriented Monitor Specification

DOI Project

Pak Pak Serves You: Application on Interactive Dialogue Question Answering

PDF

Research in Interactive Dialogues Question Answering System

PDF