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 |
| Announcing Ox release 1.12.2 | Tom Shields <thomas.evans.shields@gmail.com> | 2025-12-12 13:07 -0600 |
| 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 |
| Ada-Europe Conference - 2nd Call for Contributions - AEiC 2026 (Sweden, June 2006) | Dirk.Craeynest@cs.kuleuven.be | 2025-11-20 16:38 +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 |
| Undefined behaviour in C23 (15 replies) | Martin Ward <mwardgkc@gmail.com> | 2025-08-20 14:06 +0100 |
| → Re: Undefined behaviour in C23 | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-08-20 18:33 +0000 |
| → Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-21 15:02 +0200 |
| → Re: Undefined behaviour in C23 | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-08-21 12:53 -0700 |
| → Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-22 17:58 +0200 |
| → Re: Undefined behaviour in C23 | anton@mips.complang.tuwien.ac.at | 2025-08-22 17:16 +0000 |
| → Re: Undefined behaviour in C23 | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2025-08-22 15:11 -0700 |
| → 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-23 15:58 -0700 |
| → Re: Undefined behaviour in C23 | James Kuyper <jameskuyper@alumni.caltech.edu> | 2025-08-25 22:13 -0400 |
| → Re: Undefined behaviour in C23 | James Kuyper <jameskuyper@alumni.caltech.edu> | 2025-08-26 13:41 -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 16:53 -0400 |
| → Re: Undefined behaviour in C23 | anton@mips.complang.tuwien.ac.at | 2025-08-21 05:44 +0000 |
| → Re: Undefined behaviour in C23 | David Brown <david.brown@hesbynett.no> | 2025-08-22 18:42 +0200 |
| → Re: Undefined behaviour in C23 | anton@mips.complang.tuwien.ac.at | 2025-09-06 17:15 +0000 |
| Paper: CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation (1 reply) | John R Levine <johnl@taugh.com> | 2025-09-01 11:16 +0200 |
| → 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: Syntactic Completions with Material Obligations (1 reply) | John R Levine <johnl@taugh.com> | 2025-08-26 15:43 -0400 |
| → 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 (1 reply) | Martin Ward <mwardgkc@gmail.com> | 2025-08-21 15:11 +0100 |
| → Re: Undefined behaviour in C23 | antispam@fricas.org | 2025-08-23 15:45 +0000 |
| Prior art for operator parsing trick (3 replies) | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-04-05 23:22 +0000 |
| → Re: Prior art for operator parsing trick | antispam@fricas.org | 2025-04-06 16:00 +0000 |
| → Re: Prior art for operator parsing trick | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-04-06 17:18 +0000 |
| → Re: Prior art for operator parsing trick | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-08-03 22:16 +0000 |
| paper: Towards Automatic Error Recovery in Parsing Expression (2 replies) | John R Levine <johnl@taugh.com> | 2025-07-08 20:59 -0400 |
| → Re: paper: Towards Automatic Error Recovery in Parsing Expression | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-07-09 04:33 +0000 |
| → Re: paper: Towards Automatic Error Recovery in Parsing Expression | cross@spitfire.i.gajendra.net | 2025-07-11 11:33 +0000 |
| Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing | John R Levine <johnl@taugh.com> | 2025-07-10 14:54 -0400 |
| Nice application of that hash bisection debugging approach. (1 reply) | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-07-04 08:27 +0000 |
| → Re: Nice application of that hash bisection debugging approach. | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-07-05 00:52 +0000 |
| Paper: On the Feasibility of Deduplicating Compiler Bugs with Bisection | John R Levine <johnl@taugh.com> | 2025-07-01 12:12 -0400 |
| CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports | John R Levine <johnl@taugh.com> | 2025-06-09 09:40 +0200 |
| Paper: TPDE: A Fast Adaptable Compiler Back-End Framework | John R Levine <johnl@taugh.com> | 2025-05-29 18:07 -0400 |
| AI for optimization? (4 replies) | anton@mips.complang.tuwien.ac.at | 2025-05-24 05:26 +0000 |
| → Re: AI for optimization? | arnold@freefriends.org | 2025-05-25 03:52 +0000 |
| → Re: AI for optimization? | antispam@fricas.org | 2025-05-25 22:11 +0000 |
| → Re: AI for optimization? | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-05-26 03:42 +0000 |
| → Re: AI for optimization? | George Neuner <gneuner2@comcast.net> | 2025-05-26 00:28 -0400 |
| Re: AI for optimization? | Martin Ward <mwardgkc@gmail.com> | 2025-05-25 15:37 +0100 |
| Ada-Europe - AEiC 2025 early registration deadline imminent | Dirk.Craeynest@cs.kuleuven.be | 2025-05-24 23:21 +0200 |
| Paper: Large Language Model-Powered Agent for C to Rust Code Translation | John R Levine <johnl@taugh.com> | 2025-05-23 13:12 -0400 |
| Paper: Prime Path Coverage in the GNU Compiler Collection | John R Levine <johnl@taugh.com> | 2025-05-22 12:59 -0400 |
| Paper: Improving Assembly Code Performance with Large Language Models via Reinforcement Learning | John R Levine <johnl@taugh.com> | 2025-05-19 12:54 -0400 |
| Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust (7 replies) | John R Levine <johnl@taugh.com> | 2025-05-09 12:27 -0400 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | Derek <derek-nospam@shape-of-code.com> | 2025-05-13 21:30 +0100 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | arnold@freefriends.org | 2025-05-14 08:21 +0000 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-05-14 20:01 +0000 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | anton@mips.complang.tuwien.ac.at | 2025-05-15 07:48 +0000 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | George Neuner <gneuner2@comcast.net> | 2025-05-15 11:52 -0400 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | cross@spitfire.i.gajendra.net | 2025-05-16 15:42 +0000 |
| → Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-05-16 17:57 +0000 |
| Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | Christopher F Clark <christopher.f.clark@compiler-resources.com> | 2025-05-16 02:26 +0300 |
| Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering (Germany, June 2025) | Andrei Chis <chisvasileandrei@gmail.com> | 2025-05-08 14:40 +0200 |
| Nice trick for "superfix" relational operators operator precedence parsing. | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-05-07 02:44 +0000 |
| Paper: Portability of Optimizations from SC to TSO | John R Levine <johnl@taugh.com> | 2025-05-04 17:42 -0400 |
| Crypto friendly optimization? (7 replies) | John R Levine <johnl@taugh.com> | 2024-08-24 17:14 -0400 |
| → Re: Crypto friendly optimization? | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2024-08-24 16:33 -0700 |
| → Re: Crypto friendly optimization? | Keith Thompson <Keith.S.Thompson+u@gmail.com> | 2024-08-24 20:55 -0700 |
| → Re: Crypto friendly optimization? | anton@mips.complang.tuwien.ac.at | 2024-08-25 16:06 +0000 |
| → Re: Crypto friendly optimization? | David Brown <david.brown@hesbynett.no> | 2024-08-25 21:12 +0200 |
| → Re: Crypto friendly optimization? | Philipp Klaus Krause <pkk@spth.de> | 2025-04-05 19:50 +0200 |
| → Re: Crypto friendly optimization? | Ian Lance Taylor <ianlancetaylor@gmail.com> | 2024-08-24 20:14 -0700 |
| → Re: Crypto friendly optimization? | David Brown <david.brown@hesbynett.no> | 2024-08-25 12:32 +0200 |
| Call for Nominations: SLE 2025 - Artifact Evaluation Committee, Nominations Wanted | Andrei Chis <chisvasileandrei@gmail.com> | 2025-03-27 23:39 +0100 |
~Page 1 of ~23 (articles 3639–3731) Older →
csiph-web