Neue Techniken verbessern die Überprüfung komplexer Computerprogramme für zuverlässige Leistung.
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen
― 6 min Lesedauer
Computerwissenschaften - Programmiersprachen
RSSNeueste Artikel
Kryptographie und SicherheitDie Sicherheitsrisiken von Code-Vervollständigungs-Tools
Slobodan Jenko, Jingxuan He, Niels Mündler
― 6 min Lesedauer
Hardware-ArchitekturIntegration grosser Sprachmodelle in die Compiler-Entwicklung für Tensorbeschleuniger
Charles Hong, Sahil Bhatia, Altan Haan
― 7 min Lesedauer
ProgrammiersprachenBeziehungsprogrammierung mit Haskell aufbauen
Nikolai Kudasov, Artem Starikov
― 5 min Lesedauer
Maschinelles LernenOptimierung von Deep Learning Modellen für begrenzte Ressourcen
Inas Bachiri, Hadjer Benmeziane, Smail Niar
― 6 min Lesedauer
ProgrammiersprachenEigentums Konzepte in Low-Level Programmierung vorantreiben
Siddharth Priya, Arie Gurfinkel
― 8 min Lesedauer
Neueste Artikel
Ein Rahmen, um über Programmiersprachen mit Rekursion und Zufälligkeit nachzudenken.
Philipp Jan Andries Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart
― 6 min Lesedauer
Lern, wie man Mainframe-Systeme mit APIs modernisiert, um bessere Integration zu erreichen.
Vini Kanvar, Srikanth Tamilselvam, Keerthi Narayan Raghunath
― 6 min Lesedauer
Ein neuer Algorithmus verbessert die Effizienz bei der Quantenstromkompilierung mit Pauli-Strings.
Qunsheng Huang, David Winderl, Arianne Meijer-van de Griend
― 7 min Lesedauer
TCT bietet eine neue Möglichkeit, Ethereum-Smart Contracts abzusichern.
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 6 min Lesedauer
Ein Verfahren zur automatischen Behebung von Softwarefehlern mit Fokus auf Datenschutz und Sicherheit.
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 8 min Lesedauer
Eine Methode zur Analyse von Programmen, um Fehler zu erkennen und die Zuverlässigkeit zu verbessern.
Tuba Yavuz
― 5 min Lesedauer
Lerne, wie benutzerdefinierte Ableitungen automatische Differenzierungsprozesse in Programmierung und Machine Learning verbessern.
Sam Estep
― 5 min Lesedauer
Eine neue Methode zur Ressourcenschätzung in Quantencomputing-Schaltungen.
Andrea Colledan, Ugo Dal Lago
― 6 min Lesedauer
Tyro verbessert die Identifizierung von Typfehlern für Programmierer, besonders für Anfänger.
Max Kopinsky, Brigitte Pientka, Xujie Si
― 6 min Lesedauer
Ein neues System hilft blinden Nutzern, personalisierte Hilfstechnologie zu erstellen.
Jaylin Herskovitz, Andi Xu, Rahaf Alharbi
― 6 min Lesedauer
Tywaves verbessert die Klarheit und Struktur beim Debuggen von Chisel-Hardware-Designs.
Raffaele Meloni, H. Peter Hofstee, Zaid Al-Ars
― 6 min Lesedauer
Die Probleme bei Kottlins Typensicherheit und mögliche Lösungen anschauen.
Elad Kinsbruner, Hila Peleg, Shachar Itzhaky
― 6 min Lesedauer
Eine neue Methode verbessert die Überprüfung von Sicherheitsmerkmalen in endlichen Instanzen.
Raz Lotan, Eden Frenkel, Sharon Shoham
― 8 min Lesedauer
OpenMP-Tests durch CI/CD verbessern für bessere Softwareleistung.
Aaron Jarmusch, Felipe Cabarcas, Swaroop Pophale
― 5 min Lesedauer
Ein neues Toolchain verbessert die Speichersicherheit für WASM-Anwendungen mit moderner Hardware.
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt
― 7 min Lesedauer
Lern, wie man Spezifikationen für Programme mit komplexem Verhalten erstellt.
Kanghee Park, Xuanyu Peng, Loris D'Antoni
― 5 min Lesedauer
Lern, wie man Heap-Speicher analysiert, um die Programmleistung zu verbessern.
Vini Kanvar, Uday P. Khedker
― 5 min Lesedauer
Dieses Papier behandelt die Bedeutung der Generierung vielfältiger Code-Lösungen.
Heejae Chon, Seonghyeon Lee, Jinyoung Yeo
― 7 min Lesedauer
Eine neue Methode verbessert die Übersetzung über mehrere Programmiersprachen hinweg.
Yali Du, Hui Sun, Ming Li
― 7 min Lesedauer
Lern, wie man effiziente Datenstrukturen für parallele Programmierumgebungen erstellt.
Callista Le, Kiran Gopinathan, Koon Wen Lee
― 8 min Lesedauer
Galley vereinfacht das Programmieren mit spärlichen Tensors und verbessert die Effizienz und Leistung.
Kyle Deeds, Willow Ahrens, Magda Balazinska
― 6 min Lesedauer
Dieses Papier stellt eine Methode vor, um automatisch formale Semantik mit Interpretern zu erstellen.
Jiangyi Liu, Charlie Murphy, Anvay Grover
― 4 min Lesedauer
Ein neues Typsystem für Elixir verbessert die Fehlererkennung und die Code-Klarheit.
Giuseppe Castagna, Guillaume Duboc
― 7 min Lesedauer
MetaFFI verbessert die Integration zwischen verschiedenen Programmiersprachen mühelos.
Tsvi Cherny-Shahar, Amiram Yehudai
― 8 min Lesedauer
Neue Methoden zur effizienten Programmgenerierung erkunden.
Keith J. C. Johnson, Rahul Krishnan, Thomas Reps
― 7 min Lesedauer
Eine neue Methode verbessert die Grammatik-Inferenz für Programmiersprachen mit besserer Genauigkeit und Lesbarkeit.
Feifei Li, Xiao Chen, Xi Xiao
― 8 min Lesedauer
Eine Übersicht über Techniken, um zu prüfen, ob Zahlen durch drei teilbar sind, mit miniKanren.
Brett Schreiber, Brysen Pfingsten, Jason Hemann
― 5 min Lesedauer
Methoden erkunden, um Informationen durch kryptografische Systeme zu schützen.
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
― 7 min Lesedauer
Diese Studie bewertet grosse Sprachmodelle in rumänischen Programmierherausforderungen.
Adrian Marius Dumitran, Adrian Catalin Badea, Stefan-Gabriel Muscalu
― 6 min Lesedauer
Code-Erstellung verbessern, indem Programmierkontext integriert wird für mehr Genauigkeit.
Andrew Blinn, Xiang Li, June Hyung Kim
― 7 min Lesedauer
Untersuchung von LLMs zur Generierung von Audio-Programmiercode mit visuellen Sprachen.
William Zhang, Maria Leon, Ryan Xu
― 5 min Lesedauer
Ein System zum Aufzeichnen und Wiedergeben von Aktionen in WebAssembly-Apps.
Doehyun Baek, Jakob Getz, Yusung Sim
― 7 min Lesedauer
Ein neuer Ansatz zur Optimierung der Points-to-Analyse, der Geschwindigkeit und Genauigkeit ausbalanciert.
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier
― 7 min Lesedauer
Neue Methoden verbessern die Fehlersuche in verteilten Systemen mit Verstärkungslern-Techniken.
Andrea Borgarelli, Constantin Enea, Rupak Majumdar
― 6 min Lesedauer
Das Mischen von Binaries kann Bugs in der parallelen Programmierung verursachen und die Zuverlässigkeit der Software komplizieren.
Luke Geeson, James Brotherston, Wilco Dijkstra
― 6 min Lesedauer
Pawns kombiniert Programmierstile für Effizienz und Klarheit.
Lee Naish
― 7 min Lesedauer
Lern, warum die Überprüfung von Software entscheidend für Zuverlässigkeit und Vertrauen der Nutzer ist.
Daniel Baier, Dirk Beyer, Po-Chun Chien
― 5 min Lesedauer
InvSol verbessert die Sicherheit von Smart Contracts durch fortschrittliche Invarianz-Erstellungstechniken.
Kartik Kaushik, Raju Halder, Samrat Mondal
― 7 min Lesedauer
Lern, wie du ohne den ganzen Schnickschnack an Quantenprogrammierung ran gehst.
Jun Inoue
― 6 min Lesedauer
Ein Blick auf neue Ansätze zur Verbesserung sicherer Programmiermethoden.
Vivian Ding, Coşku Acay, Andrew C. Myers
― 6 min Lesedauer