Groups | Search | Server Info | Login | Register
3637 articles, 1121 threads (numbers 61 – 3731) — flat view
| Advanced| Subject | Author | Date |
|---|---|---|
| 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 |
| Paper: dividing by seven (3 replies) | John R Levine <johnl@taugh.com> | 2026-04-10 12:04 -0400 |
| → Re: Paper: dividing by seven | anton@mips.complang.tuwien.ac.at | 2026-04-13 05:48 +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-19 14:30 +0000 |
| 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 |
| Analysis on Anthropic's LLM generated C compiler (1 reply) | Derek <derek-nospam@shape-of-code.com> | 2026-02-23 18:25 +0000 |
| → 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? (1 reply) | Richard Rogers <rprogers@seanet.com> | 2026-02-07 01:42 +0000 |
| → LALR look-ahead sets from item right context grammar? | Richard Rogers <rprogers@seanet.com> | 2026-02-28 13:43 +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 |
| 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 |
| Paper: Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve (1 reply) | John R Levine <johnl@taugh.com> | 2026-01-30 10:53 -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? (1 reply) | Richard Rogers <rprogers@seanet.com> | 2026-01-29 18:25 -0500 |
| → LALR look-ahead sets from item right context grammar? | Chris Clark <cclark@imachinesinc.com> | 2026-01-31 01:30 +0000 |
| 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 |
| Paper: Multi-Language Benchmark Generation via L-Systems (1 reply) | John R Levine <johnl@taugh.com> | 2025-12-22 22:56 -0500 |
| → Re: Paper: Multi-Language Benchmark Generation via L-Systems | Fernando Magno Quintao Pereira <pronesto@gmail.com> | 2025-12-23 13:12 -0300 |
~Page 1 of ~57 (articles 3705–3731) Older →
csiph-web