Friday, April 5, 2024

• • 1:00 pm
    
  • 0216

  Security Seminar: Falling Stars: How Reputation Systems Fail in Practice

  • Seminar/Symposium
• • 2:00 pm
    
  • Siebel 0218

  Formally verifying the functional correctness of Path Oblivious RAM & Enhancing Coverage-Guided Fuzzing via Phantom Program

  • Seminar/Symposium
• • 2:00 pm
    
  • 1214 Siebel Center

  Integrating Human Knowledge in Machine Learning Models and Explanations

  • Seminar/Symposium
• • 3:00 pm
    
  • Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3102

  On Approximability of Satisfiable CSPs

  • Seminar/Symposium

Thursday, April 18, 2024

• • 1:00 pm
    
  • Thomas M. Siebel Center for Computer Science SC 2405

  Controlling (AI-based) Computing Systems

  • Lecture

Friday, April 19, 2024

• • 2:00 pm
    
  • 1214 Siebel Center

  Integrating Human Knowledge in Machine Learning Models and Explanations

  • Seminar/Symposium
• • 2:00 pm
    
  • 0216 Siebel Center

  Neural Abstract Interpretation & CodeMind: A Framework to challenge LLMs for Code Reasoning

  • Ceremony/Service

Monday, April 22, 2024

• • 11:00 am
    
  • Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3401

  Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets

  • Seminar/Symposium

Friday, April 26, 2024

• • 2:00 pm
    
  • Siebel 2405

  The End of Programming Is a New Beginning for Verification

  • Seminar/Symposium

Tuesday, April 30, 2024

• • 4:00 pm
    
  • Thomas M. Siebel Center for Computer Science SC 2405

  Alex Hoover "Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs"

  • Lecture