Breadcrumb

Events

March 15, 2024 @ 11:00 am
Bourns A125
Abstract: Researchers have rightfully been concerned about preventing memory errors, but in doing so have ignored methods to improve the security of the parts of the program that are already memory safe. We propose techniques to perform comprehensive memory safety validation that identify the program objects whose accesses…
January 26, 2024 @ 11:00 am
Bourns A125
Abstract: Binary decision diagrams (BDDs) are directed acyclic graphs used to represent functions over boolean variables. They have enjoyed widespread success in a number of domains, including hardware verification, model checking, and combinatorial problems. This talk presents RexBDDs, a form of BDDs that can exploit…
January 19, 2024 @ 11:00 am
Bourns A125
Abstract: Increasingly countries and regions have strict laws and regulations to protect the privacy of personal data. For example, the states of the European Union (EU) enforce the General Data Protection Regulations (GDPR) to protect personal data of individuals living in the EU. Much research has focused on preserving the…
January 12, 2024 @ 11:00 am
Bourns A125
Abstract:  Domain Name System (DNS) is a fundamental infrastructure that supports almost all sorts of Internet activities. However, service failures and breach of DNS are not rare, though DNS was designed under the goals like resiliency from the very beginning. We argue one main reason is that the DNS ecosystem has become…
December 08, 2023 @ 11:00 am
Student Success Center (SSC) 335
Abstract: The proliferation of spatial data from modern and increasingly prevalent technologies has resulted in large datasets ripe for extracting insightful knowledge that can drive many applications. The most common datasets indexed by Google Dataset Search come from geosciences and social sciences, with 14 million datasets…
December 01, 2023 @ 11:00 am
Student Success Center (SSC) 335
Abstract: We consider the classical metric k-median clustering problem over a set of input rankings (i.e., permutations), which has myriad applications, from social-choice theory to web search and databases. A folklore algorithm provides a 2-approximate solution in polynomial time for k=O(1) and works irrespective of the…
November 30, 2023 @ 1:00 pm
Bourns A265
Abstract: Modern software critically relies on reusable, open source software packages, especially for JavaScript. They enable fast development of advanced applications, but also introduce major challenges with incompatibilities, security vulnerabilities, and breaking changes. In this talk, I will describe ongoing work on…
November 03, 2023 @ 11:00 am
Student Success Center (SSC 335)
Abstract: Most of what we humans do happens on the earth and has some sort of location, geometry, and topology information associated with it. This information, also referred to as geospatial information, has been around for centuries helping us navigate and manage the land, seas, and skies. Current geospatial data is digital,…
October 27, 2023 @ 11:00 am
Student Success Center 335 (SSC 335)
Abstract: In this talk, I will discuss how our work has overcome some complex challenges in tackling modern socio-technical problems on the Web. Using concrete examples from our research, I will delve into some of the unique datasets we have collected and analyses we have performed, focusing on emerging issues like hate speech,…
October 20, 2023 @ 11:00 am
Student Success Center 335 (SSC 335)
Abstract: In this talk, I will describe several recent and ongoing projects that apply deep neural networks to the analysis of large compendia of biological data. The first two projects operate on protein tandem mass spectrometry data. We first show how a Siamese architecture can be trained in a supervised fashion to embed…
Let us help you with your search