• View
• Edit
• History
• Print

Resources

Resources

External resources that have been helpful, as well some things that I ought to keep track of.

Conferences and Workshops

• HotDep - Keep an eye out for this. It may have been cancelled. Usually alternates between USENIX on even years and someone else on odd.
• ASPLOS - Architectural Support for Programming Languages and Operating Systems - Yearly conference (abstracts: July) and workshop (proposals: October).
• CIS / RAM - Cybernetics and Intelligent Systems / Robotics, Automation and Mechatronics - Co-Located Conferences.
• DSN - Dependable Systems and Networks Yearly conference (abstracts: December) and workshop (proposals: November).
• ECRTS - Euromicro Conference on Real-Time Systems Yearly conference (submissions: February).
• EMSOFT - International Conference on Embedded Software Yearly conference (abstracts: April).
• EuroSys - http://www.eurosys.org/ - Yearly conference (abstracts: October) and workshop (proposals: October).
• HARSH - http://www.harsh-workshop.org/ - Yearly workshop co-located with less relevant conferences (HPCA, CGO, and PPoPP).
• Cyber-Physical Systems Week - A bunch of co-located conferences and workshops every April. Deadlines October.
  • ICCPS - International Conference on Cyber-Physical Systems
  • RTAS - Real-Time and Embedded Technology and Applications Symposium - IEEE.
• LCTES - Languages, Compilers, Tools and Theory for Embedded Systems, ACM SIGPLAN/SIGBED Conference on
• OSDI - Operating Systems Design and Implementation - One of the USENIX conferences.
• OSPERT - Operating Systems Platforms for Embedded Real-Time applications - Yearly workshop (submissions: April) co-located with ECRTS.
• RoMoCo - Robot Motion and Control - Workshop held every two years.
• RTCSA - Real-Time Computing Systems and Applications - Need to look into more. Ranked well, but new and I haven't read any papers yet. Held mostly in east Asia.
• RTSS - Real-Time Systems Symposium - IEEE. Yearly symposium with workshops in December, deadlines in May.
• SRDS Symposium on Reliable Distributed Systems - IEEE. March / April submission.
• IEEE Transactions on Dependable and Secure Computing: http://www.computer.org/web/tdsc
• More

Abstact only Conference

Not academic: papers / presentation are accepted on abstracts.

• FSW - Spacecraft Flight Software - Yearly workshop, presentation only. Alternates between Laurel, MD and JPL.
• Small Satellite conferences: CubeSat#conferences
• Space - http://www.aiaa-space.org/ - looks big, with many tracks (including one for small sats.
• ReSpace - Reinventing Space Conference -
• SEE - Single Event Effects Symposium - Mostly added this one because their website has the most ridiculous graphics I have ever seen.
• SPIE - CubeSats and NanoSats for Remote Sensing

Upcoming

Past / Ongoing

Journals

For rankings: CORE rankings (dead?) CORE Rankings (Comments on CORE in this SE Academia question), and maybe this site.

People

It may be helpful to identify some leading researchers (past and present) to better understand their papers and the evolution of the field.

• Erann Gat (now Ron Garret): Definitely an interesting character. Worked for NASA JPL for a period of time. Major contributions include ATLANTIS, ALFA, 3T, and (if I am not mistaken) early work on Remote Agent. Was a long-time proponent of LISP, and has an interesting write up on LISP's rise and fall in JPL (original: http://www.flownet.com/gat/jpl-lisp.html, copy for poserity: Attach:gat_jpl-lisp.pdf).
• Jochen Liedtke: Developed the original L3 and L4 µ-kernels.
• Bernard Blackham and Gernot Heiser: Blackham studied under Heiser. Heiser was part of the seL4 verification. Together with Blackham they did a good deal of the WCET for interrupt work for seL4.
• Lynne E. Parker: Developed ALLIANCE while at Oak Ridge National Laboratory. Is now working at the University of Tennessee, and still active in research. ALLIANCE paper current research.

External Resources

Assembly Programming

• OSDev's x86-64 guide.
• OSDev's inline assembly guide.
• Kernel Stack x86_64 - a post to the Linux Kernel Mailing List by Keith Owens about the kernel stack organization in x86_64. Derived from this is another article.
• GAS Syntax - from a wikibook on x86 assembly.
• x86 Reference - This is a COMPLETE reference of every instruction in x86 / x86_64.
• i386 to x86_64 guide - Assumes that you are already familiar with i386; so not so useful to me. But the site has a variety of resources.

Linux Kernel

• Ubuntu's Custom Kernel Guide - Goes through the steps of building a custom kernel in Linux.
• printk - The various formatting options supported by printk (based on 3.13).
• Linked kernel source - Linux.no. Uptime is not this site's strong suite.
• Linked kernel source - Free Electrons. Actually is up most of the time.
• Kernel Makefiles - Details how to use the kernel's Make system (which is different than regular Make).
• PageTable Graphic - a good illustration of the different types of page tables.

Coding Best Practice and Standards

It ought to be noted that I do not actually follow these.

• JPL C Coding Practices (pdf) - From NASA's JPL.
• MISRA-C 2004 (pdf) - Motor Industry Software Reliability Association's guidelines and rules for writing safety critical embedded systems in C.
• Composite Style Guide (pdf) - Gabe's style guide for Composite, along with some systems programming tips.

Writing

• Science of Scientific Writing - Helpful guide to writing clearly.
• Burns Standard Notation for Real Time Scheduling - A short paper by Robert I. Davis making suggestions for notation when writing RT papers. Burns wrote some seminal papers in the field Papers#Burns96FeasibilityFTRT. Citations 1 and 13 are pretty hilarious.

Books

• Advanced Linux Programming (pdf) - A bit outdated (2001).
• Linux Virtual Memory Management (pdf) - Chapter 3 has been of particular help: Page Table Management.