Groups | Search | Server Info | Login | Register
3637 articles (numbers 61 – 3731) — threaded view
| Advanced| Subject | Author | Date [desc] |
|---|---|---|
| Paper: Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code | John R Levine <johnl@taugh.com> | 2026-05-05 20:57 -0400 |
| Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026) | Dirk.Craeynest@cs.kuleuven.be | 2026-04-27 12:18 +0200 |
| Re: Paper: dividing by seven | anton@mips.complang.tuwien.ac.at | 2026-04-19 14:30 +0000 |
| Re: Paper: dividing by seven | robin51@dodo.com.au | 2026-04-19 00:19 +1000 |
| Re: Paper: dividing by seven | anton@mips.complang.tuwien.ac.at | 2026-04-13 05:48 +0000 |
| Paper: dividing by seven | John R Levine <johnl@taugh.com> | 2026-04-10 12:04 -0400 |
| Direct Refinery Supply – EN590, LPG, Jet A1 & Petroleum Products | ap-finans@ap-finans.com | 2026-04-09 10:13 +0000 |
| Announcing Ox release 1.12.3 | Tom Shields <thomas.evans.shields@gmail.com> | 2026-03-18 20:29 -0500 |
| Re: Analysis on Anthropic's LLM generated C compiler | antispam@fricas.org | 2026-03-01 01:27 +0000 |
| LALR look-ahead sets from item right context grammar? | Richard Rogers <rprogers@seanet.com> | 2026-02-28 13:43 +0000 |
| Analysis on Anthropic's LLM generated C compiler | Derek <derek-nospam@shape-of-code.com> | 2026-02-23 18:25 +0000 |
| Paper: Grammar Repair with Examples and Tree Automata | John R Levine <johnl@taugh.com> | 2026-02-23 11:49 -0500 |
| Ada-Europe Conference - Extended Deadlines - AEiC 2026 (Sweden, June 2026) | Dirk.Craeynest@cs.kuleuven.be | 2026-02-12 23:02 +0100 |
| Paper: Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering | John R Levine <johnl@taugh.com> | 2026-02-09 11:04 -0500 |
| Announce: Pyre - A Regular Expression Engine Based on Brzozowski Derivatives | Clint Olsen <clint.olsen@gmail.com> | 2026-02-08 00:58 +0000 |
| LALR look-ahead sets from item right context grammar? | Richard Rogers <rprogers@seanet.com> | 2026-02-07 01:42 +0000 |
| Paper: Towards Analyzing N-language Polyglot Programs | John R Levine <johnl@taugh.com> | 2026-02-03 15:41 -0500 |
| Paper: Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis | John R Levine <johnl@taugh.com> | 2026-02-03 15:39 -0500 |
| Re: Paper: Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve | Derek <derek@shape-of-code.com> | 2026-02-01 17:37 +0000 |
| LALR look-ahead sets from item right context grammar? | Chris Clark <cclark@imachinesinc.com> | 2026-01-31 01:30 +0000 |
| Paper: Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve | John R Levine <johnl@taugh.com> | 2026-01-30 10:53 -0500 |
| LALR look-ahead sets from item right context grammar? | Richard Rogers <rprogers@seanet.com> | 2026-01-29 18:25 -0500 |
| A new language and compiler - ARCHETYPE | "Timothy L. Mieszkowski" <mieszkowski@gmail.com> | 2026-01-09 08:01 -0500 |
| Ada-Europe Conference - 13 Feb Journal Track Extended Deadline (Sweden, June 2026) | Dirk.Craeynest@cs.kuleuven.be | 2026-01-08 21:33 +0100 |
| Paper: Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System | John R Levine <johnl@taugh.com> | 2026-01-07 13:03 -0500 |
| A Lisp Interpreter Implemented in Conway's Game of Life | Derek <derek@shape-of-code.com> | 2026-01-06 15:15 +0000 |
| Re: Paper: Multi-Language Benchmark Generation via L-Systems | Fernando Magno Quintao Pereira <pronesto@gmail.com> | 2025-12-23 13:12 -0300 |
| Paper: Multi-Language Benchmark Generation via L-Systems | John R Levine <johnl@taugh.com> | 2025-12-22 22:56 -0500 |
| Announcing Ox release 1.12.2 | Tom Shields <thomas.evans.shields@gmail.com> | 2025-12-12 13:07 -0600 |
| Ada-Europe Conference - 2nd Call for Contributions - AEiC 2026 (Sweden, June 2006) | Dirk.Craeynest@cs.kuleuven.be | 2025-11-20 16:38 +0100 |
| CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering (France, July 2026) | Andrei Chis <chisvasileandrei@gmail.com> | 2025-11-20 10:41 +0100 |
| Paper: Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization | John R Levine <johnl@taugh.com> | 2025-10-08 17:07 -0400 |
| CfC 30th Ada-Europe Int. Conf. Reliable Software Technologies | Dirk.Craeynest@cs.kuleuven.be | 2025-09-24 17:59 +0200 |
| Language standards past their sell by date | Derek <derek@shape-of-code.com> | 2025-09-21 11:55 +0100 |
| Re: Undefined behaviour in C23 | anton@mips.complang.tuwien.ac.at | 2025-09-06 17:15 +0000 |
| Re: Paper: CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation | Derek <derek@shape-of-code.com> | 2025-09-02 12:45 +0100 |
| Paper: CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation | John R Levine <johnl@taugh.com> | 2025-09-01 11:16 +0200 |
| Re: Paper: Syntactic Completions with Material Obligations | Derek <derek-nospam@shape-of-code.com> | 2025-08-28 22:36 +0100 |
| Re: Undefined behaviour in C23 | James Kuyper <jameskuyper@alumni.caltech.edu> | 2025-08-26 16:53 -0400 |
| Paper: Syntactic Completions with Material Obligations | John R Levine <johnl@taugh.com> | 2025-08-26 15:43 -0400 |
| Re: Undefined behaviour in C23 | Michael S <already5chosen@yahoo.com.dmarc.email> | 2025-08-26 22:28 +0300 |
| Re: Undefined behaviour in C23 | James Kuyper <jameskuyper@alumni.caltech.edu> | 2025-08-26 13:41 -0400 |
| Re: Undefined behaviour in C23 | James Kuyper <jameskuyper@alumni.caltech.edu> | 2025-08-25 22:13 -0400 |
| Re: Undefined behaviour in C23 | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-08-23 15:58 -0700 |
| Re: Undefined behaviour in C23 | antispam@fricas.org | 2025-08-23 15:45 +0000 |
| Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-23 16:55 +0200 |
| Re: Undefined behaviour in C23 | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-08-22 15:11 -0700 |
| Re: Undefined behaviour in C23 | anton@mips.complang.tuwien.ac.at | 2025-08-22 17:16 +0000 |
| Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-22 18:42 +0200 |
| Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-22 17:58 +0200 |
csiph-web