Neuste Artikel für Softwareentwicklung

Untersuchen der Faktoren, die zur Unterproduktion in Open-Source-Projekten führen.

Ein neues System verbessert die Effizienz und reduziert Verzögerungen bei der Bearbeitung von Aufgaben für Sprachmodelle.

Ein neues Tool bewertet Syzbots Fähigkeit, Bugs im Linux-Kernel zu finden.

Die Sicherheit von Software verbessern, indem man wiederkehrende Programmierfehler in Open-Source-Projekten identifiziert.

Neue selbstheilende Systeme lernen, sich von Fehlern ohne menschliche Hilfe zu erholen.

Ein neues Framework verbessert die GPU-Leistung für Deep-Learning-Aufgaben.

Ein Workshop hebt die wichtigsten Herausforderungen und Lösungen in der Robotik-Softwareentwicklung hervor.

Ein Blick darauf, wie Sinnhaftigkeit das Design und die Bewertung von Programmiersprachen beeinflusst.

Ein neues Dataset verbessert die Schwachstellenerkennung in Open-Source-Software für mehr Sicherheit.

Simulation und Ereignisanalyse für die Softwarevalidierung kombinieren.

TroVE vereinfacht die Erstellung von Funktionen für Programmieraufgaben und verbessert die Genauigkeit und Effizienz.

MORPH passt Malware-Erkennungssysteme an sich entwickelnde Bedrohungen an, und das mit weniger manuellem Aufwand.

Dieser Artikel behandelt die Rolle von SATD in der Softwaresicherheit.

Entdecke die Rolle von monadischen Schnittmengen-Typen bei der Verbesserung von Typsystemen in Programmiersprachen.

Eine Studie über die Rollen von bezahlten Entwicklern und Freiwilligen in Rust-Projekten.

Ein Blick darauf, wie man ROOT mit SYCL aufpeppen kann, um eine effiziente Datenanalyse zu ermöglichen.

Eine neue Methode vereinfacht das Beweisen von Programmeigenschaften mit Hilfe von Nicht-Realisierbarkeit-Logik.

Eine Studie zur Verbesserung automatisierter Tools zur Codevereinfachung in der Softwareentwicklung.

Ein neuer Ansatz für die sichere Analyse der Programmkomplexität durch kontrollierte Datenfreigabe.

Lern, wie Sitzungstypen Kommunikationsprotokolle in der Softwareentwicklung verbessern.

Eine neue Methode kombiniert KI und statische Analyse für bessere Code-Vorschläge.

Lern, wie statische Analysewerkzeuge wie C Analyzer die Zuverlässigkeit von Software verbessern.

OMP GPT ist darauf spezialisiert, OpenMP-Pragmas für effizientes Coden in HPC zu generieren.

Eine Studie über die Auswirkungen von LLMs in Universitätskursen für Softwaretechnik.

Vorstellung von SERL: Ein neues Framework für effiziente Robotik-Lernaufgaben.

MobFuzz verbessert Fuzz-Tests mit multi-objektiven Optimierungen für bessere Software-Sicherheit.

Diese Methode verbessert die Codierungsgenauigkeit durch wiederverwendbares Funktionslernen und Refactoring.

Erfahre, wie ACADL das Modellieren für KI-Hardware-Beschleuniger vereinfacht.

Ein neues Modell unterstützt effiziente Kommunikation in choreografischer Programmierung.

SPViz ermöglicht massgeschneiderte Visualisierungstools für ein besseres Verständnis von Softwareprojekten.

Diese Arbeit untersucht, wie LLMs die Schwachstellenerkennung im Java-Code verbessern.

ACAI vereinfacht das Datenmanagement und die Jobausführung für Machine-Learning-Profis.

Dieses Papier untersucht Prompt-Injektionen und ihre Auswirkungen auf KI-Modelle.

PSSR2 verbessert die Bildqualität und Zugänglichkeit für Mikroskopieforschung.

Lern, wie man Systeme erstellt, die von Anfang an benutzerfreundliches Design priorisieren.

Eine neue Methode verbessert die Testgenerierung mit grossen Sprachmodellen für eine bessere Abdeckung.

Die Softwaretests für Studenten durch Gamifizierung spannend machen.

Dieser Artikel beschäftigt sich mit Methoden, um GPT-3.5 effektiv für die Automatisierung von Code-Reviews zu nutzen.

Die Kombination von LLMs und formaler Verifikation, um die Programmiergenauigkeit und Effizienz zu verbessern.

Ein Tool, das Selenium und JUnit 5 kombiniert, um Tests von Webanwendungen zu optimieren.