Generating and Deploying Lightweight, Secure and Zero-overhead Software for Multipurpose IoT Devices
Cost-Efficient Smart System Software Synthesis