- Comparing Parallel Functional Array Languages: Programming and Performance
2025/05/13 by David van Balen, Tiziano De Matteis, van Balen, David +31 · 7 voices · 1 citation
Computer Science · #Array data structure #Benchmark (surveying) #Cellular Automata and Applications #Code (set theory) #Embedded Systems Design Techniques #Executable #Functional programming #Implementation #Multi-core processor #Parallel Computing and Optimization Techniques #Porting #Programming paradigm
- Btor2MLIR: A Format and Toolchain for Hardware Verification
2023/09/16 by Joseph Tafese, Tafese, Joseph, Isabel Garcia-Contreras +3 · 1 citation
Computer Science · Engineering · #Compiler #Computer architecture #Computer science #Embedded system #Executable #Formal Methods in Verification #Parsing #Programming language #Radiation Effects in Electronics #Reuse #Software #Software Testing and Debugging Techniques #Software engineering #Toolchain
- VASPKIT: A user-friendly interface facilitating high-throughput computing and analysis using VASP code
2021/05/28 by Vei Wang, Nan Xu, Jincheng Liu +4 · 127 citations
Earth and Planetary Sciences · Materials Science · Physics and Astronomy · #Advanced Chemical Physics Studies #Code generation #Compiler #Computational science #Computer science #Data structure #Electronic and Structural Properties of Oxides #Executable #Fortran #Graphical user interface #High-pressure geophysics and materials #Interface (matter) #Operating system #Programming language #Python (programming language) #Scripting language #Throughput #User Friendly #User interface
- Catala: a programming language for the law
2021/03/04 by Denis Merigoux, Nicolas Chataing, Jonathan Protzenko · 5 voices · 10 citations
Computer Science · Social Sciences · #Art #Artificial Intelligence in Law #Compiler #Computer science #Correctness #Executable #Formalism (music) #Interpretation (philosophy) #Law #Literature #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Political science #Programming language #Statute #Statutory interpretation #Statutory law
- Bringing GNU Emacs to Native Code
2020/04/06 by Andrea Corallo, Corallo, Andrea, Nassi, Luca +3 · 3 voices
Computer Science · Decision Sciences · #Code (set theory) #Code generation #Compiled language #Compiler #Executable #Lisp #Logic, programming, and type systems #Scientific Computing and Data Management #Set (abstract data type) #Software Engineering Research
- Metamath Zero: The Cartesian Theorem Prover
2019/10/22 by Mario Carneiro, Carneiro, Mario · 3 voices
Computer Science · Mathematics · #Algorithm #Automated proof checking #Automated theorem proving #Computer science #Correctness #Cryptography #Discrete mathematics #Executable #Formal Methods in Verification #Gas meter prover #HOL #Logic, programming, and type systems #Mathematical proof #Mathematics #Programming language #Proof assistant #Security and Verification in Computing #Separation logic #Set (abstract data type) #Theoretical computer science #Zero-knowledge proof
- Base64 encoding and decoding at almost the speed of a memory copy
2019/10/02 by Wojciech Muła, Daniel Lemire · 6 voices · 1 citation
Computer Science · #Advanced Data Storage Technologies #Algorithms and Data Compression #Artificial intelligence #Computer science #Decoding methods #ENCODE #Encoding (memory) #Executable #JSON #Operating system #Parallel Computing and Optimization Techniques #Parallel computing #Porting #Programming language #SIMD #Software #XML
- A Neural-based Program Decompiler
2019/06/28 by Cheng Fu, Huili Chen, Fu, Cheng +11 · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Algorithm #Arithmetic #Artificial intelligence #Binary number #Coda #Computer engineering #Computer science #Detector #Discriminator #Executable #Key (lock) #Operating system #Programming language #Security and Verification in Computing #Sketch #Software Engineering Research #Source code #cs.LG #cs.PL
- On the infinite-dimensional QR algorithm
2019/05/18 by Matthew J. Colbrook, Anders C. Hansen · 1 citation
Mathematics · Computer Science · #Spectral Theory in Mathematical Physics #Matrix Theory and Algorithms #Holomorphic and Operator Theory #Convergence (economics) #Computation #Rate of convergence #Executable #Eigenvalues and eigenvectors #Hierarchy #Spectrum (functional analysis) #Symbolic convergence theory
- KRust: A Formal Executable Semantics of Rust
2018/04/28 by Feng Wang, Fu Song, Wang, Feng +7 · 3 voices · 1 citation
Computer Science · #Computer science #Distributed systems and fault tolerance #Executable #Formal semantics (linguistics) #Garbage #Garbage collection #Interpreter #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Rust (programming language) #Security and Verification in Computing #Semantics (computer science) #cs.PL
- When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries
2015/12/28 by Aylin Caliskan, Fabian Yamaguchi, Edwin Dauber +4 · 4 voices · 8 citations
Computer Science · #Advanced Malware Detection Techniques #Authorship Attribution and Profiling #Coding (social sciences) #Compiler #Computer science #Executable #Programmer #Programming language #Software Engineering Research #Source code
- Executable Model-Based Risk Analysis Method for Identity Management Systems: Using Hierarchical Colored Petri Nets
2013/01/01 by Ebenezer Paintsil, Lothar Fritsch · 1 citation
Computer Science · Decision Sciences · #Computer science #Data Quality and Management #Data mining #Digital and Cyber Forensics #Documentation #Executable #Identity (music) #Petri net #Programming language #Risk analysis (engineering) #Risk management #Software engineering #User Authentication and Security Systems
- Data mining methods for detection of new malicious executables
2002/11/13 by Matthew G. Schultz, Eleazar Eskin, F. Zadok +1 · 1 citation
Computer Science · #Spam and Phishing Detection #Network Security and Intrusion Detection #Advanced Malware Detection Techniques #Executable #Computer science #Heuristics #Set (abstract data type) #Malware #Data mining #Computer security #Operating system
- Translation of a High-Level Graphical Code to Message-Passing Primitives in the GRADE Programming Environment
2000/01/01 by Gábor Dózsa, Dániel Drótos, Róbert Lovas · 1 citation
Computer Science · #Computer science #Construct (python library) #Debugging #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #Event-driven programming #Executable #Graphical user interface #Inductive programming #Message Passing Interface #Message passing #Parallel Computing and Optimization Techniques #Procedural programming #Programming language #Programming paradigm #Visual programming language
- SELECT—a formal system for testing and debugging programs by symbolic execution
1975/04/01 by Robert S. Boyer, B. Elspas, Bernard Elspas +2 · 3 citations
Computer Science · #Algorithmic program debugging #Assertion #Computer science #Concolic testing #Debugging #Executable #Formal Methods in Verification #Logic, programming, and type systems #Path (computing) #Programming language #Software #Software Testing and Debugging Techniques #Symbolic execution #Test case #Test suite
- TraceDev: A Traceability-Driven Multi-agent Framework for Requirement-to-Code Development
2026/07/21 by Mingyu Chen, Yakun Zhang, Zihao Xie +7
Computer Science · #Baseline (sea) #Code (set theory) #Consistency (knowledge bases) #Context (archaeology) #Executable #Requirements traceability #Software Engineering Research #Software Engineering Techniques and Practices #Software Testing and Debugging Techniques #Software development #Source code #Traceability #Validator