27 articoli
Questo lavoro presenta e valuta una versione migliorata di JoinActors, una libreria modulare per Scala 3 che integra i pattern di join tramite metaprogrammazione, consentendo il confronto sistematico di diversi algoritmi di matching che offrono prestazioni significativamente superiori rispetto alle implementazioni precedenti mantenendo la stessa semantica corretta.
Questo paper presenta una tecnica leggera ed efficiente per selezionare un sottoinsieme di annotazioni di tipo derivate dall'inferenza al fine di migliorare le prestazioni di esecuzione dei programmi a tipizzazione graduale, riducendo i cast a runtime costosi e mantenendo tempi di compilazione stabili.
Il paper presenta iScript, un modello linguistico adattato al dominio per la generazione di script Tcl per la progettazione fisica, e iScript-Bench, un benchmark completo, dimostrando come un processo di sintesi dati multi-stadio e un'addestramento su due fasi superino le prestazioni degli LLM generici in questo settore.
Questo lavoro presenta SCORE, un linguaggio progettato per dimostrare come le operazioni sugli stack possano essere interpretate come biezioni totali, permettendo così di certificare formalmente che tutti i termini del modello computazionale sono funzioni biunivoche totali.
Questo articolo introduce una nuova teoria equazionale per il calcolo I basata sugli "Ohana trees", che preservano le variabili nascoste o infinite, e ne dimostra la coerenza attraverso l'analisi di approssimazione, l'espansione di Taylor e un modello denotazionale basato su un sistema di tipi relazionale modificato.
Questo studio introduce il "ragionamento semi-formale", una metodologia strutturata che permette agli agenti LLM di analizzare la semantica del codice senza eseguirlo, migliorando significativamente l'accuratezza in compiti come la verifica delle patch, la localizzazione dei difetti e la risposta a domande sul codice.
Il paper presenta SpotIt+, uno strumento open-source che valuta i sistemi Text-to-SQL verificando l'equivalenza tramite la generazione di istanze di database differenzianti, arricchite da vincoli pratici estratti e validati tramite un pipeline ibrido rule-based e LLM.