Computer Science

CS Department Seminar: Enforcing Abstraction with Artificial Bottlenecks for Complex Machine Reasoning

Human reasoning comes from trial and error on an abstract level: we learn from past experiences, conceptualize atomic operations and notions, and recompose them in new situations and scenarios. Such abstraction and conceptualization are the key sources of generalization.

CS talk: Static Analysis for Android GDPR Compliance Assurance

Abstract

Many Android applications collect data from users. When they do, they must protect this collected data according to the current legal frameworks.

CS Department Alumni Update

As a valued graduate of the UC Davis Department of Computer Science, we invite you to a special virtual discussion with Department Chair Dipak Ghosal.

CS Recruitment "Talk": Tapti Palit: Postdoctoral Research Associate (CRA Computing Innovation Fellow, Purdue University-Main Campus)

Many security mitigation techniques rely on program analysis. Languages such as C/C++ support the use of pointers for indirect memory accesses.

CS Recruitment Talk: Yang Zhou, Harvard University

Network-Application Co-design for Efficient Datacenters Bio

Yang Zhou is a Ph.D. candidate in computer science at Harvard University, advised by Minlan Yu and James Mickens.

CS Recruitment "Talk": Amanda Raybuck; Graduate Research Assistant/Ph.D. Candidate, The University of Texas at Austin

Datacenter applications continue to demand more memory. To help meet these demands, new hardware has come available. Memory technologies such as non-volatile memory (NVM), High Bandwidth Memory (HBM), and Compute eXpress Link (CXL) can help address the memory needs of applications.

CS Department Seminar: Enforcing Abstraction with Artificial Bottlenecks for Complex Machine Reasoning

CS talk: Static Analysis for Android GDPR Compliance Assurance

CS Department Alumni Update

CS Recruitment "Talk": Tapti Palit: Postdoctoral Research Associate (CRA Computing Innovation Fellow, Purdue University-Main Campus)

CS Recruitment Talk: Yang Zhou, Harvard University

CS Recruitment "Talk": Amanda Raybuck; Graduate Research Assistant/Ph.D. Candidate, The University of Texas at Austin

CS Recruit Talk: Replicability in Machine Learning

CS Recruiting Talk: What Can Cryptography Do For Decentralized Mechanism Design?

CS Seminar: AI for Social Good: Unveiling the Potential for Positive Impact through Human-AI Interactions

CS Colloquium: Tom Reps: Context-Free-Language Ordered Binary Decision Diagrams