Now showing items 1-5 of 753

    • Collective Relational Data Integration with Diverse and Noisy Evidence 

      Memory, Alexander (2019)
      Driven by the growth of the Internet, online applications, and data sharing initiatives, available structured data sources are now vast in number. There is a growing need to integrate these structured sources to support a ...
    • Collective Relational Data Integration with Diverse and Noisy Evidence 

      Memory, Alexander (2019)
      Driven by the growth of the Internet, online applications, and data sharing initiatives, available structured data sources are now vast in number. There is a growing need to integrate these structured sources to support a ...
    • Improving the Usability of Static Analysis Tools Using Machine Learning 

      Koc, Ugur (2019)
      Static analysis can be useful for developers to detect critical security flaws and bugs in software. However, due to challenges such as scalability and undecidability, static analysis tools often have performance and ...
    • Identifying Semantic Divergences Across Languages 

      Vyas, Yogarshi (2019)
      Cross-lingual resources such as parallel corpora and bilingual dictionaries are cornerstones of multilingual natural language processing (NLP). They have been used to study the nature of translation, train automatic machine ...
    • Higher-order Symbolic Execution 

      Nguyen, Phuc (2019)
      There are multiple challenges in designing a static verification system for an existing programming language. There is the technical challenge of achieving soundness and precision in the presence of expressive language ...