Kale: Een Transformatie-Veilig Spreadsheet-Systeem
05-09-2026 16:36 • Design • Michael Coblenz, Jacob Yim, Ajinkya Bokade, Mounika Padala, Julia Epshtein, Priyanka Bhatia, Piyush Chauhan, Simran Gill, Aniket Gupta, Grishma Gurbani, Vaibhav Khetan, Arushi Munjal, Jeffery Tung, Joanna Yang • https://arxiv.org/abs/2608.26345
Dit artikel bespreekt de risico's van standaard referentie-semantiek in spreadsheets, waarbij wijzigingen in de tabelstructuur vaak leiden tot onbedoelde fouten in formules. Om dit op te lossen, presenteren de auteurs Kale, een prototype-systeem dat het risico op dergelijke bugs elimineert door de soorten toegestane verwijzingen te beperken. De effectiviteit van Kale is aangetoond via een gebruikersstudie en een corpusstudie, waaruit blijkt dat het systeem taken die in traditionele spreadsheets foutgevoelig zijn, op een veilige manier kan uitvoeren.
Kale: Een Transformatie-Veilig Spreadsheet-Systeem
Michael Coblenz
Jacob Yim
Ajinkya Bokade
Mounika Padala
Julia Epshtein
Priyanka Bhatia
Piyush Chauhan
Simran Gill
Aniket Gupta
Grishma Gurbani
Vaibhav Khetan
Arushi Munjal
Jeffery Tung
Joanna Yang
Abstract
Spreadsheet-formules kunnen verwijzen naar rechthoekige bereiken van willekeurige grootte. Wanneer een gebruiker de structuur van een referentietabel wijzigt, werkt het spreadsheet-systeem de verwijzingen bij om naar een nieuw bereik te verwijzen. Helaas kan dit nieuwe bereik afwijken van de verwachtingen van de gebruiker, wat bugs in de spreadsheets introduceert.
Wij beschrijven een gebruikersstudie die aantoont dat standaard referentie-semantiek foutgevoelig is, wat resulteert in aanzienlijke risico's voor gebruikers. Wij introduceren Kale, een prototype-systeem dat het risico op het introduceren van dit soort bugs elimineert door de soorten verwijzingen die kunnen worden uitgedrukt te beperken. We tonen aan dat Kale effectief door gebruikers kan worden ingezet om taken te voltooien die in traditionele spreadsheet-systemen foutgevoelig zijn. Ten slotte beschrijven we een corpusstudie die evalueert in hoeverre de referentiebeperkingen in Kale implicaties kunnen hebben voor gebruikers.
Onderwerpen
Mens-computerinteractie (cs.HC)
Software Engineering (cs.SE)
Auteurs:
Kale: Een Transformatie-Veilig Spreadsheet-Systeem
Michael Coblenz
Jacob Yim
Ajinkya Bokade
Mounika Padala
Julia Epshtein
Priyanka Bhatia
Piyush Chauhan
Simran Gill
Aniket Gupta
Grishma Gurbani
Vaibhav Khetan
Arushi Munjal
Jeffery Tung
Joanna Yang
Abstract
Spreadsheet-formules kunnen verwijzen naar rechthoekige bereiken van willekeurige grootte. Wanneer een gebruiker de structuur van een referentietabel wijzigt, werkt het spreadsheet-systeem de verwijzingen bij om naar een nieuw bereik te verwijzen. Helaas kan dit nieuwe bereik afwijken van de verwachtingen van de gebruiker, wat bugs in de spreadsheets introduceert.
Wij beschrijven een gebruikersstudie die aantoont dat standaard referentie-semantiek foutgevoelig is, wat resulteert in aanzienlijke risico's voor gebruikers. Wij introduceren Kale, een prototype-systeem dat het risico op het introduceren van dit soort bugs elimineert door de soorten verwijzingen die kunnen worden uitgedrukt te beperken. We tonen aan dat Kale effectief door gebruikers kan worden ingezet om taken te voltooien die in traditionele spreadsheet-systemen foutgevoelig zijn. Ten slotte beschrijven we een corpusstudie die evalueert in hoeverre de referentiebeperkingen in Kale implicaties kunnen hebben voor gebruikers.
Onderwerpen
Mens-computerinteractie (cs.HC)
Software Engineering (cs.SE)
Zichtbare categorieën
Kies welke categorieën je wilt zien.
Over deze site
Waarom Tech-update?
Tech-update is ontstaan omdat ik merkte dat ik dagelijks veel verschillende websites moest bezoeken om interessant technieuws te vinden. Dat kon efficiënter.
Hoe werkt het?
Meerdere keren per etmaal gaat mijn zelfgebouwde AI-agent op zoek naar interessante artikelen op blogs en nieuwssites.
Vindt hij iets relevants, dan wordt het artikel naar het Nederlands vertaald en op Tech-Update geplaatst.
Van ieder artikel maakt de AI ook een korte samenvatting. Zo kun je snel bepalen of het de moeite waard is om het volledige artikel te lezen.
Bij ieder artikel staat altijd een link naar de oorspronkelijke bron (vaak een Engelstalige website).
Artikelen kun je bewaren als favoriet, vastzetten in de zijbalk of terugvinden via de zoekfunctie.
In de instellingen (tandwielikoon rechtsboven) geef je aan in welk soort nieuws je geïnteresseert bent.
Groetjes,