Computerwissenschaften - Programmiersprachen

Dieser Artikel erklärt die Herausforderungen des Polyglot-Programmierens und stellt eine neue Analysemethode vor.

Eine Programmiersprache, die für GPUs Speichersicherheit garantiert.

CHAMELEON verbessert das Management von Modellen in Low-Code-Plattformen für eine bessere Softwareentwicklung.

Erfahre, wie Egg-smol e-Graphs für Python-Entwickler zugänglich macht.

Eine neue Methode verbessert, wie Entwickler effektiv nach Code-Mustern suchen.

Ein Rahmenwerk, um die Programmkorrektheit sicherzustellen und Fehler effektiv anzugehen.

Maschinenlernmodelle helfen dabei, Bugs in der Nebenläufigkeit zu finden, um die Software-Sicherheit zu verbessern.

TyRE verbessert das Regex-Parsen mit Typensicherheit und strukturiertem Output.

Symbolische Ausführung ist ne coole Technik, um Software-Bugs effizient zu finden.

Eine Einführung in geschichtete modale Typentheorien und deren Anwendungen in der Programmierung.

Dieser Artikel analysiert, wie ChatGPT im Vergleich zu menschlichen Programmierern in einem globalen Wettbewerb abschneidet.

Hier ist ein Tool, das matrixbezogene Aufgaben in der Datenanalyse verbessert.

Ein Blick auf den contention-friendly Binary Search Tree und seine Effizienz.

Ein Überblick über Parser-Kombinatoren und die Wichtigkeit, ihre Genauigkeit zu überprüfen.

Erkunde, wie automatische Differenzierung und Prolog in verschiedenen Bereichen zusammenarbeiten.

Lerne, wie Rely-Guarantee-Argumentation die Programminteraktion ohne Konflikte verbessert.

Dieses Papier stellt eine Notation vor, um die Verwaltung von sequenziellen und parallelen Programmieraufgaben klarer zu gestalten.

Forschung zeigt, dass Sprachmodelle sinnvolle Inhalte aus Programmiersprachen lernen können.

Die Komplexität und Lösungen bei der Steuerung des Datenflusses in der Quantencomputerei untersuchen.

Eine statische Analyse-Methode verbessert die Protokollformat-Erkennung für bessere Netzwerksicherheit.

Diese Arbeit überprüft die Zuverlässigkeit einer parallelen Datenstruktur für Prozessoren.

Die Untersuchung der Komplexität von Äquivalenz im typisierten Lambda-Kalkül, besonders im sicheren Lambda-Kalkül.

Eine neue Methode verbessert die Analyse der Protokollsicherheit für besseren Schutz.

Untersuchen, wie Compiler die WebAssembly-Leistung und Codequalität beeinflussen.

Das Hydro-Projekt will das Programmieren für verteilte Systeme einfacher machen.

ChipGPT macht Chipdesign einfacher, indem es alltägliche Sprache für Ingenieure verwendet.

Dieser Artikel behandelt datenparallele Algorithmen für String-Diagramme, wobei der Fokus auf deren Darstellung und Manipulation liegt.

Dieser Artikel untersucht, wie Transformer rekursive Funktionen bei Programmieraufgaben lernen.

Unsicherheit mit probabilistischen Modellen in verschiedenen Bereichen analysieren.

Eine neue Methode zur Überprüfung von Kommunikationsprotokollen in Mehrparteiensystemen mithilfe von Automaten.

Erkunde die Herausforderungen und Lösungen für parallele Programme in schwachen Speichermodellen.

Erforschung von Termumformungen in der parallelen Berechnung für effiziente Datenverarbeitung.

Farbige E-Grafiken verbessern das logische Denken, indem sie den Speicherverbrauch reduzieren und die Geschwindigkeit erhöhen.

Dieses Papier präsentiert ein formelles Modell für sichere Berechnungen in der C-Sprache.

Ein Superoptimierer verbessert die SIMD-Befehlseffizienz in LLVM und steigert so die Programmausführung.

Eine neue Graphdarstellung verbessert, wie maschinelles Lernen Programmiersprachen analysiert.

FreeCHR bietet einen einheitlichen Ansatz für Constraint Handling Rules in verschiedenen Programmiersprachen.

Eine neue Methode zum Erstellen von Invarianten in schwierigen Schleifenstrukturen.

Ein Blick auf Methoden zur Überprüfung von dynamischer Bindung in der Programmierung.

LambdaBeam verbessert die Programmierung, indem es komplexe Funktionen und Schleifen effizient behandelt.