research
∙
04/06/2023
Handling Wikidata Qualifiers in Reasoning
Wikidata is a knowledge graph increasingly adopted by many communities f...
share
research
∙
06/23/2021
Fuel: A Compiler Framework for Safe Memory Management
Flow-sensitive type systems offer an elegant way to ensure memory-safety...
research
∙
07/25/2019
Explicit and Controllable Assignment Semantics
Despite the plethora of powerful software to spot bugs, identify perform...
research
∙
08/17/2017