Abstract: Web data is revolutionizing the social sciences. Researchers envision a diverse range of studies facilitated by the unique properties of web data -- its scale, ecological validity, timeliness. With the wide...
Abstract: Web data is revolutionizing the social sciences. Researchers envision a diverse range of studies facilitated by the unique properties of web data -- its scale, ecological validity, timeliness. With the wide...
Abstract: The goal of my research is to study how individual perform self-experiments, which are experiments that they conduct on themselves such as testing how coffee affects their sleep. Based on that, we build behavior...
Abstract: Online question-and-answer (Q&A) communities, like Stack Overflow, have norms that are not obvious to all users. For example, novice users create and post programming questions without feedback, and the...
Abstract: Users often fall for phishing emails, reuse simple passwords, and fail to effectively utilize "provably" secure systems. These behaviors expose users to significant harm and frustrate industry practitioners and...
Abstract: Privacy and security concerns are growing rapidly thanks to ubiquitous data collections by IoT devices. One way to alleviate such concerns is to design privacy assistants that provide users with transparency...
Abstract: Interactive theorem provers make it possible to prove that a program satisfies a specification. This provides a high degree of certainty that the program is trustworthy. The last two decades have marked a new...
Abstract: Software bugs, leading to correctness or security issues, are pervasive in modern software. Fuzzing or fuzz testing is a method to find such bugs automatically by sending many random-looking inputs to the...
Abstract:
Detecting concurrency bugs can be challenging due to the intricacies associated with their manifestation. These intricacies correspond to identifying the methods that need to be invoked concurrently, the...
Winter Session: Holiday Break
Holiday - New Year's Day
Campus Closed