papers
Publications (2)
eess.SY2020
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance
Rahul Krishna, Chong Tang, Kevin Sullivan +1
Configuration space complexity makes the big-data software systems hard to configure well. Consider Hadoop, with over nine hundred parameters, developers often just use the default…
cs.LO2017
Interpreted Formalisms for Configurations
Chong Tang, Kevin Sullivan, Jian Xiang +2
Imprecise and incomplete specification of system \textit{configurations} threatens safety, security, functionality, and other critical system properties and uselessly enlarges the…