[More Colloquia]

• Luyao Jiang - Thursday, May 16, 2013 Accelerating Reliability Simulation of NAND-Flash Based Solid State Drives
• Adam Brady - Wednesday, May 1, 2013 Synthesizing Novel Reflectance Functions with Genetic Programming
• Ashwin Raghav Mohan Ganesh - Wednesday, May 1, 2013 A Scalable Application-level Distributed Filesystem Notifications Solution
• Zhengyang Liu - Wednesday, May 1, 2013 On causes of GridFTP transfer throughput variance
• Hamid Bagheri - Friday, April 26, 2013 Synthesis from Formal Partial Abstractions
• Erin Griffiths - Friday, April 26, 2013 Room-level Localization of Individuals by Height for Smarthome Applications
• Md. Anindya Prodhan - Friday, April 26, 2013 A Smarter Water Heater to Cool Down Your Energy Bill
• Michael Boyer - Wednesday, April 24, 2013 Rate Matching to Improve the Performance and Energy Efficiency of GPU Systems
• Claire Le Goues - Monday, April 22, 2013 Automatic Program Repair Using Genetic Programming
• Jure Leskovec - Monday, April 22, 2013 Data Mining Massive Online Social Networks
• Juhi Ranjan - Monday, April 22, 2013 RF Doormat - Room-level tracking of residents in homes using RFID
• Shahriar Nirjon - Friday, April 19, 2013 A General-Purpose, Energy-Efficient, and Context-Aware Acoustic Event Detection Service for Smartphones
• Karolina Sarnowska-Upton - Friday, April 19, 2013 Methods Toward Automatic Configuration of Computing Environments for Application Execution
• Yamina Shams - Wednesday, April 17, 2013 Evaluating the Effect of Sensor Placement on Automated Sensor-Map Generation in Smart Homes
• Yisong Yue - Monday, April 15, 2013 Learning with Humans in the Loop
• Prateek Mittal - Friday, April 12, 2013 Trustworthy Communications Using Network Science
• Roger W. Baker, Assistant Secretary for Information and Technology for the Department of Veterans Affairs - Thursday, April 11, 2013 Protecting One of the Nation's Largest IT Infrastructures
• Grey Ballard - Friday, April 5, 2013 Avoiding Communication in Linear Algebra
• Yanjun Qi - Wednesday, April 3, 2013 Machine Learning for Big Data in Biomedicine
• Mohammad Mahmoody - Monday, April 1, 2013 On Tamper-Resilient Cryptography
• Wei Wang - Thursday, March 28, 2013 Addressing Processor Over-provisioning on Contemporary Multi-core Platforms
• Stefano Tessaro - Wednesday, March 27, 2013 Theoretical Foundations for Applied Cryptography
• Xia Zhou - Monday, March 25, 2013 Network Design in the Big-Data Age
• UVA Engineering Open House - Saturday, March 23, 2013 Come see us this Sat. 3/23 9 am - 3 pm
• Huijia (Rachel) Lin - Friday, March 22, 2013 Concurrent Security
• Connelly Barnes - Wednesday, March 20, 2013 Mid-level Image Editing with PatchMatch
• Andy Pavlo - Monday, March 18, 2013 Everything I Know About Fast Databases I Learned at the Dog Track
• Tianhao Tong - Monday, March 18, 2013 GuarDroid: Guarding Your Password from Untrusted Smartphone Apps
• John Paisley - Monday, March 4, 2013 Bayesian Nonparametric Models and "Big Data"
• Danny Feldman - Friday, March 1, 2013 Learning patterns in big data from small data using core-sets
• Daniel Dougherty - Tuesday, February 12, 2013 Transaction Logging for Automated and Proactive Fault Management
• Tanima Dey - Monday, January 28, 2013 Addressing Performance and Reliability in Multi-core Architectures via Effective Thread-mapping
• Enamul Hoque - Tuesday, January 22, 2013 Realism in Activity Recognition for Long Term Sensor Networks Deployments
• Samee Zahur Al Islam - Monday, January 21, 2013 Circuit Structures for Improving Efficiency of Security & Privacy Tools
• Ben Rodes - Friday, January 18th, 2013 Towards Establishing Desired Properties in Software of Unknown Provenance
• Matthew Yu - Wednesday, December 19th, 2012 A Wrinkle in the Active Appearance Model
• Hamid Bagheri - Monday, December 17th, 2012 Synthesis from Formal Partial Abstractions
• Zachary Fry - Wednesday, December 12th, 2012 Leveraging Light-Weight Analyses to Aid Software Maintenance
• Chih-hao Shen - Thursday, Deember 6th, 2012 Efficient Two-Party Secure Computation against Malicious Adversaries
• Ming Mao - Tuesday, December 4th, 2012 Cloud Auto-Scaling with Deadline and Budget Constraints
• Saad Arrabi - Monday, December 3rd, 2012 Designing Vertically Integrated Dynamically Configurable Systems
• Mona Sergi - Friday, November 30, 2012 New Designs of Encryption Schemes
• Muhammad Nur Yanhaona - Wednesday, October 24, 2012 An Agent-Based Distributed Monitoring Framework

