Cătălin Hriţcu
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- The Next 700 Relational Program Logics
2019/07/11 by Kenji Maillard, Cătălin Hriţcu, Maillard, Kenji +5 · 4 citations
Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Distributed systems and fault tolerance
- FSLH: Flexible Mechanized Speculative Load Hardening
2025/02/05 by Baumann, Jonathan, Roberto Blanco, Blanco, Roberto +6 · 1 citation
Engineering · #Additive Manufacturing and 3D Printing Technologies #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Manufacturing Process and Optimization #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL)