Copyright by Roopsha Samanta 2013 The Dissertation Committee for Roopsha Samanta

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Computer science
• Formal methods
• Debugging
• Turing Award
• Computer programming
• Formal verification
• Computing
• Algorithm

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

Source URL: dacongy.github.io

• Computing
• Software engineering
• Software review
• Program analysis
• Software testing
• Object-oriented programming languages
• Static program analysis
• Java
• Android
• Software quality
• Computer programming
• Memory leak

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Logic in computer science
• Mathematical analysis
• Mathematics
• Formal methods
• Probability
• Semantics
• Approximate computing
• Mathematical optimization
• Pi
• Operational semantics

Dissertation Unequal Citizenship: Being Muslim and Canadian in the Post 9/11 Era By Baljit Nagra PhD Candidate

Source URL: tspace.library.utoronto.ca

• Islam in the United States
• Religion in the United States
• Islam in Canada
• Islamophobia in Canada
• Islamophobia

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

Source URL: smeiklej.com

• Cryptography
• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Digital currencies
• Public-key cryptography
• Mihir Bellare
• SUF
• RSA

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Distributed computing
• Benchmark
• Standard Performance Evaluation Corporation
• Data center
• Kunle Olukotun
• Christos Kozyrakis

The Department of Mechanical Engineering presents: The Master’s Dissertation Defense of: Duncan Ashby

Source URL: www.me.ucr.edu

The Department of Mechanical Engineering presents: The Master’s Dissertation Defense of: Stephen Exarhos

Source URL: www.me.ucr.edu