- Tuning Random Generators: Property-Based Testing as Probabilistic Programming
2025/08/20 by Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison +3 · 1 citation
#D.2.5 #D.3 #FOS: Computer and information sciences #G.3 #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- LTL learning on GPUs
2024/02/19 by Valizadeh, Mojtaba, Fijalkow, Nathanaël, Berger, Martin · 2 citations
#68 #Artificial Intelligence (cs.AI) #D.3 #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
2023/07/29 by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer +4 · 1 citation
#D.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- X-COBOL: A Dataset of COBOL Repositories
2023/06/08 by Mir Sameed Ali, Ali, Mir Sameed, Nikhil Manjunath +3 · 1 citation
Computer Science · #D.2.6 #D.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture
2022/11/07 by Hsu, Olivia, Rucker, Alexander, Zhao, Tian +2 · 3 citations
#D.3 #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL)
- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
2020/11/26 by Yi, Wang, Mohaqeqi, Morteza, Graf, Susanne · 1 citation
#68M14 #68N15 #68N25 #D.3 #D.4 #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Introduction to Rank-polymorphic Programming in Remora (Draft)
2019/12/31 by Olin Shivers, Shivers, Olin, Justin Slepak +3 · 2 voices
Computer Science · #Algorithms and Data Compression #D.3 #Distributed #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
- Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
2019/04/11 by Sakka, Laith, Sundararajah, Kirshanthan, Newton, Ryan R. +1 · 1 citation
#68N20 #D.2 #D.3 #D.4.8 #FOS: Computer and information sciences #Performance (cs.PF) #Programming Languages (cs.PL)
- Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
2018/04/19 by Diekmann, Lukas, Tratt, Laurence · 1 citation
#D.3 #FOS: Computer and information sciences #Programming Languages (cs.PL)