Informatica - Ingegneria del software

Una nuova tecnica migliora i test per il caricamento dei modelli nei compilatori di deep learning.

Amman sta facendo progressi per diventare una città intelligente grazie alla tecnologia e al coinvolgimento dei cittadini.

Un nuovo metodo migliora la localizzazione dei bug attraverso il chunking dinamico e l'apprendimento di esempi difficili.

MathViz-E automatizza la visualizzazione della matematica per aiutare insegnanti e studenti in aula.

Uno strumento facile da usare che permette di analizzare dati tramite linguaggio naturale.

L'IA generativa semplifica le revisioni sistematiche nella ricerca ingegneristica del software.

Questo articolo parla delle preoccupazioni per la sicurezza nella pianificazione delle traiettorie per i veicoli automatizzati.

Questo studio presenta un metodo per migliorare il tracciamento delle patch di sicurezza.

Uno studio che confronta modelli di machine learning per valutare le vulnerabilità nel codice C/C++.

Esplorando il ruolo di Rust nel migliorare la sicurezza e l'affidabilità dei sistemi operativi.

Questo studio esamina le motivazioni dei programmatori e le metriche per un refactoring del codice efficace.

Un nuovo metodo semplifica la compilazione delle modifiche nei progetti Java, migliorando la sicurezza.

Esplorare metodi automatici per identificare vulnerabilità software e la loro affidabilità.

Questa ricerca mostra come i modelli di linguaggio possano trovare bug nascosti nelle app per smartphone.

Ap pWorld simula compiti reali per agenti AI in un ambiente controllato.

CSLS si concentra sulla struttura del codice per una migliore rilevazione delle vulnerabilità.

Esplorare come i modelli di base migliorano lo sviluppo dei gemelli digitali.

Esplorando come Qubernetes collega il calcolo quantistico e quello classico.

TSLGen semplifica la creazione di librerie SIMD per hardware diversi.

Un nuovo sistema per semplificare la scrittura delle review di letteratura per i ricercatori.

Nuove linee guida mirano a migliorare la sicurezza dei sistemi AI per gli sviluppatori.

WebApp1K testa le capacità di coding dei modelli linguistici per le applicazioni web.

Questo studio esamina come vengono gestiti i bug nei progetti di software di rete.

Un nuovo framework valuta la difficoltà nei compiti di coding per i modelli di linguaggio di grandi dimensioni.

Un nuovo metodo prevede i bug nel software analizzando i dati passati.

Un programma per insegnare il model checking per lo sviluppo di software affidabile.

Uno sguardo a come i programmatori percepiscono e gestiscono il debito tecnico nei progetti software.

Impara a creare e gestire gallerie di esempio per migliorare il coinvolgimento degli utenti.

Questo studio classifica le vulnerabilità nei microservizi per migliorare le misure di sicurezza.

Questo articolo esplora come il feedback influisca sulle pratiche di machine learning nei notebook Jupyter.

Uno studio che confronta il codice generato da LLM con le soluzioni scritte da umani su Leetcode.

La conformità continua è fondamentale per lo sviluppo software moderno e la sicurezza.

C3 migliora la chiarezza degli input dei test automatici per una migliore comprensione del codice.

Quest'articolo parla di un metodo per creare automaticamente le descrizioni delle PR.

Un nuovo metodo accelera i test del software concentrandosi su segmenti delle pagine web.

Il tipping migliora l'efficienza e la precisione dell'analisi dei log per un'analisi software migliore.

Un nuovo metodo per testare i programmi quantistici migliora l'affidabilità e l'efficienza.

Uno sguardo alle pratiche MLOps per un'integrazione efficace dell'AI.

Questo studio esamina come ChatGPT può migliorare le pratiche di sicurezza del software.

Esplora i problemi comuni che gli utenti affrontano nelle configurazioni di automazione domestica intelligente.