Tiark Rompf
- Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
2018/03/27 by Fei Wang, Wang, Fei, Daniel Zheng +9 · 4 voices · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Neural Network Applications #Ferroelectric and Negative Capacitance Devices #Stochastic Gradient Optimization Techniques #cs.LG #stat.ML
- Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
2023/07/25 by Guannan Wei, Wei, Guannan, Oliver Bračevac +7 · 7 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning and Algorithms #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Teaching and Learning Programming
- Modeling Reachability Types with Logical Relations
2023/09/12 by Yuyan Bao, Bao, Yuyan, Guannan Wei +6 · 5 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
- Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
2019/04/27 by Zhanfu Yang, Yang, Zhanfu, Fei Wang +7 · 5 citations
Computer Science · #Graph Theory and Algorithms #Neural Networks and Applications #Bayesian Modeling and Causal Inference
- From F to DOT: Type Soundness Proofs with Definitional Interpreters
2015/10/18 by Tiark Rompf, Nada Amin, Rompf, Tiark +1 · 1 voice
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Flare: Native Compilation for Heterogeneous Workloads in Apache Spark
2017/03/23 by Grégory M. Essertel, Essertel, Grégory M., Ruby Y. Tahboub +9 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Databases (cs.DB) #Distributed #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
- Graph IRs for Impure Higher-Order Languages (Technical Report)
2023/09/15 by Oliver Bračevac, Bračevac, Oliver, Guannan Wei +11 · 1 citation
Computer Science · #Advanced Graph Neural Networks #Error Correcting Code Techniques #FOS: Computer and information sciences #Matrix Theory and Algorithms #Programming Languages (cs.PL)