Skip to content

Commit 12b7b2c

Browse files
sampsyosampsyo
committed
Announce
1 parent 294dfd4 commit 12b7b2c

File tree

3 files changed

+332
-0
lines changed

3 files changed

+332
-0
lines changed

Diff for: ‎_announce/2025-03-01-gpce_2025.txt

+177
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,177 @@
1+
---
2+
title: "Call for Papers, 24th International Conference on Generative Programming: Concepts & Experiences (GPCE 2025)"
3+
timestamp: "3/1/2025 18:47:21"
4+
deadline: "4/2/2025"
5+
---
6+
===================================================================
7+
8+
GPCE 2025
9+
10+
24th International Conference on
11+
Generative Programming: Concepts & Experiences
12+
13+
--
14+
3-4 July, 2025, co-located with ECOOP
15+
Bergen, Norway
16+
17+
CALL FOR PAPERS
18+
19+
https://2025.ecoop.org/home/gpce-2025
20+
21+
===================================================================
22+
23+
The ACM SIGPLAN International Conference on Generative Programming:
24+
Concepts & Experiences (GPCE) is a programming languages conference
25+
focusing on techniques and tools for code generation, language
26+
implementation, and product-line development. This is the 24th
27+
edition of the conference, co-located with the ECOOP 2025
28+
conference in Bergen, Norway.
29+
30+
======================== Topics of Interest ========================
31+
32+
GPCE seeks conceptual, theoretical, empirical, and technical
33+
contributions to its topics of interest, which include but are not
34+
limited to:
35+
36+
* program transformation, staging,
37+
* macro systems, preprocessors,
38+
* program synthesis,
39+
* code-recommendation systems,
40+
* domain-specific languages,
41+
* generative language workbenches,
42+
* language embedding, language design,
43+
* domain engineering,
44+
* software product lines, configurable software,
45+
* feature interactions,
46+
* applications and properties of code generation,
47+
* language implementation,
48+
* AI/ML techniques for generative programming,
49+
* generative programming for AI/ML techniques,
50+
* low code / no code approaches.
51+
52+
GPCE promotes cross-fertilization between programming languages and
53+
software development and among different styles of generative
54+
programming in its broadest sense.
55+
56+
Authors are welcome to check with the PC chair whether their
57+
planned papers are in scope.
58+
59+
======================== Paper Categories =========================
60+
61+
GPCE solicits four kinds of submissions:
62+
63+
Full Papers:
64+
reporting original and unpublished results of research that
65+
contribute to scientific knowledge for any GPCE topics. Full
66+
paper submissions must not exceed 12 pages excluding the
67+
bibliography.
68+
69+
Short Papers:
70+
presenting unconventional ideas or new visions in any GPCE
71+
topics. Short papers do not always contain complete results as in
72+
the case of full papers, but can introduce new ideas to the
73+
community and get early feedback. Note that short papers are not
74+
intended to be position statements. Accepted short papers are
75+
included in the proceedings and will be presented at the
76+
conference. Short paper submissions must not exceed 6 pages
77+
excluding the bibliography, and must have the text “(Short
78+
Paper)” appended to their titles.
79+
80+
Tool Demonstrations:
81+
presenting tools for any GPCE topics. Tools must be available for
82+
use and must not be purely commercial. Submissions must provide a
83+
tool description not exceeding 6 pages excluding bibliography and
84+
a separate demonstration outline including screenshots also not
85+
exceeding 6 pages. Tool demonstration submissions must have the
86+
text “(Tool Demonstration)” appended to their titles. If they are
87+
accepted, tool descriptions will be included in the
88+
proceedings. The demonstration outline will only be used for
89+
evaluating the submission.
90+
91+
Generative Pearls:
92+
are elegant essays about generative programming. Examples include
93+
but are not limited to an interesting application of generative
94+
programming and an elegant presentation of a (new or old) data
95+
structure using generative programming (similar to Functional
96+
Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl
97+
papers are included in the proceedings and will be presented at
98+
the conference. Generative Pearl submissions must not exceed 12
99+
pages excluding the bibliography, and must have the text
100+
“(Generative Pearl)” appended to their titles.
101+
102+
========================= Paper Selection =========================
103+
104+
The GPCE program committee will evaluate each submission according
105+
to the following selection criteria:
106+
107+
Novelty.
108+
Papers must present new ideas or evidence and place them
109+
appropriately within the context established by previous research
110+
in the field.
111+
112+
Significance.
113+
The results in the paper must have the potential to add to the
114+
state of the art or practice in significant ways.
115+
116+
Evidence.
117+
The paper must present evidence supporting its claims. Examples
118+
of evidence include formalizations and proofs, implemented
119+
systems, experimental results, statistical analyses, and case
120+
studies.
121+
122+
Clarity.
123+
The paper must present its contributions and results clearly.
124+
125+
========================= Important Dates =========================
126+
127+
Abstract Submission: Wed 26 Mar 2025
128+
Paper Submission: Wed 2 Apr 2025
129+
Review Notification: Fri 9 May 2025
130+
Author Response: Mon 12 May 2025
131+
Final Notification: Mon 19 May 2025
132+
Conference: Thu 3 - Fri 4 July, 2025
133+
134+
========================== Organization ===========================
135+
136+
PC Chair: Nada Amin, Harvard
137+
General Co-Chair: Sebastian Erdweg, JGU Mainz
138+
General Co-Chair: Amir Shaikhha, University of Edinburgh
139+
Publicity Chair: Jeremy Yallop, University of Cambridge
140+
141+
============================ PC Members ===========================
142+
143+
Bernhard Rumpe, RWTH Aachen University
144+
Casper Bach Poulsen, University of Southern Denmark
145+
Cyrus Omar, University of Michigan
146+
Eli Tilevich, Virginia Tech
147+
Elisa Gonzalez Boix, Vrije Universiteit Brussel
148+
Geoffrey Mainland, Drexel University
149+
Georg Ofenbeck
150+
Guillaume Allais, University of Strathclyde
151+
Jeremy Yallop, University of Cambridge
152+
Judith Michael, RWTH Aachen University
153+
Julia Lawall, Inria
154+
Kenichi Asai, Ochanomizu University
155+
Klaus Ostermann, University of Tuebingen
156+
L. Thomas van Binsbergen, University of Amsterdam
157+
Lionel Parreaux, The Hong Kong University of Science and Technology
158+
Malte Lochau, University of Siegen
159+
Maryam Mehri Dehnavi, University of Toronto
160+
Michel Steuwer, Technische Universität Berlin
161+
Ondřej Lhoták, University of Waterloo
162+
Parisa Ataei, Cornell University
163+
Philiip Wadler, University of Edinburgh
164+
Robert Glück, DIKU, Dept. of Computer Science, Univ. of Copenhagen
165+
Ruby Tahboub, University of Illinois Urbana-Champaign
166+
Sandro Stucki, Amazon Prime Video Automated Reasoning
167+
Sheng Chen, UL Lafayette
168+
Shigeru Chiba, University of Tokyo
169+
Shoaib Kamil, Adobe Research
170+
Simon Fowler, University of Glasgow
171+
Tijs van der Storm, CWI
172+
Ulrik Pagh Schultz Lundquist, University of Southern Denmark
173+
Vadim Zaytsev, Universiteit Twente
174+
Walter Binder, Università della Svizzera italiana (USI)
175+
Yukiyoshi Kameyama, University of Tsukuba
176+
Zena Ariola, University of Oregon
177+

Diff for: ‎_announce/2025-03-01-onward_2025.txt

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
---
2+
title: "Onward! 2025 Joint Call for Papers and Essays"
3+
timestamp: "3/1/2025 21:48:50"
4+
deadline: "4/24/2025"
5+
---
6+
# Onward! 2025 Joint Call for Papers and Essays
7+
8+
The ACM SIGPLAN Symposium on New Ideas in Programming and Reflections on Software (Onward!) is a forum for new ideas and paradigms for every aspect of programming. Welcomed are both papers and essays (in separate tracks) that propose and argue for new approaches to the creation of software as well as reflections on technology and ideas bearing on programming broadly construed.
9+
10+
## Important Dates (Both Tracks)
11+
12+
- Submission: April 24, 2025
13+
- First round notification: June 6, 2025
14+
- Revision deadline: July 17, 2025
15+
- Final Notification: August 11, 2025
16+
- Camera-Ready: August 25, 2025
17+
18+
## Onward! 2025 Papers
19+
20+
Onward! Papers is looking for grand visions and new paradigms that could make a big difference in how we will one day build software. But it is not looking for research-as-usual papers—conferences like OOPSLA are the place for that. Those conferences require rigorous validation such as theorems or empirical experiments, which are necessary for scientific progress, but which typically preclude discussion of early-stage ideas. Onward! papers must also supply some degree of validation because mere speculation is not a good basis for progress. However, Onward! accepts less rigorous methods of validation such as compelling arguments, exploratory implementations, and substantial examples. The use of worked-out examples to support new ideas is strongly encouraged.
21+
22+
The full call for papers is available at https://2025.splashcon.org/track/splash-2025-Onward-papers#Call-for-Papers
23+
24+
## Onward! 2025 Essays
25+
26+
Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short.
27+
28+
An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.
29+
30+
Onward! Essays invites proficient software developers, experienced academics, and courageous graduate students to submit essays on the current state and possible futures of software development technology and practices, as well as presentations of ideas that could change the realm of software development. Constructive criticism is welcome and authors who are dissatisfied—or satisfied!—with the state of our art are encouraged to share insights about how to reform—or improve—software development, perhaps by presenting detailed examples of a new approach, demonstrating concrete benefits and potential risks.
31+
32+
Onward! Essays is not looking for research-as-usual papers—an essay doesn’t contain definitive validation; however, regardless of its form or topic, the essay must have “substance.” An essay may or may not have a conclusion, but it must provide some insight or compelling argument, either directly or indirectly stated; the reader should be left—perhaps after some reflection—in no doubt about the claimed insight or argument. The key characteristic of a successful essay is that it shows a keen mind coming to grips with a tough or intriguing problem in such a way that, as Virginia Woolf wrote, “it explains much and tells much.”
33+
34+
The full call for papers is available at https://2025.splashcon.org/track/splash-2025-Onward-Essays#Call-for-Essays
35+
36+

Diff for: ‎_announce/2025-03-11-lctes_2025.txt

+119
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,119 @@
1+
---
2+
title: "[Deadline Extended] LCTES 2025: Call for Papers"
3+
timestamp: "3/11/2025 7:37:29"
4+
deadline: "3/21/2025"
5+
---
6+
---
7+
8+
__Call for Papers__
9+
10+
26th ACM SIGPLAN/SIGBED International Conference on
11+
12+
Languages, Compilers, and Tools for Embedded Systems (LCTES 2025)
13+
14+
https://pldi25.sigplan.org/home/LCTES-2025
15+
16+
Seoul, South Korea, June 16-17, 2025
17+
18+
---
19+
20+
Dear Colleagues,
21+
22+
We would like to bring your attention to the call for papers for the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2025). LCTES 2025 will be held in Seoul, South Korea 🇰🇷 from June 16 to 17, 2025, co-located with PLDI 2025.
23+
24+
We enthusiastically look forward to your submissions on programming languages, compilers, tools, theory, and architectures that help in overcoming technical challenges in embedded systems and their emerging applications. Our sincere apologies if you receive multiple copies of this message.
25+
26+
## About the Conference
27+
28+
LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications.
29+
30+
## Important Dates
31+
32+
- Abstract Submission: <s>March 7, 2025</s> March 14, 2025 (soft, open until March 21)
33+
- Paper Submission: <s>March 14, 2025</s> March 21, 2025
34+
- Paper Notification: April 21, 2025
35+
- Artifact Evaluation Submission: April 28, 2025
36+
- Artifact Evaluation Notification: May 9, 2025
37+
- Camera-Ready Submission: May 12, 2025
38+
- Conference Dates: June 16-17, 2025
39+
40+
(All times are UTC-12, or "anywhere on earth", unless otherwise stated.)
41+
42+
43+
## Paper Categories
44+
45+
- Full paper: 10 pages presenting original work (at most 2 additional pages for references and appendix)
46+
47+
- Poster, work-in-progress and invited paper: 4 pages papers presenting original ideas that are likely to trigger interesting discussions
48+
49+
Accepted papers in both categories will appear in the proceedings published by ACM. In addition, there will be Distinguished Paper awards selected from accepted papers to recognize the outstanding work among all papers.
50+
51+
- Submission site: https://lctes2025.hotcrp.com/
52+
53+
54+
## Topics of Interest
55+
56+
Original contributions are solicited on the topics of interest including, but not limited to:
57+
58+
- Programming language challenges
59+
- Domain-specific languages
60+
- Features to exploit multicore, reconfigurable, and other emerging architectures
61+
- Features for distributed, adaptive, and real-time control embedded systems
62+
- Capabilities for specification, composition, and construction of embedded systems
63+
- Language features and techniques to enhance reliability, verifiability, and security
64+
- Virtual machines, concurrency, inter-processor synchronization, and memory management
65+
- Compiler challenges
66+
67+
- Interaction between embedded architectures, operating systems, and compilers
68+
- Interpreters, binary translation, just-in-time compilation, and split compilation
69+
- Support for enhanced programmer productivity
70+
- Support for enhanced debugging, profiling, and exception/interrupt handling
71+
- Optimization for low power/energy, code/data size, and real-time performance
72+
- Parameterized and structural compiler design space exploration and auto-tuning
73+
- Tools for analysis, specification, design, and implementation
74+
- Hardware, system software, application software, and their interfaces
75+
- Distributed real-time control, media players, and reconfigurable architectures
76+
- System integration and testing
77+
- Performance estimation, monitoring, and tuning
78+
- Run-time system support for embedded systems
79+
- Design space exploration tools
80+
- Support for system security and system-level reliability
81+
- Approaches for cross-layer system optimization
82+
- Theory and foundations of embedded systems
83+
84+
- Predictability of resource behavior: energy, space, time
85+
- Validation and verification, in particular of concurrent and distributed systems
86+
- Formal foundations of model-based design as the basis for code generation, analysis, and verification
87+
- Mathematical foundations for embedded systems
88+
- Models of computations for embedded applications
89+
- Novel embedded architectures
90+
91+
- Design and implementation of novel architectures
92+
- Workload analysis and performance evaluation
93+
- Architecture support for new language features, virtualization, compiler techniques, debugging tools
94+
- Architectural features to improve power/energy, code/data size, and predictability
95+
- Mobile systems and IoT
96+
97+
- Operating systems for mobile and IoT devices
98+
- Compiler and software tools for mobile and IoT systems
99+
- Energy management for mobile and IoT devices
100+
- Memory and IO techniques for mobile and IoT devices
101+
102+
- Large language models (LLMs) and programming languages/compilers
103+
- Impact of LLMs on embedded system design and architectures
104+
- LLM-based debugging tools for embedded software
105+
- Adapting LLMs for resource-constraint environment
106+
- LLM for embedded systems and compilers
107+
- LLM for program analysis, testing and verification
108+
- Program analysis, testing and verification for LLM
109+
110+
---
111+
112+
If you have any questions regarding the conference, please contact the program chair: Yongjun Park ([email protected])
113+
114+
Thank you and best regards,
115+
116+
Seonyeong Heo
117+
118+
LCTES 2025 Publicity Chair
119+

0 commit comments

Comments
 (0)