Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 | Thacker, Robert A | New verification method for embedded systems | Embedded systems; Petri nets; Verification | 2010-12 | dissertation | |
2 | Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computer; CS1; Education; Parallel; Programming; Science | 2010-08 | dissertation | |
3 | Choudhury, A.N.M. Imroz | Visualizing program memory behavior using memory reference traces | Cache; Memory; Memory reference traces; Visualization; Memory behavior | 2012-08 | dissertation | |
4 | Qadir, Ashequl | Acquiring knowledge for affective state recognition in social media | Affective Polarity; Emotion Hashtag; Implicit Property; Natural Language Processing; Simile; Social Media | 2016 | dissertation | |
5 | Burtsev, Anton | Deterministic systems analysis | Deterministic replay; Replay debugging; Xen | 2013-05 | dissertation | |
6 | Du, Min | Large scale system log monitoring and analysis: a data-driven approach | 2019 | dissertation | ||
7 | Sudan, Kshitij | Data placement for efficient main memory access | Computer Architecture; DRAM memory management; Main memory; Operating system | 2013-05 | dissertation | |
8 | Redman, Simon | Critical reroute: A practical approach to network flow prioritization using segment routing | 2019 | thesis | ||
9 | Kesavan, Aniraj | Making large transfers fast for in-memory databases in modern networks | Computer science | 2017 | thesis | |
10 | Dimjasevic, Marko | Enhancing automatic software testing for broader applicability | Computer science; Electrical engineering | 2018 | dissertation | |
11 | Haran, Arvind | Program analyses for resilient and approximate computation | approximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis | 2016 | thesis | |
12 | Stephens, Abraham J. | Control of spatial and temporal fidelity with adaptive sampling | Interactive computer graphics; Adaptive; Fidelity; Framelet; Graphics; Rendering; Spatiotemporal; Temporal fidelity; Spatial fidelity | 2011-05 | dissertation | |
13 | Nayak, Prashanth | Detecting and mitigating malware in virtual appliances | Detection; Expert systems; Malware; Mitigation; Virtual appliance; Virtual machine introspection | 2014-12 | thesis | |
14 | Kennington, Allen Russell | Relating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments | 2020 | thesis | ||
15 | Nguyen, Binh Quang | Enhancing scalability and reliability in mobile core networks | Computer science | 2018 | dissertation | |
16 | Johnson, David Michael | Design and implementation of a mobile wireless sensor network testbed | Network simulation; Mobile Emulab | 2010-04-15 | thesis | |
17 | Probst, Matthew Jared | Distributed friend-to-friend framework and services using social networks | Distributed Systems; Malware Detection; Peer-to-Peer; Social Distance; Social Networks; Social psychology; Computer science | 2012-12 | dissertation | |
18 | Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation | |
19 | Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | ||
20 | Awasthi, Manu | Managing data locality in future memory hierarchies using a hardware software codesign approach | Cache management; Data locality; DRAM; Memory hierarchy; NUMA; Operating system support | 2014-12 | dissertation | |
21 | Fu, Zhisong | Parallel-streaming algorithms for solving partial differential equations on unstructured meshes | GPU; PDE; Unstructured meshes | 2013-12 | dissertation | |
22 | Baek, Hyun-wook | Interparty visibility in a cloud computing platform | 2018 | dissertation | ||
23 | Jacobsen, Charles | Lightweight capability domains: toward decomposing the linux kernel | Applied sciences | 2016 | thesis | |
24 | Kumar, Sidharth | A scalable and tunable adaptive resolution parallel i/o framework | File system; HPC; Parallel I/O | 2016 | dissertation | |
25 | Cho, Junguk | Designing performant, flexible and evolvable | 2019 | dissertation |