27 Arbeiten
Diese Arbeit stellt eine modulare, in Scala 3 integrierte Bibliothek namens JoinActors vor, die durch den Einsatz von Metaprogrammierung eine benutzerfreundliche API für Join-Muster bietet und durch ihre Erweiterbarkeit den systematischen Vergleich sowie die performante Optimierung verschiedener Matching-Algorithmen ermöglicht.
Diese Arbeit stellt eine neue, amortisierte Technik vor, die mittels eines leichtgewichtigen Ansatzes eine Teilmenge von Typannotationen entlang des Datenflusses auswählt, um die Laufzeitleistung in graduell typisierten Programmen (am Beispiel von Reticulated Python) zu verbessern und gleichzeitig kompilierte Zeiten stabil zu halten.
Die Arbeit stellt iScript vor, ein spezialisiertes Large Language Model und einen umfassenden Benchmark für die Generierung von Tcl-Skripten im physischen Chipdesign, die durch eine mehrstufige Daten-Synthesepipeline und eine zweistufige Validierung entwickelt wurden, um die Datenknappheit und hohen Zuverlässigkeitsanforderungen in EDA-Flows zu bewältigen.
Diese Arbeit stellt SCORE, eine Programmiersprache zur Manipulation von Variablen und Stacks, vor, deren Operationen mithilfe eines Beweisassistenten als totale Bijektionen zertifiziert werden, um reversible Berechnungsmodelle zu ermöglichen, die für die Untersuchung der Komplexitätstheorie essenziell sind.
Diese Arbeit stellt eine neue Gleichheitstheorie für den I-Kalkül vor, die auf sogenannten Ohana-Bäumen basiert, welche versteckte Variablen erfassen, und verbindet diese durch einen Kommutativitätssatz mit der Taylor-Entwicklung sowie einem neuartigen relationalen Typsystem.
Die Studie stellt „agentic code reasoning" mit einer semi-formalen Methode vor, die durch strukturierte Beweisführung die Genauigkeit von LLM-Agenten bei der Analyse von Code-Semantik ohne Ausführung in Aufgaben wie Patch-Äquivalenz, Fehlerlokalisierung und Code-Fragebeantwortung signifikant verbessert.
Die Autoren stellen SpotIt+ vor, ein Open-Source-Tool zur Evaluierung von Text-to-SQL-Systemen, das durch die Kombination von regelbasiertem Constraint-Mining und LLM-Validierung realistische Datenbankinstanzen generiert, um effektiv Unterschiede zwischen generierten und Gold-SQL-Abfragen aufzudecken, die bei herkömmlichen Testverfahren unentdeckt bleiben.