Category: Student Defenses

Masters Thesis Presentation

Monday, April 18th, 2016 at 2:00 PM in Rice 242 Anish Tondwalkar Advisor: Baishakhi Ray Committee Members: Wes Weimer (Committee Chair) and Kevin Sullivan. Title: Finding and Fixing Bugs in LiquidHaskell ABSTRACT: Dependent types provide strong guarantees but can be hard to program, admitting mistakes in the implementation as well as the specification. We present…

Read more Masters Thesis Presentation

PhD Dissertation Defense

Wednesday, April 19th, 2016 at 2:00 PM in Rice 242 Liang Wang Advisor: Kevin Skadron Committee Members: Mircea Stan (Committee Chair), Gabriel Robins, Jim Cohoon, and Dr. Pradip Bose (IBM T. J. Watson Research Center). Title: First-Order Modeling Frameworks for Power-Efficient and Reliable Multiprocessor System ABSTRACT: As the semi-conductor industry keeps evolving at the pace…

Read more PhD Dissertation Defense

PhD Dissertation Defense

Wednesday, April 6, 2016 at 3: 30 PM in Rice 242 Samee Zahur Advisor: David Evans Committee Members: Westley Weimer (Committee Chair), Mohammad Mahmoody, Denis Nekipelov (Minor Representative, Economics), Bryan Parno (Microsoft Research). Title: Demystifying secure computation: familiar abstractions for efficient protocols ABSTRACT: Over the past few years, secure multi-party computation (MPC) has been transformed…

Read more PhD Dissertation Defense

PhD Qualifying Exam Presentation

1:30 PM – Tuesday, April 5th, 2016 Rice Hall, Room 504 Md Mustafizur Rahman Advisor: Hongning Wang Attending Faculty: Worthy Martin (Chair), Westley Weimer, Kamin Whitehouse Title: Hidden Topic Sentiment Model Abstract: Various topic models have been developed for sentiment analysis tasks. But the simple topic-sentiment mixture assumption prohibits them from finding fine-grained dependency between topical…

Read more PhD Qualifying Exam Presentation

PhD Proposal Presentation

Tuesday, March 15, 2016 3:00 PM in Rice 242 John Hott Advisor: Worthy Martin Attending Faculty: Alfred Weaver, Gabriel Robins, Luther Tychonievich, Jeffrey Holt (minor representative) Evolving Networks: Structure & Dynamics ABSTRACT Network analysis, especially social network analytics, has become widespread with the growing amount of linked data available. Many researchers have started to consider…

Read more PhD Proposal Presentation

PhD Proposal Presentation

Monday, February 29, 2016 9:00 AM in Rice 504 In Kee Kim Advisor: Marty Humphrey Attending Faculty: Alfred Weaver, Yanjun Qi, Hongning Wang, Byungkyu Brian Park (Civil Engineering at UVA) Title:  Proactive Resource Management to Ensure Predictable End-to-End Performance for Cloud Applications ABSTRACT: Public IaaS clouds have become an essential infrastructure for many organizations to run their…

Read more PhD Proposal Presentation

PhD Proposal Presentation

Wednesday, March 2, 2016 11:00 AM in Rice 504 Md Anindya Prodhan Advisor: Andrew Grimshaw Attending Faculty: Alfred Weaver (Committee Chair), Kamin Whitehouse, Malathi Veeraraghavan and Federico Ciliberto (Minor Representative) Title: Market Based on-Demand Computing in Co-operative Grid Environment (CG-Market) ABSTRACT: Computational and data scientists at universities have heterogeneous job resource requirements. Most universities maintain…

Read more PhD Proposal Presentation

PhD Qualifying Exam Presentation

Monday, February 29, 2016 10:00 AM in Rice 314 Soheil Nematihaji Advisor & Chair:Mohammad Mahmoody Attending Faculty: David Evans, Gabriel Robins, abhi shelat. Title:On the Power of Algebraic Tools in Code Obfuscation ABSTRACT: Obfuscating programs to make them “unintelligible” while preserving their functionality is one of the most sought after holy grails in cryptography due…

Read more PhD Qualifying Exam Presentation