Jialin Li

Carbon Emission Disclosure Quality and Corporate Default Risk: Evidence from China

Zepeng Wang, Jialin Li, Kexin Zhang

Amid the global rise of environmental regulations, carbon trading schemes, and environmental, social and governance strategies, carbon disclosure has become a critical component for firms seeking to build green, low-carbon business models and maintain competitiveness in an era of global decarbonization. While …

cn (code pays fourni par la source)

An Integration of Multicultural Perspective in Musical Theatre Education Using Pattern Mining

Jialin Li, Hyuntai Kim

Inclusivity, diversity, and universal consciousness are some of the challenges that have made multicultural approaches to musical theatre education very significant. Nevertheless, the current methods do not tend to be systematic and evidence-based in terms of measuring and improving cultural representation in …

An Integration of Multicultural Perspective in Musical Theatre Education Using Pattern Mining

Jialin Li, Hyuntai Kim

Musical theatre education has traditionally focused on Western techniques, limiting students' exposure to the cultural diversity inherent in the art form. Current curricula frequently lack systematic methods for incorporating non-Western traditions, resulting in an underrepresentation of practices like Chinese musical theatre. To …

kr (code pays fourni par la source)

An Effective Approach for Musical Theatre Curriculum in Pedagogical Innovation

Jialin Li, Hyuntai Kim

In this paper, the author offers an effective and innovative curriculum design of musical theatre based on pedagogical innovation. The teaching approaches in musical theatre have traditional approaches that usually focus on fragmented teaching and do not integrate fundamental performance skills, such …

kr (code pays fourni par la source)

Industrial robot application and green total factor productivity of enterprises: an automation-augmentation perspective

Jialin Li, Zepeng Wang

Green Total Factor Productivity (GTFP) is critical to the global green transformation and ESG strategy. In this study, we investigate the impact of industrial robot application on enterprises’ green total factor productivity based on the automation-augmentation perspective. The results of the study …

cn (code pays fourni par la source)

What they provide and how: An intervention study on pre-service teachers' GenAI-assisted writing feedback

Siyu Zhu, Jialin Li, Yuan Yao, Yi Guan et autres

hk, cn (code pays fourni par la source)

Improving writing feedback quality and self-efficacy of pre-service teachers in Gen-AI contexts: An experimental mixed-method design

Siyu Zhu, Q. H. Li, Yuan Yao, Jialin Li et autres

hk, cn (code pays fourni par la source)

Concurrency Testing in the Linux Kernel via eBPF

Jiacheng Xu, Dylan Wolff, Xing Han, Jialin Li et autres

Concurrency is indispensable for modern software systems to meet performance and scalability demands, yet concurrency bugs remain notoriously difficult to detect and reproduce. Controlled Concurrency Testing (CCT) mitigates this challenge by systematically exploring thread interleavings through scheduling control. However, existing CCT approaches …

Enhancing the quality of vocational education talents from a fiscal perspective: A case study of Jiangsu province

Yaxin Deng, Tianpei Feng, Jialin Li

Due to substantial progresses in industrial development, evolution, and the recalibration of talent demand structures, China&s;s vocational education talent training harness its growing strengths in promoting the advancement of vocational education. The article takes this burgeoning and rapidly expanding form of education …

Linear types for large-scale systems verification

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan M. Cameron et autres

Reasoning about memory aliasing and mutation in software verification is a hard problem. This is especially true for systems using SMT-based automated theorem provers. Memory reasoning in SMT verification typically requires a nontrivial amount of manual effort to specify heap invariants, as …

us, ch (code pays fourni par la source)

Linear-time Temporal Logic guided Greybox Fuzzing

Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh et autres

Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique, its common usage in practice is in "bug finding", that is, finding violations of temporal properties. …

An incremental path towards a safer OS kernel

Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen et autres

Linux has become the de-facto operating system of our age, but its vulnerabilities are a constant threat to service availability, user privacy, and data integrity. While one might scrap Linux and start over, the cost of that would be prohibitive due to …

us (code pays fourni par la source)