Papers in 2025
13
Papers, all years
613
Years indexed
26
Since
2000
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202513 papers✓ verified
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2024 to 2025 · papers count once per institution on them
Academia 59%Industry 3%Government and other 38%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷6
- 2Institut national de recherche en sciences et technologies du numérique🇫🇷4
- 3École Normale Supérieure de Lyon🇫🇷2
- 4Université Paris Cité🇫🇷2
- 5Université Paris-Saclay🇫🇷2
- 6Institut de Recherche en Informatique Fondamentale🇫🇷2
- 7The University of Tokyo🇯🇵2
- 8Delft University of Technology🇳🇱2
- 9National University of Quilmes🇦🇷2
- 10Laboratoire Lorrain de Recherche en Informatique et ses Applications🇫🇷2
- 11Université de Lorraine🇫🇷2
- 12University of Pisa🇮🇹1
Countries
- France3
- Japan3
- Argentina2
- India2
- Italy2
- Australia1
- China1
- Germany1
- United Kingdom1
- Norway1
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like APLAS
Closest by the phrases in their paper titles over the last five complete years.
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.34typesprogramslogicreachabilitytyped
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.30programscompilationincorrectnesstypeprogram
- PEPM ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation0.26typedcalculustypesalgebraicprograms
- PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.22programstypesprogramcompilationseparation
- FSCD International Conference on Formal Structures for Computation and Deduction0.16calculusterminationlogictypelogical
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.4 in 2025
Papers by an entirely new team
38% in 2025
Most published at APLAS
- Naoki Kobayashi2001 to 202422
- Zhenjiang Hu2000 to 202015
- Kwangkeun Yi2000 to 201113
- Atsushi Igarashi2001 to 202411
- Wei-Ngan Chin2000 to 202310
- Masato Takeichi2000 to 200410
- Siau-Cheng Khoo2000 to 20219
- Martin Sulzmann2002 to 20218
- Peter Thiemann2004 to 20248
- Shin-Cheng Mu2000 to 20147