..

Uva

• 2025-11-07 Deep Dive into LLMs like ChatGPT
• 2025-11-07 Assertion Generation
• 2025-11-07 Active Measurement
• 2025-11-05 Summary of LLM's verilog knowledge
• 2025-11-04 Finetuning GPT and Claude
• 2025-11-03
• 2025-11-03 Verifiable Delay Functions
• 2025-11-02 Claude
• 2025-10-31 Comparison of Signing in vs signing out in Chatgpt responses
• 2025-10-29 Standard coding benchmarks for LLMs
• 2025-10-28
• 2025-10-28 Network Layers
• 2025-10-23 How well do LLMs understand verilog
• 2025-10-23 Does having access to RTL change the metrics being used?
• 2025-10-22 Branch Prediction
• 2025-10-22 LLM's understanding of verilog, assertions and assertion generation
• 2025-10-22 GNN
• 2025-10-21 SCION
• 2025-10-19 Possible Metrics of ranking Assertions
• 2025-10-16 HARM: A Hint-Based Assertion Miner
• 2025-10-14 Project Ideas
• 2025-10-13 Building HARM
• 2025-10-06 CS6316 Project Ideas
• 2025-09-30 The Design of the Microarchitecture of UltraSPARC
• 2025-09-30 Introducing the IA-64 Architecuture
• 2025-09-08 How to Read a Paper
• 2025-09-04 How to read a paper?
• 2025-09-02 H&P Chapter 1.9
• 2025-08-26 Number Theory Berkeley Math 115
• 2025-08-26 What is the Internet
• 2025-08-26 Computer Networking - A top down approach
• 2025-08-25 Computer Architecture
• 2025-08-25 Computer Networks
• 2025-08-25 Machine Learning
• 2025-08-25 Introduction to Cryptography
• 2025-08-25 Computer Science Perspectives
• 2025-08-25 Fall 2025 MOC
• 2025-08-25 Appian Acing Your Interview Workshop (Virtual) Career Prep Series
• 2025-08-21 Are we still Bayesians with big models
• 2025-08-16 Career Center Map of Contents
• 2025-08-16 UVA Map of Contents
• 2025-08-14 Technical Interviewing Workshop with Holly Zhou
• 2025-08-13 Career Launch- Recruiting Prep for New Transfers & Grads(Tentative)
• 2025-08-11 Linkedin for Engineers and CS students

---