NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Language Semantics for Concurrent Data Structure Design

Formalization of language semantics supporting safe concurrent data structure implementation with compiler-assisted correctness guarantees.