Ranking & Metrics Conference Call for Papers Other Conferences in United States
Asian Symposium on Programming Languages and Systems

Asian Symposium on Programming Languages and Systems

AUckland , New Zealand

Submission Deadline: Thursday 18 Aug 2022

Conference Dates: Dec 05, 2022 - Dec 10, 2022

Research
Impact Score 1.40

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing the best scientists in addition to the h-index estimated from the scientific papers published by the best scientists. See more details on our methodology page.

Research Impact Score: 1.40
Contributing Best Scientists: 14
H5-index:
Papers published by Best Scientists 12
Research Ranking (Computer Science) 556

Conference Call for Papers

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 programming; object-oriented programming; probabilistic programming; logic programming; 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.

Overview

Top Research Topics at Asian Symposium on Programming Languages and Systems?

  • Programming language (43.84%)
  • Theoretical computer science (24.64%)
  • Algorithm (19.20%)

The foci of Asian Symposium on Programming Languages and Systems are Programming language, Theoretical computer science, Algorithm, Static analysis and Functional programming. Semantics (computer science), Compiler, Java, Operational semantics and Soundness are some of the facets of Programming language tackled in it. Operational semantics research presented is mostly focused on the subject of Denotational semantics.

Issues in Theoretical computer science were discussed, taking into consideration concepts from other disciplines like Program analysis, Correctness, Set (abstract data type) and Data structure. The Algorithm works featured in the conference incorporate elements from Function (mathematics) and Algebra.

What are the most cited papers published at the conference?

  • Symbolic execution with separation logic (293 citations)
  • Scalable simulation of cellular signaling networks (194 citations)
  • Using datalog with binary decision diagrams for program analysis (150 citations)

Research areas of the most cited articles at Asian Symposium on Programming Languages and Systems:

The most cited articles are organized to address concerns in the fields of Programming language, Algorithm, Theoretical computer science, Soundness and Separation logic. The published papers explore topics in Algorithm which can be helpful for research in disciplines like Inference, Representation (mathematics), Algebra and Set (abstract data type). Aside from investigating topics in Prolog under Theoretical computer science, the published papers also explore concepts in Logic optimization.

What topics the last edition of the conference is best known for?

  • Programming language
  • Operating system
  • Algorithm

The previous edition focused in particular on these issues:

The conference explores disciplines such as Programming language, Theoretical computer science, Extension (predicate logic), Functional programming and Lambda calculus. The studies in Programming language featured incorporate elements of Reduction (complexity) and Benchmark (computing). The majority of Theoretical computer science studies in Asian Symposium on Programming Languages and Systems are focused on the subject of Horn clause.

It focuses on Extension (predicate logic) but the discussions also offer insight into other areas such as Program synthesis, Binary search tree, Data structure and Auxiliary function. The work on Functional programming tackled in the event brings together disciplines like Simple (philosophy), State (computer science) and Function composition (computer science). The overlapping concepts between Correctness and Compiler, Formal methods, Core language, Scala and Workflow are the key highlights of Lambda calculus study.

The most cited articles from the last conference are:

  • Types of Fireballs (19 citations)
  • New Approaches for Almost-Sure Termination of Probabilistic Programs (16 citations)
  • HoIce: An ICE-Based Non-linear Horn Clause Solver (15 citations)

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

Research.com

The top authors publishing at Asian Symposium on Programming Languages and Systems (based on the number of publications) are:

  • Naoki Kobayashi (9 papers) published 2 papers at the last edition the same number as at the previous edition,
  • Atsushi Igarashi (5 papers) absent at the last edition,
  • Ulrich Schöpp (5 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Akimasa Morihata (4 papers) absent at the last edition,
  • Aquinas Hobor (4 papers) published 1 paper at the last edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Research.com

Only papers with recognized affiliations are considered

The top affiliations publishing at Asian Symposium on Programming Languages and Systems (based on the number of publications) are:

  • Microsoft (14 papers) absent at the last edition,
  • University of Tokyo (10 papers) published 3 papers at the last edition, 1 more than at the previous edition,
  • French Institute for Research in Computer Science and Automation (9 papers) absent at the last edition,
  • Tohoku University (8 papers) absent at the last edition,
  • Technische Universität München (8 papers) absent at the last edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Research.com

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

Research.com

During the most recent 2018 edition, 0.00% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 33.33% were posted by at least one author from the top 10 institutions publishing at the conference. Another 19.05% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 28.57% of all publications and 19.05% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Research.com

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

Research.com

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

Research.com

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Research.com

Previous Editions

Something went wrong. Please try again later.