检索结果-内蒙古大学图书馆

Soploon: A virtual assistant to help teachers to detect object-oriented errors in students' source codes

COMPUTER APPLICATIONS IN ENGINEERING EDUCATION 2018年第5期26卷 1279-1292页

作者： Vallejos, Sebastian Berdun, Luis S. Armentano, Marcelo G. Soria, Alvaro Teyseyre, Alfredo R. CONICET UNICEN ISISTAN Res Inst Campus Univ RA-7000 Tandil Buenos Aires Argentina

When checking students' source codes, teachers tend to overlook some errors. This work introduces Soploon, a tool that automatically detects novice programmer errors. By using this tool, teachers can reduce the number of overlooked errors. Thus, students receive a more complete and exhaustive feedback about their errors and misconceptions.

关键词： declarative meta-programming detect object-oriented errors novice programmer errors students' misconceptions teaching object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

RT-Trust: Automated Refactoring for Trusted Execution under Real-Time Constraints 2018

RT-Trust: Automated Refactoring for Trusted Execution under ...

引用

17th ACM SIGPLAN International Conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of Conferences and Workshops

作者： Liu, Yin An, Kijin Tilevich, Eli Virginia Tech Software Innovat Lab Blacksburg VA 24061 USA

ISBN: (纸本)9781450360456

Real-time systems must meet strict timeliness requirements. These systems also often need to protect their critical program information (CPI) from adversarial interference and intellectual property theft. Trusted execution environments (TEE) execute CPI tasks on a special-purpose processor, thus providing hardware protection. However, adapting a system written to execute in environments without TEE requires partitioning the code into the regular and trusted parts. This process involves complex manual program transformations that are not only laborious and intellectually tiresome, but also hard to validate and verify for the adherence to real-time constraints. To address these problems, this paper presents novel program analyses and transformation techniques, accessible to the developer via a declarative meta-programming model. The developer declaratively specifies the CPI portion of the system. A custom static analysis checks CPI specifications for validity, while probe-based profiling helps identify whether the transformed system would continue to meet the original real-time constraints, with a feedback loop suggesting how to modify the code, so its CPI can be isolated. Finally, an automated refactoring isolates the CPI portion for TEE-based execution, communicated with through generated calls to the TEE API. We have evaluated our approach by successfully enabling the trusted execution of the CPI portions of several microbenchmarks and a drone autopilot. Our approach shows the promise of declarative meta-programming in reducing the programmer effort required to adapt systems for trusted execution under real-time constraints.

关键词： trusted execution real-time systems declarative meta-programming software refactoring program analyses

来源：评论

学校读者我要写书评

暂无评论

RT-Trust: Automated refactoring for different trusted execution environments under real-time constraints

引用

JOURNAL OF COMPUTER LANGUAGES 2020年 56卷

作者： Liu, Yin An, Kijin Tilevich, Eli Virginia Tech Software Innovat Lab 2202 Kraft Dr Blacksburg VA 24060 USA

Real-time systems must meet strict timeliness requirements. These systems also often need to protect their critical program information (CPI) from adversarial interference and intellectual property theft. Trusted execution environments (TEE) execute CPI tasks on a special-purpose processor, thus providing hardware protection. However, adapting a system written to execute in environments without TEE requires partitioning the code into untrusted and trusted parts. This process involves complex manual program transformations that are not only laborious and intellectually tiresome, but also hard to validate and verify adherence to real-time constraints. To address these problems, this paper presents novel program analyses and transformation techniques, accessible to the developer via a declarative meta-programming model. The developer declaratively specifies the CPI portion of the system. A custom static analysis checks CPI specifications for validity, while probe-based profiling helps identify whether the transformed system would continue to meet the original real-time constraints, with a feedback loop suggesting how to modify the code, so its CPI can be isolated. Finally, an automated refactoring isolates the CPI portion for TEE-based execution, communicated with through generated calls to the TEE API. The reference implementation of our approach profiles and transforms real-time systems to isolate their CPI functions to execute on two different TEE platforms: OP-TEE and SGX. Although these platforms substantially differ in terms of their respective APIs and performance characteristics, our refactoring completely hides these differences from the developer by automatically synthesizing the correct CPI functionality required for these dissimilar TEE implementations. We have evaluated our approach by successfully enabling the trusted execution of the CPI portions of several microbenchmarks and a drone autopilot. Our approach shows the promise of declarative meta-programm

关键词： Trusted execution Real-time systems declarative meta-programming Software refactoring Program analyses

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：