Latest Research in Programming Languages

Top Research Topics in Programming Languages

• Programming Languages — 9 papers
• Logic, programming, and type systems — 4 papers
• Quantum Mechanics and Applications — 4 papers
• Logic in Computer Science — 3 papers
• Advanced Software Engineering Methodologies — 3 papers
• Distributed, Parallel, and Cluster Computing — 3 papers
• Software Engineering — 2 papers
• Cryptography and Data Security — 2 papers
• Security and Verification in Computing — 2 papers
• Formal Languages and Automata Theory — 1 papers

Highest-Cited Papers

1. Omnidirectional type inference for ML: principality any way (1 citations)
2. Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
3. Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens
4. Refining Timing Uncertainty from Logical Time Specification to Operation
5. Model checking of hyperproperties for high-level relational models
6. AdmitV1: Shear Admittance over the Fluxset
7. Causal Nonlocality from Closure: A No-Go for Naive Semantic Locality Under PSC and Diagonal Capability Paper 46 of the NEMS Suite
8. No Spooky-to-Signal Compiler: Why EPR Correlations Cannot be Total-Effectively Upgraded to FTL Paper 47 of the NEMS Suite
9. No Spooky-to-Signal Compiler: Why EPR Correlations Cannot be Total-Effectively Upgraded to FTL Paper 47 of the NEMS Suite
10. AdmitV1: Shear Admittance over the Fluxset
11. Causal Nonlocality from Closure: A No-Go for Naive Semantic Locality Under PSC and Diagonal Capability Paper 46 of the NEMS Suite
12. Machine-Checked Dual-Write Recovery from a Commit Log
13. Interface-Scoped Dispatch: General Delegation with O(1) Self-Calls
14. Interface-Scoped Dispatch: General Delegation with O(1) Self-Calls
15. Interface-Scoped Dispatch: Independent Components with O(1) Self-Calls
16. From Automata Learning to Model Checking: Formal Security Verification of Black-Box Protocols
17. Learning to adapt GR(1) specifications through degradation
18. A Formal Framework for Noisy Runtime Verification
19. The Oversight Gap: What LLM Safety Monitors Miss, and Why It Is Not Capability
20. Fast Multidimensional Approximate Agreement with Optimal Resilience Using Ball Validity