From 7d34c90e162e9f12e245a7d239043c3f5486ed4c Mon Sep 17 00:00:00 2001 From: Adrian Sampson Date: Sun, 14 Apr 2024 16:24:53 -0400 Subject: [PATCH] Announce --- _announce/2024-03-15-oopsla_2024.txt | 321 ++++++++++++++++++ _announce/2024-03-17-smt_2024.txt | 46 +++ _announce/2024-03-21-pact_2024.txt | 102 ++++++ _announce/2024-03-25-mit_plr_2024.txt | 17 + _announce/2024-04-03-pldi_2024.txt | 98 ++++++ _announce/2024-04-04-farm_2024.txt | 140 ++++++++ _announce/2024-04-08-concur_2024.txt | 97 ++++++ _announce/2024-04-08-sigmetrics_ifip_2024.txt | 133 ++++++++ _announce/2024-04-10-lipari_ss.txt | 35 ++ 9 files changed, 989 insertions(+) create mode 100644 _announce/2024-03-15-oopsla_2024.txt create mode 100644 _announce/2024-03-17-smt_2024.txt create mode 100644 _announce/2024-03-21-pact_2024.txt create mode 100644 _announce/2024-03-25-mit_plr_2024.txt create mode 100644 _announce/2024-04-03-pldi_2024.txt create mode 100644 _announce/2024-04-04-farm_2024.txt create mode 100644 _announce/2024-04-08-concur_2024.txt create mode 100644 _announce/2024-04-08-sigmetrics_ifip_2024.txt create mode 100644 _announce/2024-04-10-lipari_ss.txt diff --git a/_announce/2024-03-15-oopsla_2024.txt b/_announce/2024-03-15-oopsla_2024.txt new file mode 100644 index 0000000..ba82cba --- /dev/null +++ b/_announce/2024-03-15-oopsla_2024.txt @@ -0,0 +1,321 @@ +--- +title: "Call for Papers -- Object-oriented Programming, Systems, Languages, and Applications 2024" +timestamp: "3/15/2024 19:27:38" +deadline: "4/5/2024" +--- +======================================================================== + PACMPL Issue OOPSLA 2024 + + Call for Papers + + OOPSLA 2024 will be held as part of +The ACM Conference on Systems, Programming, Languages, and Applications: + Software for Humanity (SPLASH'24) + + October 20-25, 2024, Pasadena, California, United States + + https://2024.splashcon.org/track/splash-2024-oopsla +======================================================================== + +### Important dates + +#### ROUND 2: +Submission Deadline: Fri Apr 5, 2024 +Author Response: Mon Jun 3 - Wed Jun 5, 2024 +Author Notification: Fri Jun 21, 2024 +Artifact Submission: Fri Jul 5, 2024 +Artifact kick-tires: Sat Jul 6 - Fri Jul 19, 2024 +Submission of Revisions: Sun Aug 4, 2024 +Author Notification of Revisions: Sun Aug 18, 2024 +Artifact Notification: Fri Aug 23, 2024 +Camera Ready: Sun Sep 1, 2024 + + +Papers accepted at either of the rounds will be published in the 2024 +volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH +conference in October 2024. + +### Scope + +The OOPSLA issue of the Proceedings of the ACM on Programming Languages +(PACMPL) welcomes papers focusing on all practical and theoretical +investigations of programming languages, systems and environments. +Papers may target any stage of software development, including +requirements, modelling, prototyping, design, implementation, +generation, analysis, verification, testing, evaluation, maintenance, +and reuse of software systems. Contributions may include the +development of new tools, techniques, principles, and evaluations. + +#### Review Process + +PACMPL(OOPSLA) has two rounds of reviewing with submission deadlines +around October and April each year. As you submit your paper you will +receive around three reviews and an opportunity to provide an author +response that will be read and addressed by the reviewers in the final +decision outcome summary. There are 5 possible outcomes at the end of +the round: + +*Accept*: Your paper will appear in the upcoming volume of PACMPL +(OOPSLA). + +*Conditional Accept*: You will receive a list of required revisions +that you will need to address. You must submit a revised paper, a clear +explanation of how your revision addresses these comments, and +"if possible" a diff of the PDF as supplementary material. Assuming +you meet the listed requirements, after further review by the same +reviewers, your paper will very likely be accepted. This process +*has to be completed within two months of the initial decision* for the +paper to be accepted, so we encourage timely turnaround in case +revisions take more than one cycle to be accepted. + +*Minor Revision*: The reviewers have concerns that go beyond what can +be enumerated in a list. Therefore, while you may receive a list of +revisions suggested by the reviewers, this will not necessarily be +comprehensive. You will have the opportunity to resubmit your revised +paper and have it re-reviewed by the same reviewers, which may or may +not result in your paper's acceptance. When you resubmit, you should +clearly explain how the revisions address the comments of the +reviewers, by including a document describing the changes and "if +possible" a diff of the PDF as supplementary material. This process +*has to be completed within two months of the initial decision* for the +paper to be accepted in the current round, so we encourage timely +turnaround in case revisions take more than one cycle to be accepted. + +*Major Revision*: You will receive a list of revisions suggested by the +reviewers. Papers in this category are *invited to submit a revision +to the next round of submissions* with a specific set of expectations +to be met. When you resubmit, you should clearly explain how the +revisions address the comments of the reviewers, by including a +document describing the changes and "if possible" a diff of the PDF as +supplementary material. The revised paper will be re-evaluated in the +next round. Resubmitted papers will retain the same reviewers +throughout the process to the extent possible. + +*Reject*: Rejected papers will not be included in the upcoming volume +of PACMPL(OOPSLA). Papers in this category are not guaranteed a review +if resubmitted less than one year from the date of the original +submission. A paper will be judged to be a resubmission if it is +substantially similar to the original submission. The Chairs will +decide whether or not a paper is a resubmission of the same work. + +### Submissions + +Submitted papers must be at most **23 pages** in 10 point font. There +is no page limit on references. No appendices are allowed on the main +paper, instead authors can upload supplementary material with no page +or content restrictions, but reviewers may choose to ignore it. +Submissions must adhere to the "ACM Small" template available from +[the ACM](http://www.acm.org/publications/authors/submissions). Papers +are expected to use author-year citations. Author-year citations may be +used as either a noun phrase, such as "The lambda calculus was +originally conceived by Church (1932)", or a parenthetic phase, such +as "The lambda calculus (Church 1932) was intended as a foundation for +mathematics". + +PACMPL uses double-blind reviewing. Authors' identities are only +revealed if a paper is accepted. Papers must + +1. omit author names and institutions, +2. use the third person when referencing your work, +3. anonymise supplementary material. + +Nothing should be done in the name of anonymity that weakens the +submission; see the DBR FAQ. When in doubt, contact the Review +Committee Chairs. + +Papers must describe unpublished work that is not currently submitted +for publication elsewhere as described by [SIGPLAN's Republication +Policy](http://www.sigplan.org/Resources/Policies/Republication). +Submitters should also be aware of [ACM's Policy and Procedures on +Plagiarism](http://www.acm.org/publications/policies/plagiarism_policy). +Submissions are expected to comply with the [ACM Policies for +Authorship](https://www.acm.org/publications/authors/information-for-authors). + +#### Artifacts + +Authors should indicate with their initial submission if an artifact +exists, describe its nature and limitations, and indicate if it will +be submitted for evaluation. Accepted papers that fail to provide an +artifact will be requested to explain the reason they cannot support +replication. It is understood that some papers have no artifacts. +Please note that the artifact submission deadline will be following +closely the paper submission deadline so make sure you check the +Artifact Call as soon as you submit your paper to PACMPL(OOPSLA). + +##### Data-Availability Statement + +To help readers find data and software, OOPSLA recommends adding a +section just before the references titled Data-Availability Statement. +If the paper has an artifact, cite it here. If there is no artifact, +this section can explain how to obtain relevant code. The statement +does not count toward the OOPSLA 2024 page limit. It may be included +in the submitted paper; in fact we encourage this, even if the DOI is +not ready yet. + +Example: + +\section{Conclusion} +.... + +\section*{Data-Availability Statement} +The software that supports~\cref{s:design,s:evaluation} +is available on Software Heritage~\cite{artifact-swh} +and Zenodo~\cite{artifact-doi}. + +\begin{acks} +.... + +#### Expert PC Members + +During the submission, we will ask you to list up to 3 non-conflicted +PC members who you think are experts on the topic of this submission, +starting with the most expert. This list will not be used as an input +during the paper assignment and it will not be visible to the PC. It +may be used by the PC Chair and Associate Chairs for advice on +external experts if the paper lacks expert reviews. + +### Publication + +PACMPL is a Gold Open Access journal, all papers will be freely +available to the public. Authors can voluntarily cover the article +processing charge ($400 USD), but payment is not required. The +official publication date is the date the journal is made available in +the ACM Digital Library. The journal issue and associated papers may +be published up to two weeks prior to the first day of the conference. +The official publication date affects the deadline for any patent +filings related to published work. + +By submitting your article to an ACM Publication, you are +acknowledging that you and your co-authors are subject to all [ACM +Publications Policies](https://www.acm.org/publications/policies), +including ACM’s [new Publications Policy on Research Involving Human +Participants and Subjects](https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). +Alleged violations of this policy or an ACM Publications Policy will +be investigated by ACM and may result in a full retraction of your +paper, in addition to other potential penalties, as per ACM +Publications Policy. + +Please ensure that you and your co-authors obtain [an ORCID ID](https://orcid.org/register), +so you can complete the publishing process for your accepted paper. +ACM has been involved in ORCID from the start and we have recently +made a [commitment to collect ORCID IDs from all of our published +authors](https://authors.acm.org/author-resources/orcid-faqs). +We are committed to improving author discoverability, ensuring proper +attribution and contributing to ongoing community efforts around name +normalization; your ORCID ID will help in these efforts. + +The ACM Publications Board has recently updated the ACM Authorship +Policy in several ways: + +- Addressing the use of generative AI systems in the publications +process +- Clarifying criteria for authorship and the responsibilities of +authors +- Defining prohibited behaviour, such as gift, ghost, or purchased +authorship +- Providing a linked FAQ explaining the rationale for the policy and +providing additional details + +You can find the updated policy here: + +[https://www.acm.org/publications/policies/new-acm-policy-on-authorship](https://www.acm.org/publications/policies/new-acm-policy-on-authorship) + +##### Review Committee + +Review Committee Chairs: + +Alex Potanin, Australian National University, Australia +Bor-Yuh Evan Chang, University of Colorado Boulder, USA + +Review Committee Associate Chairs: + +Anders Møller, Aarhus University, Denmark +Lingming Zhang, UIUC, USA + +Review Committee: + +Aleksandar Nanevski, IMDEA Software Institute, Spain +Alex Summers, University of British Columbia, Canada +Alexandra Bugariu, ETH Zurich, Switzerland +Ana Milanova, Rensselaer Polytechnic Institute, USA +Andreas Zeller, CISPA Helmholtz Center for Information Security, Germany +Anitha Gollamudi, UMass, USA +Ankush Desai, AWS, USA +Ashish Tiwari, Microsoft Research, USA +Ben Hermann, TU Dortmund, Germany +Ben Titzer, CMU, USA +Benjamin Delaware, Purdue University, USA +Bernardo Toninho, Universidade Nova de Lisboa, Portugal +Bruno C. d. S. Oliveira, U. Hong Kong, Hong Kong +Burcu Kulahcioglu Ozkan, Delft University of Technology, The Netherlands +Casper Bach Poulsen, Delft University of Technology, Netherlands +Colin Gordon, Drexel University, USA +Corina Pasarenau, NASA, USA +Cyrus Omar, University of Michigan, USA +Damien Zufferey, Sonar Source, Switzerland +Dana Drachsler Cohen, Technion, Israel +David Darais, Galois, USA +David Pearce, ConsenSys, New Zealand +Di Wang, Peking University, China +Emma Söderberg, Lund University, Sweden +Emma Tosch, Northeastern University, USA +Fabian Muehlboeck, Australian National University, Australia +Fei He, Tsinghua University, China +Filip Niksic, Google, USA +Fredrik Kjolstad, Stanford University, USA +Guido Salvaneschi, University of St. Gallen, Switzerland +Hila Peleg, Technion, Israel +Jiasi Shen, The Hong Kong University of Science and Technology, China (Hong Kong) +Jonathan Bell, Northeastern University, USA +Jonathan Brachthäuser, University of Tübingen, Germany +Joseph Tassarotti, New York University, USA +Justin Hsu, Cornell University, USA +Karine Even-Mendoza, King's College London, UK +Kenji Maillard, Inria Rennes, France +Matthew Flatt, U. Utah, USA +Matthew Parkinson, Microsoft, UK +Max Schaefer, GitHub, UK +Michael Coblenz, UCSD, USA +Milos Gligoric, UT Austin, USA +Minseok Jeon, Korea University, Korea +Mohamed Faouzi Atig, Uppsala University, Sweden +Owolabi Legunsen, Cornell University, USA +Pamela Zave, AT&T Laboratories, USA +Pavel Panchekha, University of Utah, USA +Rahul Gopinath, University of Sydney, Australia +Rajiv Gupta, UC Riverside, USA +Saman Amarasinghe, MIT, USA +Santosh Pande, Georgia Institute of Technology, USA +Sean Treichler, NVIDIA, USA +Shachar Itzhaky, Technion, Israel +Shaz Qadeer, Facebook, USA +Sheng Chen, University of Louisiana at Lafayette, USA +Shigeru Chiba, University of Tokyo, Japan +Shriram Krishnamurthi, Brown University, USA +Sreepathi Pai, University of Rochester, USA +Stefan Brunthaler, University of the Federal Armed Forces in Munchen, Germany +Steve Blackburn, Google, Australia +Subhajit Roy, IIT Kanpur, India +Sukyoung Ryu, KAIST, Korea +Swarnendu Biswas, IIT Kanpur, India +Thanh Vu Nguyen, George Mason University, USA +Tiark Rompf, Purdue, USA +Tien Nguyen, University of Texas at Dallas, USA +Tomas Petricek, Charles University, Czech Republic +Umut Acar, CMU, USA +Wei Le, Iowa State, USA +Wei Zhang , Meta, USA +Xiaokang Qiu, Purdue University, USA +Yingfei Xiong, Peking University, China +Yizhou Zhang, University of Waterloo, Canada +Youyou Cong, Tokyo Institute of Technology, Japan +Yu David Liu, Binghamton, USA +Yu Feng, UCSB, USA +Yuepeng Wang, Simon Fraser University, Canada + +##### Artifact Evaluation Committee + +Artifact Evaluation Committee Chairs: + +Guillaume Baudart, Inria - École normale supérieure, France +Sankha Narayan Guria, University of Kansas, USA diff --git a/_announce/2024-03-17-smt_2024.txt b/_announce/2024-03-17-smt_2024.txt new file mode 100644 index 0000000..4c818c3 --- /dev/null +++ b/_announce/2024-03-17-smt_2024.txt @@ -0,0 +1,46 @@ +--- +title: "Call for Papers, SMT 2024" +timestamp: "3/17/2024 10:49:42" +deadline: "4/17/2024" +--- +======================================================== +SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories +Montreal, Canada, July 22-23, 2024 +======================================================== + +Paper Submission: April 28, 2024 11.59 pm AoE (Anywhere on Earth) +Notification: June 1, 2024 +Conference website http://smt-workshop.cs.uiowa.edu/2024/ +Submission link https://easychair.org/conferences/?conf=smt2024 + +== Overview +The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: +- Decision procedures and theories of interest +- Combinations of decision procedures +- Novel implementation techniques +- Applications and case studies +- Benchmarks and evaluation methodologies +- Theoretical results + +== Paper submission and Proceedings + +Three categories of submissions are invited: + +1. Extended abstracts : given the informal style of the workshop, we strongly encourage the submission of preliminary reports of work in progress. They may range in length from very short (a couple of pages) to the full 10 pages and they will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings. + +2. Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. + +3. Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. + +Papers in all three categories will be peer-reviewed. Extended abstracts and original papers should not exceed 10 pages. All papers should be in standard-conforming PDF. Technical details may be included in an appendix to be read at the reviewers' discretion. Final versions should be prepared in LaTeX using the easychair.cls class file. (The 10 page limit does not include references.). Presentation-only papers may be submitted as originally published, if published elsewhere, and should not exceed 10 pages otherwise. + +== Invited Speakers +TBD + +== Program Chairs +Giles Reger - Amazon Web Services +Yoni Zohar - Bar-Ilan University + +== Program Committee +TBD + diff --git a/_announce/2024-03-21-pact_2024.txt b/_announce/2024-03-21-pact_2024.txt new file mode 100644 index 0000000..e120f0d --- /dev/null +++ b/_announce/2024-03-21-pact_2024.txt @@ -0,0 +1,102 @@ +--- +title: "Extended Submission Deadline, The International Conference on Parallel Architectures and Compilation Techniques (PACT) 2024" +timestamp: "3/21/2024 2:10:42" +deadline: "4/1/2024" +--- +PACT 2024 will be held in Long Beach, California, USA, 13-16 October, 2024. +PACT 2024 includes a New Call for Tools and Practical Experience Papers + +## Scope + +The International Conference on Parallel Architectures and Compilation Techniques (PACT) is a unique technical conference sitting at the intersection of hardware and software, with a special emphasis on parallelism. The PACT conference series brings together researchers from computer architectures, compilers, execution environments, programming languages, and applications, to present and discuss their latest research results. + +PACT 2024 will be held as an in-person event in Long Beach, California, USA. At least one of the authors of accepted papers will be required to attend the conference, and we encourage all the authors to participate. + +## Specific topics of interest include (but are not limited to): + ++ Parallel architectures, including accelerator architectures for AI or other domains ++ Compilers and tools for parallel architectures (as above) ++ Applications and experimental systems studies of parallel processing ++ Computational models for concurrent execution ++ Multicore, multithreaded, superscalar, and VLIW architectures ++ Compiler and hardware support for hiding memory latencies ++ Support for correctness in hardware and software ++ Reconfigurable parallel computing ++ Dynamic translation and optimization ++ I/O issues in parallel computing and their relation to applications ++ Parallel programming languages, algorithms, and applications ++ Middleware and run-time system support for parallel computing ++ Application-specific parallel systems ++ Distributed computing architectures and systems ++ Heterogeneous systems using various types of accelerators ++ In-core and in-chip accelerators and their exploitation ++ Applications of machine learning to parallel computing ++ Large scale data processing, including computing in memory accelerators ++ Insights for the design of parallel architectures and compilers from modern parallel applications PACT for Quantum and Neurmorphic ++ Neuromorphic computing both as an application for and a tool applied to architectures and compilers ++ Quantum computing architectures and compilers. + +In addition to the regular research papers, PACT 2024 has a special category of papers called “tools and practical experience” (TPE). Such papers are subject to the same page length guidelines and will be reviewed by the same Program Committee. +TPE papers focus on applicability (such as traditional methods employed in emerging fields), exposing challenges and experiences the industry is facing as an opportunity to steer the research. A TPE paper must clearly explain its functionality, provide a summary about the practice experience with realistic case studies, and describe all thesupporting artifacts available (if relevant). The selection criteria are: + ++ Originality: Papers should present PACT-related technologies applied to real-world problems with scope or characteristics that set them apart from previous solutions. ++ Usability: The presented Tools or compilers should have broad usage or applicability. They are expected to assist in PACT-related research, or could be extended to investigate or demonstrate new technologies. If significant components are not yet implemented, the paper will not be considered. ++ Documentation: The tool or compiler should be presented on a web-site giving documentation and further information about the tool. ++ Benchmark Repository: A suite of benchmarks for testing should be provided. ++ Availability: Preferences will be given to tools or compilers that are freely available (at either the source or binary level). Exceptions may be made for industry and commercial tools that cannot be made publicly available for business reasons. ++ Foundations: Papers should incorporate the principles underpinning Parallel Architectures and Compilation Techniques (PACT). However, a thorough discussion of theoretical foundations is not required; a summary of such should suffice. + +## Key dates + ++ Abstract submission deadline: Mar 25, 2024 ++ Paper submission deadline: Apr 1, 2024 ++ Rebuttal period: Jun 3-9, 2024 ++ Author notification: Jul 1, 2024 ++ Artifact submission: Jul 8, 2024 ++ Camera ready papers: Aug 10, 2024 + +*All deadlines are firm at midnight anywhere on earth (AoE)* + +## General co-chairs + +Rajiv Gupta, University of California, Riverside +Nael Abu-Ghazaleh, University of California, Riverside + +## Program Chairs: + +Stefanos Kaxiras, Uppsala University +Alexandra Jimborean, University of Murcia + +## Workshop/Tutorial Chair + +Hoda Naghibijouybari, Binghamton University + +## ACM Student Research Competition Chair: + +Samira Ajorpaz, NCSU + +## Travel Grant Chair: + +Changhee Jung, Purdue University + +## Publications Chair: + +Jongouk Choi, UCF + +## Publicity Co-Chairs: + +Americas: Khaled Khasawneh, George Mason University +Europe: Ihsen Alouani, Queen’s University Belfast + +## Web Chair: + +Daniel Wong, University of California, Riverside + +## Webmaster: + +Pedram Zaree, University of California, Riverside + +## Call for Papers + +See the full CFP: +https://pact2024.github.io/submit/ diff --git a/_announce/2024-03-25-mit_plr_2024.txt b/_announce/2024-03-25-mit_plr_2024.txt new file mode 100644 index 0000000..544fe05 --- /dev/null +++ b/_announce/2024-03-25-mit_plr_2024.txt @@ -0,0 +1,17 @@ +--- +title: "Call for Participation, MIT Programming Languages Review 2024" +timestamp: "3/25/2024 13:01:22" +start: "5/4/2024" +end: "5/4/2024" +--- +Save the date! + +Come join us for this year's MIT Programming Languages Review workshop on May 4th! Registration is now open: https://mit.co1.qualtrics.com/jfe/form/SV_dlZXiXeYScmhc9M + +The MIT PLR is a student-run committee that aims to highlight recent developments that we believe have significant potential to shape the future direction of PL research and/or industry practice. We aim to select papers that may substantially transform the PL community and beyond, with a focus on emerging trends rather than established lines of research. + +Stay tuned for our full program details and selected papers here: http://plr.csail.mit.edu/ + +To get a sense of what this year might offer, take a look at last year's program here: https://plr.csail.mit.edu/plr2023.html + +We hope to see you there! diff --git a/_announce/2024-04-03-pldi_2024.txt b/_announce/2024-04-03-pldi_2024.txt new file mode 100644 index 0000000..fef75dc --- /dev/null +++ b/_announce/2024-04-03-pldi_2024.txt @@ -0,0 +1,98 @@ +--- +title: "Call for Participation, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)" +timestamp: "4/3/2024 1:34:06" +start: "6/24/2024" +end: "6/28/2024" +--- +PLDI is a premier forum for programming language research, broadly construed, +including design, implementation, theory, applications, and performance. Come +join us, online or in Copenhagen, Denmark, to discuss the latest programming +languages research! + +* Website : https://pldi24.sigplan.org/attending/registration +* Time : Mon 24--Fri 28 June 2024 +* Place : Radisson Blu Scandinavia, Amager Boulevard 70, 2300 Copenhagen S, + Denmark + +### Important dates + +* Early Registration: 15th of May, 2024 + +### Important rates (Registration rates include a 25% VAT; The prices displayed include tax) + +Registration rates (in-person) On or before 15 May, 2024 After 15 May, 2024 +Regular (ACM or SIGPLAN member) €770.00 €850.00 +Regular (non-member) €850.00 €935.00 +Student (ACM or SIGPLAN member) €425.00 €505.00 +Student (non-member) €475.00 €540.00 + +Registration rates (virtual) On or before 15 May, 2024 After 15 May, 2024 +Regular (ACM or SIGPLAN member) €37.50 €50.00 +Regular (non-member) €37.50 €50.00 +Student (ACM or SIGPLAN member) €37.50 €50.00 +Student (non-member) €37.50 €50.00 + +1-Day Pass (Co-Located events) On or before 15 May, 2024 After 15 May, 2024 +Regular (ACM or SIGPLAN member) €225.00 €250.00 +Regular (non-member) €250.00 €275.00 +Student (ACM or SIGPLAN member) €150.00 €175.00 +Student (non-member) €175.00 €200.00 + + +### Co-located events: + +Co-located Conferences: +- ISMM, ACM SIGPLAN International Symposium on Memory Management + https://conf.researchr.org/home/ismm-2024 +- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems + https://pldi24.sigplan.org/home/LCTES-2024 + +Workshops: +- ARRAY, the Array Programming Workshop + https://pldi24.sigplan.org/home/ARRAY-2024 +- CP, International Workshop on Choreographic Programming + https://pldi24.sigplan.org/home/cp-2024 +- EGRAPH, the E-Graph Research, Applications, Practices, and Human-factors Symposium + https://pldi24.sigplan.org/home/egraphs-2024 +- Infer, the Infer Practitioners Workshop + https://pldi24.sigplan.org/home/infer-2024 +- PLMW, the Programming Languages Mentoring Workshop + https://pldi24.sigplan.org/track/PLMW-PLDI-2024 +- PODELSKI, PLDI 2024 Workshop Honoring Andreas Podelsk + https://pldi24.sigplan.org/home/podelski-2024 +- RTFM, Red-Hot Topics in Faculty Mentoring + https://pldi24.sigplan.org/home/rtfm-2024 +- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis + https://pldi24.sigplan.org/home/SOAP-2024 +- Sparse, the Sparse workshop (formerly CTSTA) + https://pldi24.sigplan.org/home/sparse-2024 +- WQS, Workshop on Quantum Software + https://pldi24.sigplan.org/home/wqs-2024 + +Tutorials: +https://pldi24.sigplan.org/track/pldi-2024-tutorials + +- Algorithms and Applications for Provable Repair of Deep Neural Networks + Aditya V. Thakur +- Concurrent Algorithms in Kotlin Coroutines + Nikita Koval +- Democratizing DSL development with the BuildIt Framework + Ajay Brahmakshatriya, Saman Amarasinghe +- PODELSKI + Thomas Wies, Martin Schäf, Andrey Rybalchenko +- Quick and dirty development of static analyses with LiSA + Luca Negrini, Pietro Ferrara +- Static Code Analysis with SootUp + Eric Bodden, Markus Schmidt, Jonas Klauke, Kadiray Karakaya, Stefan Schott + +Student Research Competition! +https://pldi24.sigplan.org/track/pldi-2024-src + +### Student Volunteering + +Sign up to be a Volunteer and help us make PLDI 2024 a great experience for all +attendants! + +https://pldi24.sigplan.org/track/pldi-2024-student-volunteering + +Apply here: https://forms.gle/QB9Tdmhr9v9ZPGx9A. The deadline is 15th of April. diff --git a/_announce/2024-04-04-farm_2024.txt b/_announce/2024-04-04-farm_2024.txt new file mode 100644 index 0000000..edff57a --- /dev/null +++ b/_announce/2024-04-04-farm_2024.txt @@ -0,0 +1,140 @@ +--- +title: "Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)" +timestamp: "4/4/2024 4:20:14" +deadline: "6/1/2024" +--- +=============================================================================== + 12th ACM SIGPLAN International Workshop on + Functional Art, Music, Modelling and Design + (FARM) + Call for Papers, Demos, and Performance + Milan, Italy, 2nd September 2024 + Deadline: June 1 + https://functional-art.org/2024 +=============================================================================== + +Key Dates +--------- + +Submission deadline June 1 (AoE) +Author notification July 1 +Camera-ready deadline July 15 +Workshop September 2 + +AUTHORS TAKE NOTE: +The official publication date is the date the proceedings are made +available in the ACM Digital Library. This date may be up to two weeks +prior to the first day of your conference. The official publication date +affects the deadline for any patent filings related to published work. + +Call for Papers +--------------- + +The ACM SIGPLAN International Workshop on Functional Art, Music, +Modelling and Design (FARM) encourages submissions from across art, +craft, and design, including textiles, visual art, music, 3D +sculpture, animation, GUIs, video games, 3D printing and architectural +models, choreography, poetry, and even VLSI layouts, GPU +configurations, or mechanical engineering designs. Theoretical +foundations, language design, implementation issues, and applications +in industry or the arts are all within the scope of the workshop. + +In addition to the main workshop, FARM hosts a traditional evening of +performances. Thus, this call encompasses both papers/demos for the +workshop (and its published proceedings) as well as performance +proposals for the evening's event. Authors are invited to make a +single submission for each. Authors may submit both a paper/demo and +performance proposal, but the submissions will be considered +independently. + +Note on Finances +---------------- + +Paid registration to the FARM workshop is usually required for paper +and demo submitters, but will be waived for performers. + +If you would have financial difficulty attending, you can apply for +conference “PAC” funds. Please get in touch for more information. + +Papers +------ + +Paper submissions are invited in three categories: + +- Original research +- Overview / state of the art +- Technology tutorial (especially tools and environments for distributed artistic workflow) + +Papers must be submitted via HotCRP (https://farm24.hotcrp.com) +and meet the following requirements: + +- 5 to 12 pages +- PDF format +- Adhere to the ACM SIGPLAN template + +Accepted papers will be published in the ACM Digital Library as part +of the FARM 2024 proceedings. + +Authors are encouraged to submit auxiliary material for publication +along with their paper (source code, data, videos, images, +etc.). Authors retain all rights to the auxiliary material. + +Demos +----- + +Demo submissions should describe a demonstration and its context, +connecting it with the themes of FARM. A demo could be in the form of +a short (10 to 20 minute) tutorial, a presentation of work in +progress, an exhibition of some work, or even a performance. + +Demos must be submitted via HotCRP (https://farm24.hotcrp.com) +and meet the following requirements: + +- 500 to 2000 words +- Have a title starting with “Demo: ” +- PDF format +- Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat) + +Accepted demos will be published in the ACM Digital Library as part of +the FARM 2024 proceedings. + +Performances +------------ + +FARM seeks proposals for performances which employ programming +techniques (or are generated by programs), in whole or in part. We +invite a diverse range of functionally-themed submissions including +music, video, dance, and performance art. Both live performances and +fixed-media submissions are welcome. We encourage risk-taking +proposals that push forward the state of the art as well as refined +presentations of highly developed practice. In either case, please +support your submission with a clear description of your performance, +including how your performance employs functional programming and a +discussion of influences and prior art as appropriate. If desired, you +may use some of your performance time for a short lecture or +presentation; this must supplement, and not take the place of, a +primary performance. + +Performance proposals should be emailed to +performance@functional-art.org or submitted via HotCRP, and must +include: + +- A description of the performance (please be as specific as possible) +- An explanation of the use of functional programming in the work +- A list of technical requirements +- A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.) + +Accepted performances will be presented at the performance evening. + +Workshop Organization +--------------------- + +Program Chair: Mae Milano (Princeton University) +Workshop Chair: Stephen Taylor (University of Illinois Urbana-Champaign) + +Contact +------- + +For any questions, issues or comments, email +farm-2024@functional-art.org. + diff --git a/_announce/2024-04-08-concur_2024.txt b/_announce/2024-04-08-concur_2024.txt new file mode 100644 index 0000000..d290dc3 --- /dev/null +++ b/_announce/2024-04-08-concur_2024.txt @@ -0,0 +1,97 @@ +--- +title: "CONCUR 2024: Call for Papers (deadline April 26)" +timestamp: "4/8/2024 10:54:45" +deadline: "4/26/2024" +--- +============================ +CONCUR 2024: Call for Papers +============================ + +September 9-13, 2024 +Calgary, Canada +https://confest2024.github.io/CONCUR_call_for_papers.html + +Co-located with QEST+Formats as part of CONFEST 2024 +https://confest2024.github.io/ + +Overview +======== + +CONCUR conferences bring together researchers, developers, and +students interested in advancing the theory of concurrency, and its +applications. CONCUR 2024 solicits high quality papers reporting +research results and/or experience related to semantics, logics, +verification and analysis of concurrent systems. + +Important dates +=============== +(Times are Anywhere on Earth) +Paper Submission: April 26, 2024 +Rebuttal Response: June 4-6, 2024 +Notification: June 21, 2024 +Camera Ready: July 12, 2024 +Conference(s): September 9-13, 2024 +Workshops: Co-located with CONFEST (see the website for more info) + +Topics +====== +Submissions are solicited in the theory and practice of concurrent +systems. The principal topics include (but are not limited to): + +-- Basic models of concurrency such as abstract machines, +domain-theoretic models, categorical and coalgebraic models, +game-theoretic models, process algebras, graph transformation +systems, Petri nets, hybrid systems, mobile and collaborative +systems, probabilistic systems, real-time systems, quantum systems, +biology-inspired systems, and synchronous systems; + +-- Logics for concurrency such as modal logics, program logics, +probabilistic and stochastic logics, temporal logics, and resource +logics; + +-- Verification and analysis techniques for concurrent systems such +as abstract interpretation, atomicity checking, model checking, race +detection, pre-order and equivalence checking, run-time verification, +state-space exploration, static analysis, synthesis, testing, theorem +proving, type systems, and security analysis; + +-- Distributed algorithms and data structures: design, analysis, +complexity, correctness, fault tolerance, reliability, availability, +consistency, self-organization, self-stabilization, protocols; + +-- Theoretical foundations, tools, and empirical evaluations of +architectures, execution environments, and software development for +concurrent systems such as geo-replicated systems, communication +networks, multiprocessor and multi-core architectures, shared and +transactional memory, resource management and awareness, compilers +and tools for concurrent programming, programming models such as +component-based, object- and service-oriented. + +Paper Submission +================ + +-- All papers must be original, unpublished, and not submitted for +publication elsewhere. + +-- Each paper will undergo a thorough review process. The paper may +be supplemented with a clearly marked appendix, which will be reviewed +at the discretion of the program committee. + +-- The CONCUR 2024 proceedings will be published by LIPIcs. Papers +must be submitted electronically as PDF files via HotCRP. + +https://concur2024.hotcrp.com/ + +-- Submissions follow a light double blind process. Papers must not +exceed 14 pages (excluding references and clearly marked appendices) +using the LIPIcs style. + +Awards +====== + +In 2024, CONCUR Test-of-Time and best paper awards will be given for +the fourth time. The winners will be announced at the conference. + +If you have any questions, please contact the CONCUR 2024 PC chairs +Alexandra Silva (alexandra.silva@cornell.edu) or Rupak Majumdar +(rupak@mpi-sws.org). diff --git a/_announce/2024-04-08-sigmetrics_ifip_2024.txt b/_announce/2024-04-08-sigmetrics_ifip_2024.txt new file mode 100644 index 0000000..48e705e --- /dev/null +++ b/_announce/2024-04-08-sigmetrics_ifip_2024.txt @@ -0,0 +1,133 @@ +--- +title: "2024 ACM SIGMETRICS / IFIP Performance: Registration is Open" +timestamp: "4/8/2024 11:13:37" +start: "6/10/2024" +end: "6/14/2024" +--- +Dear SIGPLAN Members, + +Registration is now open for ACM SIGMETRICS / IFIP Performance 2024, +held June 10-14, 2024, at San Servolo Congress Center, Venice, Italy. +SIGMETRICS and Performance are respectively the flagship conferences +of the ACM special interest group for the computer systems performance +evaluation community and of the IFIP working group WG7.3 on +performance modeling and analysis. Every 3 years or so, the two +conferences join, and this is the 16th joint conference. We also +celebrate the 50th ACM SIGMETRICS conference. + +https://www.sigmetrics.org/sigmetrics2024/ + + +REGISTRATION +============ + +Registration is open at: +https://www.sigmetrics.org/sigmetrics2024/registration.html + +The Early Registration deadline is May 15, 2024 + +Please consider that June is high season for Venice. We recommend +booking your hotel at least a few months before the conference. + +Hotel agreements are available at: +https://www.sigmetrics.org/sigmetrics2024/accommodation.html + + +PROGRAM +======= + +Mon, June 10: Tutorials +Tue, June 11 to Thu, June 13: Main conference +Fri, June 14: Workshops + + +KEYNOTE SPEAKERS +================ + +- Michele Zorzi, University of Padova +- John Wilkes, Google + + +WORKSHOPS +========= + +28th International Conference on Analytical and Stochastic Modelling +Techniques and Applications (ASMTA 2024) + +20th European Performance Engineering Workshop (EPEW 2024) + +Learning-augmented Algorithms: Theory and Applications (LATA 2024) + +MAthematical performance Modeling and Analysis (MAMA 2024) + +Teaching Performance Analysis of Computer Systems (TeaPACS 2024) + + +ACCOMMODATION +============= + +The organizing committee has been negotiating accommodation agreements +and discounted rates for ACM SIGMETRICS / IFIP PERFORMANCE 2024 +participants. Considering that June is the high season for Venice, +we encourage you to take advantage of this opportunity and book your +accommodation as soon as possible. Rate agreements expire soon. For +further information, please visit: + +https://www.sigmetrics.org/sigmetrics2024/accommodation.html + + +ORGANIZING COMMITTEE +==================== + +General Chairs +- Andrea Marin (Univ. of Venice “Ca’ Foscari”, Italy) +- Michele Garetto (Univ. of Turin, Italy) + +Program Chairs +- Giulia Fanti (Carnegie Mellon University, US) +- Florin Ciucu (University of Warwick, UK) +- Rhonda Righter (University of California, Berkeley, US) + +Financial Chair +Sabina Rossi (Univ. of Venice “Ca’ Foscari”, Italy) + +Tutorial Chair +Sara Alouf (INRIA, Sophia Antipolis, France) + +Workshops Chairs +- Valeria Cardellini (Univ. of Rome “Tor Vergata”, Italy) +- Dieter Fiems (Univ. Ghent, Belgium) + +Travel Grants Chair +- Qiaomin Xie (University of Wisconsin-Madison, US) + +SRC Chairs +- Lishan Yang (George Mason University, US) +- Nicolas Gast (INRIA, France) + +Proceedings Chair +- Siva Theja Maguluri (Georgia Tech, Atlanta, US) +- Debankur Mukherjee (Georgia Tech, Atlanta, US) + +Publicity Chairs +- Marco Paolieri (Univ. of Southern California, US) +- Maryam Elahi (Mount Royal University, Canada) + +Web Chair +- Paolo Castagno (Univ. of Turin, Italy) + +Registration Chair +- Bo Ji (Virginia Tech, US) + +Local Arrangement Chairs +- Diletta Olliaro (Univ. Ca' Foscari of Venice, Italy) +- Sabina Rossi (Univ. Ca' Foscari of Venice, Italy) + + +CONTACTS +======== + +Contact the SIGMETRICS / Performance 2024 General chairs Andrea Marin +(marin@unive.it) or Michele Garetto (michele.garetto@unito.it) in case +of questions or concerns. + diff --git a/_announce/2024-04-10-lipari_ss.txt b/_announce/2024-04-10-lipari_ss.txt new file mode 100644 index 0000000..12f2fe1 --- /dev/null +++ b/_announce/2024-04-10-lipari_ss.txt @@ -0,0 +1,35 @@ +--- +title: "Call for Participation, Lipari Summer School on Abstract Interpretation" +timestamp: "4/10/2024 3:10:21" +start: "9/1/2024" +end: "9/7/2024" +--- +The Lipari Summer School on Abstract Interpretation will be held on the beautiful island of Lipari, Italy, from September 1st to September 7th, 2024. + +This immersive week-long journey, set in the stunning surroundings of Lipari Island, aims to provide MSc, Ph.D. students, postdocs, and young researchers with a rich learning environment dedicated to the exploration of abstract interpretation, its applications, and its recent advances both in industry and research academia. + +The list of topics covered during the summer school includes abstract interpretation, static analysis, program analysis, software verification, formal methods, formal methods for artificial intelligence, and use of static analysis in industry. + +Deadline for applications: 15th June 2024 +For more information regarding travel, accommodations, and fees, please visit the website: https://absint24.liparischool.it/ + +Speakers + - Patrick Cousot (New York University, USA) + - Helmut Seidl (Technical University of Munich, Germany) + - Laurent Mauborgne (AbsInt) + - Thomas Jensen (University of Rennes & INRIA, France) + - Caterina Urban (INRIA & École Normal Supérieure, France) + - Enea Zaffanella (University of Parma, Italy) + - Raphaël Monat (University of Lille & INRIA, France) + - Luca Negrini (University Ca’ Foscari of Venice, Italy) + +Scientific Committee + - Vincenzo Arceri (University of Parma, Italy) + - Isabella Mastroeni (University of Verona, Italy) + - Antoine Miné (Sorbonne Université, France) + +Organizing Committee and Contacts + - Vincenzo Arceri (University of Parma, Italy, vincenzo.arceri@unipr.it) + - Isabella Mastroeni (University of Verona, Italy, isabella.mastroeni@univr.it) + - Antoine Miné (Sorbonne Université, France, antoine.mine@lip6.fr) + - Michele Pasqua (University of Verona, Italy, michele.pasqua@univr.it)