27 papers
Dit artikel introduceert en evalueert een verbeterde, modulaire versie van de JoinActors-bibliotheek voor Scala 3, die ontwikkelaars een gebruiksvriendelijke API biedt voor joinpatronen en tegelijkertijd een flexibel raamwerk biedt voor het vergelijken en optimaliseren van verschillende matching-algoritmes met aanzienlijke prestatiewinst.
Dit artikel presenteert een nieuwe, lichtgewicht techniek voor het selecteren van een subset van typeannotaties in gradueel getypeerde programma's, die de uitvoeringssnelheid verbetert door runtime-casts te minimaliseren en tegelijkertijd de compilatietijd stabiel en kort houdt in vergelijking met bestaande methoden.
Dit paper introduceert iScript, een domein-aangepast LLM en bijbehorende benchmark die via een multi-stap data-synthesepijplijn en een tweestaps-verificatieframework effectief Tcl-scripts voor fysiek ontwerp genereert, waardoor de prestaties van bestaande modellen op dit gebied aanzienlijk worden verbeterd.
Dit paper introduceert SCORE, een programmeertaal voor het manipuleren van variabelen en stacks, en bewijst met behulp van een bewijshulpmiddel dat alle operaties in deze taal totale bijecties zijn, waardoor het een reversibel computationeel model biedt dat geschikt is voor het bestuderen van computationele complexiteit.
Dit paper introduceert een nieuwe theorie voor de I-calculus, gebaseerd op "Ohana-trees" die vergeten variabelen vasthouden, en bewijst de consistentie daarvan via Taylor-ontwikkeling en een aangepast relationeel denotationeel model.
Dit paper introduceert 'semi-formal reasoning', een gestructureerde promptmethode die de nauwkeurigheid van LLM-agents bij het redeneren over code zonder uitvoering aanzienlijk verbetert voor taken zoals patchverificatie, foutlokaliseren en codevragen.
SpotIt+ is een open-source tool die Text-to-SQL-systemen evalueert door middel van gebonden equivalentieverificatie en een door LLM's ondersteunde constraint-mining pipeline om realistische database-instanties te genereren die verschillen tussen gegenereerde en grondware SQL-query's blootleggen.