Embedded C Programming

Embedded C Programming is a specialized dialect of the C programming language extended to support low-level hardware manipulation, real-time operation, and resource-constrained environments inherent to embedded systems development.

Publications

3.3K

Citations

147

Authors

Institutions

Publications per year

2017–2026

Parents

Embedded Systems

Children

Bitwise OperationsBootloadersCode OptimizationConcurrency BugsCross-compilationDeterministic ExecutionEmbedded TestingFixed-point ArithmeticHardware Abstraction LayersHeap Usage

Publications

ECOS: An SOCP solver for embedded systems

Alexander Domahidi, Eric Chu, Stephen Boyd · 2013 · 728 citations

Engineering, Computer Engineering, Computer Science +14

The OpenCL specification

Aaftab Munshi · 2009 · 644 citations

Engineering, Computer Engineering, Computer Science +15

Precise and efficient static array bound checking for large embedded C programs

Arnaud Venet, Guillaume Brat · 2004 · 121 citations · Full text

Computing, Computer Engineering, Computer Science +11

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics

Antoine Miné · 2006 · 108 citations

Computing, Computer Engineering, Computer Science +17

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 102 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 58

Authors

147

DD
Dinakar Dhurjati
University of Illinois Urbana-Champaign, United States
3 publications · 187 citations
3
h-index
SK
Sumant Kowshik
University of Illinois Urbana-Champaign, United States
3 publications · 187 citations
3
h-index
CL
Chris Lattner
University of Illinois Urbana-Champaign, United States
3 publications · 187 citations
3
h-index
VA
Vikram Adve
University of Illinois Urbana-Champaign, United States
3 publications · 187 citations
3
h-index
JR
John Regehr
University of Utah, United States
3 publications · 173 citations
3
h-index

1–5 of 147

Institutions

1–8 of 57

Venues

ACM Transactions on Embedded Computing Systems
TECS · 3 publications · 144 citations
3
h-index
ACM SIGPLAN Notices
3 publications · 111 citations
3
h-index
HAL (Le Centre pour la Communication Scientifique Directe)
Repository · 2 publications · 26 citations
2
h-index
arXiv (Cornell University)
Repository · 2 publications · 29 citations
2
h-index
Scientific Programming
1 publications · 54 citations
1
h-index

1–5