2 citations · 4 across the 4 of their papers we have counts for
4 papers · 1 filter
Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems
Supun Abeysinghe, Fei Wang, Gregory Essertel +1
Modern data analytics workloads combine relational data processing with machine learning (ML). Most DBMS handle these workloads by offloading these ML operations to external specia…
Graph IRs for Impure Higher-Order Languages (Technical Report)
Oliver Bračevac, Guannan Wei, Songlin Jia +4
This is a companion report for the OOPSLA 2023 paper of the same title, presenting a detailed end-to-end account of the graph IR, at a level of detail beyond a r…
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Guannan Wei, Oliver Bračevac, Songlin Jia +2
Reachability types are a recent proposal that has shown promise in scaling to higher-order but monomorphic settings, tracking aliasing and separation on top of a substrate inspired…
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin, Susheel Suresh +1
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from t…