Gilray, Thomas
- Optimizing Datalog for the GPU
2023/11/03 by Yihao Sun, Ahmedur Rahman Shovon, Sun, Yihao +7 · 4 voices
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Data Mining Algorithms and Applications #cs.DB #cs.PL
- Higher-Order, Data-Parallel Structured Deduction
2022/11/21 by Thomas Gilray, Gilray, Thomas, Arash Sahebolamri +5 · 1 voice
Decision Sciences · Computer Science · #Scientific Computing and Data Management #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques
- Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation
2013/11/17 by Shuying Liang, Andrew W. Keep, Liang, Shuying +10 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #D.2.0 #F.3.2 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques
- Datalog with First-Class Facts
2024/11/21 by Thomas Gilray, Gilray, Thomas, Arash Sahebolamri +9 · 1 voice · 1 citation
Computer Science · #Machine Learning and Data Classification #Data Stream Mining Techniques #Advanced Database Systems and Queries