• Awards Ceremony coming up on Wednesday, May 8 in Rice 120. More details to come.
• Congratulations to Philip Asare (CpE) for being named a 2013 - 2014 Google Lime Connect Scholar!
• Congratulations to Vijay Srinivasan, John Stankovic, and Kamin Whitehouse for their paper "FixtureFinder: Discovering the Existence of Electrical and Water Fixtures," which has been selected as Best Paper Runner Up for IPSN 2013
• Prof. Alf Weaver interviews Annie Anton, chair of the School of Interactive Computing at Georgia Tech, about the importance of gender diversity in computing.
• UVa Hosts Third Annual High School Programming Contest
• Anh Nguyen-Tuong, Jason Hiser and Jack Davidson received a $40,000 grant from the Virginia Innovation Partnership to make the web a safer place. Congratulations! You can read more about the Virginia Innovation Partnership and other recipients of this grant in this UVA Today article
• Congratulations to Charles Eckman who was selected by the UVA CS department's review committee as the recipient of the first Society for Worldwide Interbank Financial Telecommunication (SWIFT) Scholarship
• Congratulations for Prof. Jack Stankovic for giving a keynote talk at Sensornets 2013 in Barcelona, Spain
• Computer Scientist Anita Jones Receives Philip Hauge Abelson Award from AAAS
• Tech Talk sponsored by Intentional Software: Magnus Christerson, Executive Vice President, "Intentional Software." Thursday, January 31, 2013 at 6:30 pm, Rice Hall, Room 120
• For the fourth time in five years, a team from the University of Virginia has advanced to the world finals in the International Collegiate Programming Contest (ICPC)
• Congratulations to Mary Lou Soffa, Kevin Skadron, and Sang Son for their elevations to IEEE Fellow
• Congratulations to University of Virginia Computer Science Professor John Knight on the publication of his book, "Fundamentals of Dependable Computing for Software Engineering," by CRC Press.
• Congratulations to Mary Lou Soffa for winning the prestigious Ken Kennedy Award!
• UVA Computer Science researchers led by Shahriar Nirjon created a new exercise music app that listens to your heart to rev it up. See article in the Cavalier Daily and in New Scientist
• Special Guest Speaker: Charles Zhang on Mon., October 22nd at 11:00 AM in Olsson 120
• Top Gun Speaker Series: Hillery Hunter on Wed., October 24th at 2:00 PM in Rice 130
• Virginia Introduces Statewide Innovation Partnership with U.S. Department of Commerce
• Engineering Professor Soffa Re-Elected to ACM Council
• Anita Jones to Give Keynote Address at Grace Hopper Celebration
• Please join some of our team members at Palantir Technologies, who will discuss how we build software platforms that help human experts perform powerful, collaborative analysis of data at scale...
• Tech Talk sponsored by Appian: Marco Pescosolido, Chief Architect, "Data - From Storage into the Hands of the People. Techniques for mobile, social software development." Thursday, September 13, 2012 at 6:30 pm, Rice Hall, Room 120
• The Computer Science Department is getting a new Chair. Kevin Skadron will be taking over as Chair starting August 25th as Mary Lou Soffa steps down after 8 years. Congratulations Kevin!
• Congratulations to Shahriar Nirjon and Prof. Jack Stankovic for receiving the Best Paper award at RTAS '12 for their paper: Shahriar Nirjon, Angela Nicoara, Cheng-Hsin Hsu, Jatinder Singh, and John Stankovic, "MultiNets: Policy Oriented Real-Time Switching of Wireless Interfaces on Mobile Devices."
• Prof. Jack Stankovic (Computer Science), John Lach (Electrical and Computer Engineering) and Prof. Karen Rose (School of Nursing) were awarded a new grant from the NIH to research to link between Alzheimer's and incontinence
• Congratulations to Hamid Bagheri and Kevin Sullivan. They received a Distinguished Paper award 2nd place), for the paper, "SpaceMaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping," at the 23rd International Conference on Software Engineering and Knowledge Engineering.

[More News]