15 citations · 23 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 cited
Detecting Missing Dependencies and Notifiers in Puppet Programs
Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Puppet is a popular computer system configuration management tool. It provides abstractions that enable administrators to setup their computer systems declaratively. Its use suffer…
cs.PL2019
Static Analysis for Asynchronous JavaScript Programs
Thodoris Sotiropoulos, Benjamin Livshits
Asynchrony has become an inherent element of JavaScript, as an effort to improve the scalability and performance of modern web applications. To this end, JavaScript provides progra…