International Journal of Programming Languages and Applications ( IJPLA)

IJPLA


Language & Linguistics Communication Bioinformatics & Computational Biology Cryogenics & Refrigeration Higher Education E-learning





International Journal of Programming Languages and Applications ( IJPLA)



ISSN : 1839-6291



https://wireilla.com/ijpla/index.html



Scope & Topics



The International Journal of Programming Languages and Applications (IJPLA) publishes high quality research on the design, theory, implementation, and application of programming languages. The journal welcomes contributions that advance the state of the art in language theory, compilers, runtime systems, verification, security, and emerging computational paradigms. IJPLA aims to serve as a leading venue for foundational research as well as innovative practical work that shapes the future of programming.



Topics of interest include but are not limited to, the following



Programming Language Design and Foundations



 




  • Type systems, type inference, and type soundness

  • Formal semantics (operational, denotational, axiomatic)

  • Program logics, proof systems, and mechanized metatheory

  • Novel programming paradigms and experimental language designs

  • Domain specific languages (DSLs) and meta programming



 



Compilers, Optimization and Program Analysis



 




  • Compiler architectures, intermediate representations, and code generation

  • Static and dynamic program analysis

  • Verified compilers and correct by construction toolchains

  • Optimization for heterogeneous hardware (GPUs, TPUs, FPGAs)

  • Automatic differentiation and MLIR based compiler infrastructures



 



Runtime Systems and Execution Models



 




  • Virtual machines, interpreters, and managed runtimes

  • Garbage collection and memory management

  • Concurrency models, parallel execution, and deterministic systems

  • Runtime systems for cloud, serverless, and edge computing

  • Energy efficient and resource aware execution models



 



Formal Methods, Verification and Reliability



 




  • Program verification, model checking, and symbolic execution

  • Proof assistants (Coq, Lean, Agda) and mechanized reasoning

  • Verified distributed systems and protocol correctness

  • Automated debugging, bug detection, and program repair



 



Security and Language Based Protection



 




  • Information flow control and secure by design languages

  • Memory safety, capability systems, and safe systems programming

  • Static and dynamic analysis for security

  • Formal verification of cryptographic protocols



 



AI Assisted Programming and Machine Learning for Code



 




  • Program synthesis and inductive programming

  • Large language models for code generation and understanding

  • Natural language to code translation

  • Hybrid human : AI programming workflows

  • Neural static analysis and AI driven compiler optimizations



 



Programming Languages for Emerging Domains



 




  • Quantum programming languages and quantum IRs

  • Differentiable programming and ML native languages

  • Languages for robotics, autonomous systems, and cyber physical systems

  • IoT, embedded, and real time programming models

  • Educational languages and human centered language design



 



Human Factors in Programming Languages



 




  • Cognitive aspects of programming

  • Usability of type systems and language constructs

  • Developer experience and empirical studies of language use

  • Language design informed by HCI and behavioral research



 



High Performance and Distributed Computing



 




  • Parallel programming models and frameworks

  • Distributed languages and fault tolerant programming

  • Performance portability and cross platform compilation

  • HPC oriented languages and runtime systems



 



Paper Submission



Authors are invited to submit papers for this journal through Email: ijplajournal@wireilla.com or through Submission System. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this Journal. For paper format download the template in this page



Important Dates




  • Submission Deadline :  March 13, 2026

  • Notification Due         :  March 13, 2026

  • Final Manuscript Due :  April 20, 2026

  • Publication Date          : Determined by the Editor-in-Chief



Contact us

Here's where you can reach us : ijplajournal@yahoo.com (or) ijplajournal@wireilla.com



Submission Link 



 



https://wireilla.com/submission/index.php



 

Event Promotion

The 13th International Conference on Quantum Dots (QD 2026)
2026-05-17 ~ 2026-05-22
The 22nd International Symposium on the Physics of Semiconductors and Applications (ISPSA 2026)
2026-06-28 ~ 2026-07-02
The 15th Asia-Pacific Conference on Transportation and the Environment (APTE 2026)
2026-07-08 ~ 2026-07-10

Journal Promotion

Acta Koreana (Acta Koreana)
Acta Via Serica (AVS)
Computers and Concrete (Computers and Concrete)
Earthquakes and Structures, An International Journal (Earthquakes and Structures)
Geomechanics and Engineering (Geomechanics and Engineering)
Journal of Information Processing Systems (JIPS)
Journal of Internet Computing and Services (KSII - JICS)
Membrane and Water Treatment (MWT)
Smart Structures and Systems (Smart Structures and Systems)
Steel and Composite Structures, An International Journal (Steel and Composite Structures)
Structural Engineering and Mechanics, An International Journal (Structural Engineering and Mechanics)
Wind and Structures, An International Journal (Wind and Structures)

MANUSCRIPTLINK © 2015 -