Search for persons
X
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
2
Automatic Rollback Suggestions for Incremental Datalog Eval..:
, In:
?
2023 IEEE 39th International Conference on Data Engineering (ICDE) ,
4
Efficient Sink-Reachability Analysis via Graph Reduction (E..:
, In:
?
Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores ,
5
Julia Cloud Matrix Machine: Dynamic Matrix Language Acceler..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
8
Building a Join Optimizer for Soufflé:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
10
The Choice Construct in the Soufflé Language:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
11
An efficient interpreter for Datalog by de-specializing rel..:
, In:
?
23rd International Symposium on Principles and Practice of Declarative Programming ,
12