conftrace_

type system

7 papers

Explore in graph

Co-occurring keywords

search space (55) real-time strategy game (5) unit control (1) state space search (8) a* search (18) transition-based parsing (75) entity typing (88) formal grammar (10) transition-based parser (36) abstract categorial grammar (1)

Papers

SquirrelFS: using the Rust compiler to check file-system crash consistency OSDI 2024
NeuralArTS: Structuring Neural Architecture Search with Type Theory (Student Abstract) AAAI 2022
Simulating Feature Structures with Simple Types NAACL 2022
STORM: Refinement Types for Secure Web Applications OSDI 2021
ENTYFI: A System for Fine-grained Entity Typing in Fictional Texts EMNLP 2020
Fast semantic parsing with well-typedness guarantees EMNLP 2020
Stratified Strategy Selection for Unit Control in Real-Time Strategy Games IJCAI 2017