Skip to main content

Model-Driven Program Transformation of a Large Avionics Framework

Jeffrey G. Gray, Jing Zhang, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty

DOI 10.1007/978-3-540-30175-2_19 dblp BibTeX

No abstract available.

Related papers

Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
Model-driven transformations for multi- and many-core CPUs PLDI 2019
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications GPCE 2012
A language and framework for invariant-driven transformations GPCE 2009
A cost-driven compilation framework for speculative parallelization of sequential programs PLDI 2004
Model-driven generative framework for automated OMG DDS performance testing in the cloud GPCE 2013
A practical automatic polyhedral parallelizer and locality optimizer PLDI 2008
Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019