conftrace_

type system

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

search space (1) real-time strategy game (1) unit control (1) a* search (1) transition-based parsing (1) state-space search (1) regular expression (1) entity typing (1) formal grammar (1) transition-based parser (1)

Papers

RT: Regular Types for the Streaming Shell OSDI 2026 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