Work-in-Progress: Programs with Ironclad Timing Guarantees

Author(s): Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee

Abstract
We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.

Electronic Downloads

Citation Formats

  • APA
                    
    Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee. (2019). Work-in-Progress: Programs with Ironclad Timing Guarantees. In ACM SIGBED International Conference on Embedded Software (EMSOFT).                       
                    
                    
  • MLA
                    
    Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee. "Work-in-Progress: Programs with Ironclad Timing Guarantees." ACM SIGBED International Conference on Embedded Software (EMSOFT), 2019.                       
                    
                    
  • Chicago
                    
    Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee. "Work-in-Progress: Programs with Ironclad Timing Guarantees." ACM SIGBED International Conference on Embedded Software (EMSOFT), 2019.                       
                    
                    
  • BibTeX
                        
    @inproceedings{LohstrohEtAl:19:Ironclad,
    	author = {Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee},
    	title = {Work-in-Progress: Programs with Ironclad Timing Guarantees},
    booktitle = {ACM SIGBED International Conference on Embedded Software (EMSOFT)},
    month = {October 13-18},
    year = {2019},
    abstract = {We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.},
    URL = {https://ptolemy.berkeley.edu/publications/papers/19/LohstrohEtAl_IroncladTiming_EMSOFT_2019.pdf}}