Conference Information
APLAS 2024: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2024Submission Date: |
2024-05-24 |
Notification Date: |
2024-08-02 |
Conference Date: |
2024-10-22 |
Location: |
Kyoto, Japan |
Years: |
22 |
CCF: c CORE: b QUALIS: b1 Viewed: 24234 Tracked: 26 Attend: 2
Call For Papers
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.
Last updated by Dou Sun in 2024-03-24
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
SBAC-PAD | International Symposium on Computer Architecture and High Performance Computing | 2022-07-01 | 2022-11-02 |
PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
ICBAT | International Conference on Biotechnology and Agroforestry Technology | 2020-04-15 | 2020-04-17 |
ICINT | International Conference on Information and Network Technologies | 2018-04-05 | 2018-05-24 |
ISCA | International Symposium on Computer Architecture | 2023-11-14 | 2024-06-29 |
MODELS | International Conference on Model Driven Engineering Languages and Systems | 2024-03-21 | 2024-09-22 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2023-11-16 | 2024-06-24 |
POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2023-07-11 | 2024-01-17 |
ICBDA' | IEEE Conference on Big Data & Analytics | 2020-07-31 | 2020-11-17 |
ICECC | International Conference on Electronics, Communications and Control Engineering | 2021-10-25 | 2022-03-25 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE | 1549-8328 |
International Journal of Programming Languages and Applications | AIRCC | 1839-6291 | ||
Journal of Signal Processing Systems | 0.551 | Springer | 1939-8018 | |
Programming and Computer Software | 0.105 | Springer | 0361-7688 | |
c | Computer Languages, Systems and Structures | 0.915 | Elsevier | 1477-8424 |
Sustainable Computing: Informatics and Systems | 4.028 | Elsevier | 2210-5379 | |
Journal of Pragmatics | 1.476 | Elsevier | 0378-2166 | |
International journal of VLSI Design & Communication Systems | AIRCC | 0976-1527 | ||
IEEE Transactions on Multi-Scale Computing Systems | IEEE | 2332-7766 | ||
b | IEEE Transactions on Human-Machine Systems | 2.563 | IEEE | 2168-2291 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE |
International Journal of Programming Languages and Applications | AIRCC | |
Journal of Signal Processing Systems | 0.551 | Springer |
Programming and Computer Software | 0.105 | Springer |
Computer Languages, Systems and Structures | 0.915 | Elsevier |
Sustainable Computing: Informatics and Systems | 4.028 | Elsevier |
Journal of Pragmatics | 1.476 | Elsevier |
International journal of VLSI Design & Communication Systems | AIRCC | |
IEEE Transactions on Multi-Scale Computing Systems | IEEE | |
IEEE Transactions on Human-Machine Systems | 2.563 | IEEE |
Recommendation