Recent Submissions

  • Using Consumer Devices to Monitor Acute Medical Conditions for Infants 

    de Greef, Lilian
    Acute medical conditions need immediate attention, but early detection can require professional experience and specialized equipment that are unavailable at home. Consequently, babies with such conditions risk suffering ...
  • Automated Reasoning of Database Queries 

    Chu, Shumo
    From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. This thesis describes Cosette, the first tool for automated reasoning the equivalences of SQL queries. The ...
  • Mechanism Design for a Complex World: Rethinking Standard Assumptions 

    Goldner, Kira
    The data used as input for many algorithms today comes from real human beings who have a stake in the outcome. In order to design algorithms that are robust to potential strategic manipulation, the field of algorithmic ...
  • Connecting End Users to Domain Experts With Universal Mobile Phones Services 

    Perrier, Trevor
    The potential for communication services available on any mobile phone to engage users, disseminate information, and facilitate behavior change has been well documented. Designing using universal applications based on SMS ...
  • Building and Querying Probabilistic Models for Open World Database Systems 

    Orr, Laurel
    A fundamental assumption of traditional database management systems is that the database contains all information necessary to answer a query; i.e., the database contains the entire population of data. However, with the ...
  • Explainable Machine Learning for Science and Medicine 

    Lundberg, Scott
    Understanding why a machine learning model made a certain prediction can be as crucial as the prediction's accuracy in many scientific and medical applications. However, the highest accuracy for large modern datasets is ...
  • Optimizing the Automated Programming Stack 

    Bornholt, James
    The scale and pervasiveness of modern software poses a challenge for programmers: software reliability is more important than ever, but the complexity of computer systems continues to grow. Automated programming tools are ...
  • Social Computing for Social Good in Low-Resource Environments 

    Vashistha, Aditya
    Mainstream social computing technologies---like social media platforms, online discussion forums, or crowdsourcing marketplaces---have transformed how people participate in the information ecology and digital economy. They ...
  • Co-Designing Distributed Systems with Programmable Network Hardware 

    Li, Jialin
    The unprecedented scale and demand of today’s datacenter applications present tremendous challenges to the design of distributed systems. These systems need to handle the immense and unpredictable user traffic, remain ...
  • Automated Reasoning for Web Page Layout 

    Panchekha, Pavel
    Web pages define their appearance using Cascading Style Sheets. However, the CSS language's quirks and subtleties make it difficult for designers to write, debug, and test CSS to implement their designs. Additionally, web ...
  • Structured Deep Visual Dynamics Models for Robot Manipulation 

    Byravan, Arunkumar
    The emergence of deep learning, access to large amounts of data and powerful computing hardware have led to great strides in the state-of-the-art in robotics, computer vision, and AI. Unlike traditional methods that are ...
  • Learning To Understand Entities In Text 

    Choi, Eunsol
    Real world entities such as people, organizations and countries play a critical role in text. Reading text offers rich information about these entities, both explicit, such as historical facts and scientific findings, and ...
  • Scalable and Intelligent Learning Systems 

    Chen, Tianqi
    Data, models, and computing are the three pillars that enable machine learning to solve real-world problems at scale. Making progress on these three domains requires not only disruptive algorithmic advances but also systems ...
  • Practical, Efficient, and Reliable Data Center Communication 

    Zhuo, Danyang
    Data center communication is a key aspect of cloud computing, as it interconnects all the data center resources. It facilitates resource sharing among servers and has become critical for constructing distributed systems ...
  • Understanding Problem Solving and Collaboration in Open-Ended Environments 

    Bauer, Aaron William
    Countless human pursuits depend upon creative problem solving, especially in complex, open-ended domains. As technological support for doing this kind of work in online digital environments grows, an opportunity exists to ...
  • Automated Reasoning for Web Page Layout 

    Panchekha, Pavel
    Web pages define their appearance using Cascading Style Sheets. However, the CSS language's quirks and subtleties make it difficult for designers to write, debug, and test CSS to implement their designs. Additionally, web ...
  • Performance-Based Service Level Agreements for Data Analytics in the Cloud 

    Ortiz, Jennifer
    A variety of data analytics systems are available as cloud services today, such as Amazon Elastic MapReduce (EMR) and Azure Data Lake Analytics. To buy these services, users select and pay for a given cluster configuration ...
  • Moving from Passwords to Authenticators 

    Takakuwa, Alex
    Humans have used passwords for access control since ancient times. Upon the advent of the internet, passwords naturally transitioned to the web and have since become the standard mode of web authentication. However, over ...
  • Securing the Future of Biotechnology: A Study of Emerging Bio-Cyber Security Threats to DNA-Information Systems 

    Ney, Peter Martin
    Advances in biotechnology have made DNA manipulation and information processing ubiquitous. It is now an essential tool in many fields including medicine, genomics, forensics, and bioengineering. DNA technology increasingly ...
  • Understanding Challenges in the Data Pipeline for Development Data 

    Pervaiz, Fahad
    The developing world is relying more and more on data driven policies. Numerous development agencies have pushed for on-ground data collection to support the development work they pursue. Many governments have launched ...

View more