15 papers · ranked by Valyu relevance
Daniel Alabi, Joseph Ekpenyong, Alida Monaco
The NaijaCoder in-person summer camps are intensive programs for high school and pre-college students in Nigeria. The programs are meant to provide free instruction on the basics of algorithms and computer programming. In 2024, the camps were held in two locations within the country: (i) the Federal Capital Territory…
Silin Chen, Ziqian Bi, Junyu Liu, Benji Peng + 13 more
Mathematics Fundamental: From Theory to Practice Authors: ['Silin Chen' 'Ziqian Bi' 'Junyu Liu' 'Benji Peng' 'Sen Zhang' 'Xiaoyong Pan' 'Jiawei Xu' 'Jinlang Wang' 'Keyu Chen' 'Caitlyn Heqi Yin' 'Pohsun Feng' 'Yizhu Wen' 'Tianyang Wang' 'Ming Li' 'Jin‐Tao Ren' 'Qian Niu' 'Ming Liu'] | I | | Python Data Structures and…
Li Li, Jiawei Wang, Haowei Quan
Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such…
Pattara Leelaprute, Bodin Chinthanet, Supatsara Wattanakriengkrai, Raula Gaikovina Kula + 2 more
'Raula Gaikovina Kula' 'Pongchai Jaisri' 'Takashi Ishio'] In the field of data science, and for academics in general, the Python programming language is a popular choice, mainly because of its libraries for storing, manipulating, and gaining insight from data. Evidence includes the versatile set of machine learning…
Zejun Zhang, Zhenchang Xing, Xin Xia, Xiwei Xu + 1 more
Compared to other programming languages (e.g., Java), Python has more idioms to make Python code concise and efficient. Although pythonic idioms are well accepted in the Python community, Python programmers are often faced with many challenges in using them, for example, being unaware of certain pythonic idioms or do…
Simon Rodriguez, Philip Cardiff
As the overlap between traditional computational mechanics and machine learning grows, there is an increasing demand for straight-forward approaches to interface Python-based procedures with C++-based OpenFOAM. This article introduces one such general methodology, allowing the execution of Python code directly within…
Robert Dyer, Jigyasa Chauhan
Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using procedures, using classes, or in a functional style. To date, no one has studied what paradigm(s), if any, are predominant in Python code…
Kyla H. Levin, Kyle Gwilt, Emery D. Berger, Stephen N. Freund
—The advent of large language models (LLMs) has paved the way for a new era of programming tools with both significant capabilities and risks, as the generated code lacks guarantees of correctness and reliability. Developers using LLMs currently face the difficult task of optimizing, integrating, and maintaining code…
Kamel Yamani, Marwa Naïr, Riyadh Baghdadi
In recent years, data has emerged as the new gold, serving as a powerful tool for creating intelligent systems. However, procuring high-quality data remains challenging, especially for code. To address this, we developed TinyPy Generator, a tool that generates random Python programs using a context-free grammar. The…
Ruksit Rojpaisarnkit, Gregório Robles, Raula Gaikovina Kula, Dong Wang + 3 more
Textbooks Authors: ['Ruksit Rojpaisarnkit' 'Gregório Robles' 'Raula Gaikovina Kula' 'Dong Wang' 'Chaiyong Ragkhitwetsagul' 'Jesús M. González-Barahona' 'Kenichi Matsumoto'] Abstract—Python, one of the most prevalent programming languages today, is widely utilized in various domains, including web development, data…
Zejun Zhang, Zhenchang Xing, Xiaoxue Ren, Qinghua Lu + 1 more
Pythonic idioms are highly valued and widely used in the Python programming community. However, many Python users find it challenging to use Pythonic idioms. Adopting rule-based approach or LLM-only approach is not sufficient to overcome three persistent challenges of code idiomatization including code miss, wrong…
Néstor Cataño
This paper presents the pyeb tool, a Python implementation of the Event-B refinement calculus. The pyeb tool takes a Python program and generates several proof obligations that are then passed into the Z3 solver for verification purposes. The Python program represents an Event-B model. Examples of these proof…
Indira Febriyanti, Raula Gaikovina Kula, Ruksit Rojpaisarnkit, Kanchanok Kannee + 2 more
'Kanchanok Kannee' 'Yusuf Sulistyo Nugroho' 'Kenichi Matsumoto'] Abstract—Python is known to be used by beginners to professional programmers. Python provides functionality to its community of users through PyPI libraries, which allows developers to reuse functionalities to an application. However, it is unknown the…
Saul Shanabrook
E-graphs have emerged as a versatile data structure with applications in synthesis, optimization, and verification through techniques such as equality saturation. This paper introduces Python bindings for the experimental egg-smol library, which aims to bring the benefits of e-graphs to the Python ecosystem. The…
Kuang-Chen Lu, Ben Greenman, Carl G. Meyer, Dino Viehland + 2 more
'Aniket Panse' 'Shriram Krishnamurthi'] Context Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in others, communication across type boundaries can be extremely expensive; and still others allow only…