Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design.
1 faculty research Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design. on GradNova.
Computer Architecture
Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design.
Parallel Computing and Optimization Techniques
Distributed Systems and Fault Tolerance
+3