1× knowledge

C Language / Subject

Research Level

Explore research-level C topics including compilers, static analysis, formal verification, language standards, high-performance computing and software reliability.

Your Progress

Learning Summary

0 of 145 topics completed
Quizzes Completed 0Best Quiz Score —Current Level Not startedContinue Choose a topic

Suggested sequence

Learning roadmap

Topics follow the Admin display order

Research

145 topics
  1. C Language Standard
  2. ISO C
  3. C89/C90
  4. C95
  5. C99
  6. C11
  7. C17
  8. C23
  9. Future C Standards
  10. C Standardization Process
  11. C Abstract Machine
  12. C Memory Model
  13. Object Model in C
  14. Object Lifetime
  15. Storage Duration
  16. Effective Type
  17. Strict Aliasing
  18. Pointer Provenance
  19. Undefined Behavior
  20. Unspecified Behavior
  21. Implementation-Defined Behavior
  22. Sequence and Evaluation Order
  23. Integer Conversion Semantics
  24. Floating-Point Semantics
  25. IEEE 754 and C
  26. Atomic Memory Model
  27. Memory Ordering Semantics
  28. Sequential Consistency
  29. Acquire-Release Semantics
  30. Relaxed Atomics
  31. Lock-Free Algorithms
  32. Wait-Free Algorithms
  33. Concurrent Data Structures
  34. Formal Semantics of C
  35. Formal Verification of C Programs
  36. Model Checking
  37. Symbolic Execution
  38. Abstract Interpretation
  39. Program Analysis
  40. Static Program Analysis
  41. Dynamic Program Analysis
  42. Data-Flow Analysis
  43. Control-Flow Analysis
  44. Pointer Analysis
  45. Alias Analysis
  46. Escape Analysis
  47. Interprocedural Analysis
  48. Compiler Construction in C
  49. Lexical Analysis
  50. Parsing
  51. Abstract Syntax Trees
  52. Intermediate Representations
  53. Code Generation
  54. Register Allocation
  55. Compiler Optimization Theory
  56. Link-Time Optimization
  57. Profile-Guided Optimization
  58. Vectorization
  59. Auto-Vectorization
  60. C Compiler Internals
  61. GCC Internals
  62. Clang/LLVM Internals
  63. ABI Design
  64. Calling Conventions
  65. Binary Interfaces
  66. Binary Analysis
  67. Reverse Engineering of C Binaries
  68. Executable and Linkable Format
  69. Binary Instrumentation
  70. Systems Programming Research
  71. Operating System Development in C
  72. Kernel Programming
  73. Device Driver Development
  74. Filesystem Implementation
  75. Memory Manager Implementation
  76. Process Scheduler Implementation
  77. Network Stack Implementation
  78. Database Engine Implementation
  79. Runtime System Design
  80. Garbage Collector Implementation
  81. Custom Allocator Research
  82. High-Performance Computing in C
  83. Parallel Programming
  84. NUMA-Aware Programming
  85. Cache Optimization
  86. SIMD Optimization
  87. Vector Processing
  88. GPU Interoperability
  89. Heterogeneous Computing
  90. Embedded Systems Research
  91. Real-Time Systems
  92. Bare-Metal Programming
  93. Firmware Architecture
  94. IoT Systems Programming
  95. Safety-Critical C
  96. MISRA C
  97. CERT C
  98. Secure Coding Research
  99. Memory Safety in C
  100. Spatial Memory Safety
  101. Temporal Memory Safety
  102. Bounds Checking
  103. Use-After-Free Detection
  104. Control-Flow Integrity
  105. Sanitizer Design
  106. Fuzzing Research
  107. Coverage-Guided Fuzzing
  108. Mutation-Based Fuzzing
  109. Property-Based Testing
  110. Software Fault Isolation
  111. C Vulnerability Research
  112. Exploit Mitigation Techniques
  113. C Program Hardening
  114. Verified C Compilers
  115. CompCert
  116. C Interoperability
  117. C and C++ Interoperability
  118. C and Assembly Interoperability
  119. C and Rust Interoperability
  120. Foreign Function Interfaces
  121. Domain-Specific Languages in C
  122. Metaprogramming in C
  123. Generic Programming Techniques
  124. Portable C Programming
  125. Cross-Platform C Development
  126. Cross-Compilation
  127. C Library Implementation
  128. Standard Library Internals
  129. libc Implementation
  130. Dynamic Loader Internals
  131. Systems Performance Research
  132. Microbenchmarking
  133. Hardware Performance Counters
  134. Cache Coherence
  135. False Sharing
  136. Memory Consistency Models
  137. Hardware–Software Interaction
  138. Computer Architecture and C
  139. Language Design and C
  140. C Language Evolution
  141. C Safety Extensions
  142. C Toolchain Research
  143. Verified Systems Programming
  144. High-Assurance C Software
  145. Reproducible C Research and Benchmarking

Topics

145 published topics

  1. 101 Temporal Memory SafetyStudy Temporal Memory Safety through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  2. 102 Bounds CheckingStudy Bounds Checking through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  3. 103 Use-After-Free DetectionStudy Use-After-Free Detection through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  4. 104 Control-Flow IntegrityStudy Control-Flow Integrity through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  5. 105 Sanitizer DesignStudy Sanitizer Design through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  6. 106 Fuzzing ResearchStudy Fuzzing Research through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  7. 107 Coverage-Guided FuzzingStudy Coverage-Guided Fuzzing through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  8. 108 Mutation-Based FuzzingStudy Mutation-Based Fuzzing through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  9. 109 Property-Based TestingStudy Property-Based Testing through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  10. 110 Software Fault IsolationStudy Software Fault Isolation through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  11. 111 C Vulnerability ResearchStudy C Vulnerability Research through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  12. 112 Exploit Mitigation TechniquesStudy Exploit Mitigation Techniques through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  13. 113 C Program HardeningStudy C Program Hardening through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  14. 114 Verified C CompilersStudy Verified C Compilers through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  15. 115 CompCertStudy CompCert through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  16. 116 C InteroperabilityStudy C Interoperability through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  17. 117 C and C++ InteroperabilityStudy C and C++ Interoperability through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  18. 118 C and Assembly InteroperabilityStudy C and Assembly Interoperability through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  19. 119 C and Rust InteroperabilityStudy C and Rust Interoperability through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning
  20. 120 Foreign Function InterfacesStudy Foreign Function Interfaces through a detailed research-level C lesson with expert examples, reproducible experiments, verification and practice questions.Research · 17 min read · 240 min learning