Informatica - Ingegneria del software

Uno sguardo ai grandi modelli linguistici per la programmazione e al loro ecosistema.

AbstractBeam migliora la sintesi dei programmi, sfruttando la generazione di codice efficiente grazie all'Apprendimento delle Librerie.

Un'analisi di come le aziende contribuiscono a e traggono vantaggio dal software open source.

Scopri come i concetti di machine learning aiutano a definire i limiti dei test per il software.

Migliorare la capacità degli LLM di affinare il loro codice grazie a tecniche di auto-debugging.

Esaminando i progressi e le sfide nell'automazione dell'Ingegneria Guidata dai Modelli.

Nuovi metodi migliorano la comprensione del codice binario tramite approcci innovativi.

Capire i fattori umani è fondamentale per sviluppare veicoli automatici sicuri.

Uno sguardo alle sfide di sicurezza e soluzioni per l'hardware nel cloud.

Un nuovo metodo migliora il completamento del codice usando l'analisi del flusso di dati.

Uno studio sui difetti di sicurezza nella verifica degli indirizzi dei contratti smart e un metodo di rilevamento proposto.

Questo studio valuta le prestazioni dei LCGMs nei compiti di codifica in inglese e cinese.

Esaminando come gli strumenti di intelligenza artificiale generativa influenzano la produttività per i professionisti del software.

Nuovi metodi migliorano la rilevazione degli schemi Ponzi negli investimenti in criptovalute.

Questo framework usa più agenti e grafi di compiti per risolvere i problemi in modo efficiente.

Migliorare l'accesso agli artefatti di ricerca aumenta la qualità degli sforzi sui requisiti software.

Un nuovo metodo per addestrare modelli di codice concentrandosi sulla semantica e sul comportamento di esecuzione.

Metodo innovativo migliora l'efficienza nella risoluzione dei bug usando patch generate da LLM.

Scopri come i gemelli digitali possono migliorare il design e il funzionamento dei veicoli di lancio spaziale.

Un nuovo modo per migliorare il fuzzing basato su generatori concentrandosi sui tipi di dati.

Una guida per trasformare codice Python non idiomatico usando tecniche moderne.

Scopri le tecniche di fuzzing per migliorare la sicurezza delle applicazioni web.

StackSight trasforma WebAssembly in codice C++ leggibile usando tecniche di intelligenza artificiale.

Nuovi algoritmi migliorano la velocità e l'accuratezza nella selezione delle caratteristiche nei modelli statistici.

La validazione e la verifica anticipata garantiscono che i sistemi soddisfino le esigenze e riducano al minimo errori costosi.

Un nuovo metodo valuta automaticamente l'affidabilità delle previsioni dell'IA.

Esplorando metodi per una classificazione multi-etichetta efficace nello sviluppo software.

Una nuova metrica per valutare quanto sia difficile compilare i linguaggi di programmazione.

Usare l'IA per automatizzare la vettorizzazione, migliorando l'efficienza e la correttezza del codice.

Un nuovo framework migliora la creazione dei messaggi di commit tramite automazione.

Esplorando come i dispositivi possono collaborare per una migliore efficienza e prestazioni.

Esplora strategie per garantire la qualità del software in ambienti di sviluppo collaborativo aperto.

Una panoramica del testing metamorfico e il suo ruolo nella qualità del software.

Questo studio valuta come GPT-4 aiuta nelle attività di reverse engineering.

M2CVD migliora la rilevazione delle vulnerabilità del software grazie a approcci collaborativi nei modelli.

Un approccio innovativo migliora la rilevazione delle vulnerabilità nella sicurezza del software usando modelli avanzati.

Un nuovo benchmark per valutare i LLM per i compiti di programmazione in Java.

Un nuovo metodo migliora i modelli di linguaggio del codice tramite casi di test efficaci e apprendimento delle preferenze.

Questo documento presenta un metodo per garantire la qualità nel codice generato da LLM.

I progressi nel computing quantistico richiedono test e debug efficaci per un software affidabile.