[racket-users] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)

2022-07-06 Thread Andrei Chis

15th ACM SIGPLAN International Conference on Software Language Engineering 
(SLE 2022)
December 5-10, 2022 
Auckland, New Zealand


https://conf.researchr.org/home/sle-2022
http://www.sleconf.org/2022
Follow us on twitter: https://twitter.com/sleconf


We are pleased to invite you to submit papers to the 15th ACM SIGPLAN 
International Conference on Software Language Engineering (SLE 2022), held 
in conjunction with SPLASH, GPCE and SAS 2022. Based on the future 
developments the conference will be hosted in Auckland, New Zealand on 
December 5-10, 2022.


---
Topics of Interest
---

SLE covers software language engineering rather than engineering a specific 
software language. Topics of interest include, but are not limited to:

- Software Language Design and Implementation
- Approaches to and methods for language design
- Static semantics (e.g. design rules, well-formedness constraints)
- Techniques for specifying behavioral / executable semantics
- Generative approaches (incl. code synthesis, compilation)
- Meta-languages, meta-tools, language workbenches
- Software Language Validation
- Verification and formal methods for languages
- Testing techniques for languages
- Simulation techniques for languages
- Software Language Integration and Composition
- Coordination of heterogeneous languages and tools
- Mappings between languages (incl. transformation languages)
- Traceability between languages
- Deployment of languages to different platforms
- Software Language Maintenance
- Software language reuse
- Language evolution
- Language families and variability, language and software product 
lines 
- Domain-specific approaches for any aspects of SLE (design, 
implementation, validation, maintenance)
- Empirical evaluation and experience reports of language engineering tools
- User studies evaluating usability
- Performance benchmarks
- Industrial applications
- "Synergies between Language Engineering and emerging/promising research 
areas"
- AI and ML language engineering (e.g., ML compiler testing, code 
classification) Quantum language engineering (e.g., language design for 
quantum machines)
- Language engineering for physical systems (e.g., CPS, IoT, digital 
twins)
- Socio-technical systems and language engineering (e.g., language 
evolution to adapt to social requirements)
- Etc.

---
Types of Submissions
---

SLE accepts the following types of papers:

- **Research papers**: These are "traditional" papers detailing research 
contributions to SLE. Papers may range from 6 to 12 pages in length, and 
may optionally include 2 further pages of bibliography/appendices. Papers 
will be reviewed with an understanding that some results do not need 12 
full pages and may be fully described in fewer pages.

- **New ideas / vision papers**: These are papers that may describe new, 
unconventional software language engineering research positions or 
approaches that depart from standard practice. They can describe 
well-defined research ideas that are at an early stage of investigation. 
They could also provide new evidence to challenge common wisdom, present 
new unifying theories about existing SLE research that provides novel 
insight or that can lead to the development of new technologies or 
approaches, or apply SLE technology to radically new application areas. New 
ideas / vision papers must not exceed 5 pages, and may optionally include 1 
further page of bibliography / appendices.

- **SLE Body of Knowledge**: The SLE Body of Knowledge (SLEBoK) is a 
community-wide effort to provide a unique and comprehensive description of 
the concepts, best practices, tools and methods developed by the SLE 
community. To this respect, the SLE conference will accept surveys, essays, 
open challenges, empirical observations and case study papers on the SLE 
topics. These can focus on but they are not limited to methods, techniques, 
best practices and teaching approaches. Papers in this category can have up 
to 20 pages, including bibliography/appendices.

- **Tool papers**: These are papers which focus on the tooling aspects 
which are often forgotten or neglected in research papers. A good tool 
paper focuses on practical insights that are likely to be useful to other 
implementers or users in the future. Any of the SLE topics of interest are 
appropriate areas for tool demonstrations. Submissions must not exceed 5 
pages and may optionally include 1 further page of bibliography / 
appendices. They may optionally come with an appendix with a demo outline / 
screenshots and/or a short video/screencast illustrating the tool.

**Workshops**: Workshops will be organized by SPLASH. Please inform us 

[racket-users] Re: can't open DrRacket 8.5 on M1 macOS

2022-07-06 Thread Mark Bestley
Kuang-Chen Lu  writes:

> Hi,
>
> My colleague can’t open a fresh installation of DrRacket. She installed the 
> DrRacket 8.5
> Apple Silicon 64-bit version.
>
> Her screen recording shows more details:
>
> * After trying to open DrRacket (00:00 of the video), no window shows up
> * Besides, DrRacket cannot be found in the Activity Monitor (00:08), which 
> confirms
>  that DrRacket is not running.
> * After trying to open DrRacket again (00:15), still, no window shows up
> * If you look at the Dock (the sequence of App icons at the bottom of the 
> screen)
>  carefully, you will notice that something shows up and then disappears 
> immediately
>  every time (00:02 and 00:16) DrRacket is opened. This suggests that DrRacket 
> is
>  closed immediately after being opened.
>

This is a known problem see Github issue 
https://github.com/racket/racket/issues/3666

-- 
Mark

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/m1fsjf7sbg.fsf%40bestley.co.uk.