会议信息
APLAS 2024: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2024
截稿日期:
2024-05-24
通知日期:
2024-08-02
会议日期:
2024-10-22
会议地点:
Kyoto, Japan
届数:
22
CCF: c   CORE: b   QUALIS: b1   浏览: 27620   关注: 26   参加: 2

征稿
Scope

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:

    programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms;
    methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing;
    programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation;
    methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis;
    concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems;
    applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.
最后更新 Dou Sun 在 2024-03-24
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
bb2SBAC-PADInternational Symposium on Computer Architecture and High Performance Computing2022-07-012022-09-052022-11-02
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2022-07-302022-09-302022-11-04
ICBATInternational Conference on Biotechnology and Agroforestry Technology2020-04-15 2020-04-17
ICINTInternational Conference on Information and Network Technologies2024-12-302025-01-252025-03-12
aa*a1ISCAInternational Symposium on Computer Architecture2024-11-152025-03-172025-06-21
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2024-03-212024-06-172024-09-22
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2024-11-14 2025-06-16
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2024-07-112024-11-072025-01-19
ICECCInternational Conference on Electronics, Communications and Control Engineering2025-01-152025-02-152025-03-28
ICBDA'IEEE Conference on Big Data & Analytics2020-07-312020-08-312020-11-17
推荐