Home of the U.Va Computer Science
DepartmentCS at U.Va.
The U.Va. Department of Computer Science is a nationally recognized leader in computer science research and education. Our department includes 25 faculty members, 100 graduate students and 300 undergraduates. Faculty are active in fundamental computer science and engineering research and are engaged in interdisciplinary initiatives with scientists, humanists, engineers in other disciplines and medical personnel.
Our graduate students transition from students to collaborators through participation in world-class research projects. Our undergraduates are involved in research and are enriched by an integrated and challenging curriculum.
Features:
Colloquia
- Daniel Williams - Tuesday, May 15, 2012 Persistent Storage for Program Metadata
- Xiaoyuan Wang - Tuesday, May 1, 2012 Defeating Malware Obfuscation by Application Level Virtualization
- Lingjia Tang - Friday, April 27th, 2012 Mitigating Resource Contention in Warehouse Scale Computers
- Zhiheng Xie - Wednesday, April 25th, 2012 Decentralized Infrastructure-free Accurate Collaborative Localization for Firefighters
- Jason Mars - Thursday, April 26, 2012 Rethinking the Architecture of Warehouse-Scale Computers
- Xiang Yin - Tuesday, April 24, 2012 Echo: Practical Formal Verification by Reverse Synthesis
- Michael Boyer - Wednesday, April 18, 2012 Dynamic Rate Matching in Heterogeneous Systems
- Ray Buse - Tuesday, April 17, 2012 Automatically Describing Program Structure and Behavior
- Pieter Hooimeijer - April 16, 2012 Decision Procedures for String Constraints
- Arkaitz Ruiz Alvarez - April 16, 2012 Automated Data Management in Cloud Computing
- Krasimira Kapitanova - Wednesday, April 11, 2012 Robust Real-Time Event Services in Wireless Sensor Networks
- Joel Coffman - Tuesday, April 10, 2012 Creating Deployable Relational Keyword Search Systems
- Jiawei Huang - Friday, April 6, 2012 A Digital System Design Methodology for Efficiency-Quality Tradeoffs Using Imprecise Hardware
- Liang Wang - Friday, March 30, 2012 Mitigating Dark Silicon with Near-Threshold Computing
- Ryan Layer - Thursday, March 29, 2012 Binary Interval Search (BITS): A Massively Parallel Interval Intersection Algorithm
- Michelle McDaniel - Friday, March 16, 2012 Assessing the Opportunities for Reactive Code Alignment
- Ben Rodes - Tuesday, February 21, 2012 Diversification of Stack Layout in Binary Programs Using Dynamic Binary Translation
- Yafeng Wu - Wednesday January 25, 2012 Reliability Solutions in Wireless Sensor Networks
- Nathanael Paul, Oak Ridge National Labs / University of Tennessee, Monday, January 23, 2012 Trustworthy Systems from (Un)trusted Components
- Benjamin Kreuter - Monday, January 9, 2012 Efficient use of Hybrid Symmetric/Fully Homomorphic Encryption
News
- Congratulations to Peter Chapman who was just awarded an NSF Graduate Fellowship, a most prestigious honor.
- Congratulations to Chris Gregg who just won the 2011-2012 All-University Graduate Teaching Assistant Award in Math, Science and Engineering.
- Visiting Brazilian Student Catching On to U.Va. Life, UVA Today, Jan. 31, 2012
- Congratulations to Claire Le Goues and Wesley Weimer whose paper was selected for TSE's featured article for the January/Feb issue.
- George Necula, Scott McPeak and Westley Weimer have won the POPL Most Influential paper for 2012 for their paper "CCured: type-safe retrofitting of legacy code."
- Congratulations to Jason Mars, Lingjia Tang, Kevin Skadron and Mary Lou Soffa. Their paper "Increasing Utilization in Modern Warehouse Scale Computers via Sensible Co-locations" was selected as a Micro Top Picks for 2012.
- Kamin Whitehouse makes the New York Times
- Mary Lou Soffa Receives Anita Borg Technical Leadership Award
- Kevin Skadron Wins Award for Computer Architecture Research
- Rice Hall Information Technology Engineering Building Dedication, Friday, November 18, 2011
- Jack Stankovic was invited to serve as a member of the National Academies' Computer Science and Telecommunications Board
- U.Va. Team Awarded $3 Million NSF Secure Computation Grant
- CS Fall 2011 Newsletter