Innovations in Software Engineering Conference, ISEC (Formerly known as India Software Engineering Conference) is the annual conference of iSOFT, the India chapter of ACM SIGSOFT (isoft.acm.org) under the umbrella of ACM India. The 17th edition of the conference will be held in International Institute of Information Technology Bangalore, India. ISEC will bring together researchers and practitioners from across th ...

IMPORTANT DEADLINE EXTENSION We extended the submission deadline to 5 April 2024 to give the many of us who have been too busy with the recent ICSE deadline to complete their valuable submission to SE2030 The two-days SE2030 – Software Engineering in 2030 Workshop will define a roadmap for software engineering for the next decade. We invite all the members of the software engineering community to share their vie ...

Blockchain technologies are rapidly evolving and have been applied to diverse domains such as finance, supply chains and logistics, industry 4.0, energy, smart cities, and health care. Many governments have listed blockchain technology as a key enabler of their future economy, together with AI and machine learning, and are actively promoting blockchain adoption through various grants and pilots. Consequently, we ...

The 20th Workshop on Advances in Model Based Testing (A-MOST 2024), co-located with the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), will be a physical event and will take place in May 2024. Topics of interest The increasing complexity, criticality and pervasiveness of software results in new challenges for testing. Model Based Testing (MBT) continues to be an ...

Mobile apps have penetrated into our daily life for a longtime, providing an unprecedented convenience for their users.A massive number of talents and engineers have been involved in the mobile industry to improve its ecosystem from many aspects. For example, security specialists aim to find potential vulnerabilities and malware to protect the mobile ecosystem from attacks. Software architects propose tons of tec ...

The Workshop on Automating Testing (A-TEST, https://a-test.org/) provides a venue for researchers and industry members alike to exchange and discuss trending views, ideas, state of the art, work in progress, and scientific results on automated testing. This year marks the 15th anniversary of the workshop, with the special theme “Using DSLs for test automation and the automated testing of DSLs.”, exactly at the in ...

Welcome! Welcome to the 2024 ACM Interactive Surfaces and Spaces Conference (ACM ISS 2024). The event will take place 27-30 October 2024 in Seattle, WA, USA. The location is yet to de determined. ACM Interactive Surfaces and Spaces (ISS) is the premier academic venue for research in the design, development, and use of new and emerging interactive surface technologies and interactive spaces. We are working hard t ...

We are happy to announce that the fifth edition of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) will take place in Aarhus, Denmark from September 16th to 20th, 2024. The IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) is the leading forum to share the latest research results, ideas and experiences in autonomic computing, sel ...

We invite all people interested in reproducers, automatic bug fixing, automatic error impact reporting to submit their papers for presentation at the workshop. In recent years, there was a significant progress in automatic generation of reproducible test cases, automatic estimation of result accuracy in presence of errors, automatic bug fixing approaches. We will look for cross-pollination between different pla ...

In recent times, the verification of heap-manipulating programs, and static analyses in particular, has seen substantial success, largely due to the development of ‘Separation Logics’ (SLs). SLs provide embedded support for ‘local reasoning’: reasoning about the resource(s) being modified, instead of the state of the entire system. This form of reasoning is enabled by new syntax (dedicated atomic proposition and ...

The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and—more generally—on high-level programming paradigms which promote decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on m ...

Enterprises of the future will be complex system of systems of socio-cyber-physical actors, that operate in dynamic and uncertain environments. They will need to continue delivering on their goals in the face of unforeseen changes and events (such as global pandemics) along multiple dimensions. The goals they aim to meet are also likely to evolve rapidly as enterprises look to exploit opportunities as they emerge ...

The 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems (AI-SEPS) (Co-located with SPLASH 2019 as an ACM SIGPLAN-approved workshop) The purpose of this workshop is to provide a stable forum for researchers and practitioners dealing with compelling challenges and issues of the software development life cycle on modern parallel platform ...

AI-Assisted Code Companion Workshop 2022 9:00am – 6:00pm, Thursday, November 17 Ngee Ann Kongsi Auditorium @ Education Resource Centre, NUS U-Town, Singapore In this workshop, you are going to build a full-fledged, event-driven, serverless application for image recognition using AI-powered coding companion. With the aid of Amazon CodeWhisperer, you’ll write your own code that runs on top of AWS Lambda to inter ...

Much of today’s business runs on software, depends on IT systems and data to perform their daily operations, innovate, and grow. For many companies, the lack of software products that meet their specific needs is a major obstacle to their development. Software Engineering (SE) as a discipline aims at making software development an efficient, reliable, and predictable engineering process. AI is increasingly part ...

The Agda Implementors’ Meeting is a meeting for users and developers who are interested in the Agda programming language and its related topics to share their work, exchange ideas, and learn about the latest developments in Agda and related areas. Whether you are an experienced Agda user or just getting started, we invite you to join us. The meeting consists of presentations concerning theory, implementatio ...

This page will soon grow in content and contain information about the scope of this research track.

The integration of AI techniques in the domain of software testing represents a promising frontier, one that is still at the dawn of its potential. Over the past few years, software developers have witnessed a surge in innovative approaches aimed at streamlining the development lifecycle, with a particular focus on the testing phase. These approaches harness the capabilities of AI, including Convolutional Neura ...

Artificial Intelligence (AI) has achieved substantial success in enhancing various software testing and program analysis techniques and applications, including but not limited to static analysis, fuzz testing, GUI testing, vulnerability detection, code similarity analysis, software debloating, and patching. We often see a synergistic effect that AI models, by learning from past experience to make decisions, can n ...

“Software for all and by all” is the future of humanity. AIware, i.e., AI-powered software, has the potential to democratize software creation. We must reimagine software and software engineering (SE), enabling individuals of all backgrounds to participate in its creation with higher reliability and quality. Over the past decade, software has evolved from human-driven Codeware to the first generation of AIware, k ...

AGILE AND OBJECT ORIENTED PRACTICES IN EMBEDDED SYSTEMS Embedded systems are the most prevalent of all computer systems in the world. More than 99% of all computer/microcontroller products that are sold each year are single purpose embedded systems rather than workstations, desktops, laptops, or server systems. This workshop will gather embedded systems programmers and engineers to discuss how Agile and object o ...

Modern language runtimes are complex, dynamic environments that involve a myriad of components that must work cooperatively to achieve optimal functional and performance requirements of a given programming language. Typical core runtime technologies include dynamic just-in-time compilers for performance and hardware exploitation, garbage collectors for object management, platform abstraction interfaces for ease o ...

WORKSHOP CANCELLED The First International Aspect Oriented Strategies for Domain Modelling (AOSDM16) workshop provides a forum to discuss the possible applications of aspect oriented techniques to domain modelling and management. Domain modelling is a well-known practice to capture the essential semantic of a rich domain. It covers the processing and checking of domain constraints. Both of them that can ideally ...

No description available

This page will soon grow in content and contain information about the scope of this research track.

The Asia-Pacific Software Engineering Conference (APSEC) has long been established as a leading regional conference that gathers researchers and practitioners from academia, industry, and government to exchange knowledge and best practices in software engineering, and to address emerging challenges and solutions in software engineering innovation. This year’s APSEC will be held on December 3-6, 2024 in Chongqing ...

APL, developed in early 1960s, is still used, especially in finance. More felt is its influence on algebra of programming (via FP) and on Matlab. Started as a notation for a (tensor) algebra course, APL lets us look at computation from a vantage point, discern patterns of data flow and put them into words. APL was developed when parsing technology and the art and science of programming language design were just ...

The workshop is on June 25th in room “Stockholm”. Array-oriented programming unites two uncommon properties. As an abstraction, it directly mirrors high-level mathematical concepts commonly used in many fields from natural sciences over engineering to financial modeling. As a language feature, it exposes regular control flow, exhibits structured data dependencies, and lends itself to many types of program analys ...

Workshop on AI and Static Analysis (ASA) AI has achieved ground breaking success in various domains such as speech, vision, and natural language processing. Inspired by this success many researchers and developers have started to explore leveraging AI in various software development areas (AI for code). While many aspects of this area has been explored, the success of statis analysis in identifying various softw ...

Welcome to the website of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). The ASE conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of l ...

The 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024) Software pervasiveness in both industry and digital society, as well as the proliferation of Artificial Intelligence (AI) technologies are continuously leading to emerging needs from both software producers and consumers. Infrastructures, software components, and applications aim to hide their increasing complexity in order to ap ...

Ada Workshop at ESEC/FSE 2022 9:00am – 6:00pm, Thursday, November 17 Ngee Ann Kongsi Auditorium @ Education Resource Centre (Level 2), NUS University Town, Singapore Ada workshop is named after the first computer programmer—Ada Lovelace. The objective of the workshop is to provide a forum for female and minority students at the graduate and advanced undergraduate levels who have interests in software engineeri ...

The workshop will serve as a platform for the presentation and discussion of cutting-edge work in agile Model-Driven Engineering (MDE), drawing from both industrial practice and academic research. Its objectives are to: Facilitate the exchange of insights between practitioners and researchers regarding the challenges and potential solutions in agile MDE approaches. Identify successful strategies and key fac ...

“Allies” are people who support a group who are commonly the subject of discrimination or prejudice, but who are not members of that group. The Ally Skills workshop teaches simple everyday ways for allies to use their privilege and influence to support people who are targets of systemic oppression in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LG ...

BAPL workshop cancelled Due to the on-going Covid-19 pandemic, we are sad to announce that BAPL 2020 has been cancelled. We are grateful to the authors who submitted talk abstracts despite the uncertainty, and we will provide feedback on every submission. We hope to organise the first BAPL workshop at the next PLDI conference. Software building is an unloved but unavoidable part of the software engineering pr ...

The first international workshop on “Beyond Code: No Code,” (BCNC 2021) targets one of the most engaging topics currently spanning the software engineering community. The No Code movement is making its way through all industries, saving time, empowering workers, and creating new possibilities. No Code is changing the software industry by accelerating development and opening up opportunities for less tech-savvy i ...

Welcome to the website of the International Conference on Blockchain Research and Applications (BCRA 2024). BCRA 2024 provides a forum for researchers and practitioners to discuss the advanced applications, technologies, and theories in blockchain research. Blockchain is a decentralized and distributed ledger technology that enables the secure and transparent recording of transactions across a network of comput ...

Behavioural types are abstract representations of the sequences of operations that computational entities (say, channels) must perform. Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack); traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Context Large-scale software systems rely on message-passing protocols: ...

APIs are software interfaces describing the services, functions or procedures offered by a software component to other components. Behavioural Types are a suite of technologies that elevate flat API descriptions to graph structures describing the intended order of usage. This permits automated analyses for correct API compositions to provide guarantees such as service compliance, deadlock freedom, dynamic adaptat ...

Blocks programming, in which program syntax trees are represented as visual blocks, is popular in programming environments targeted at beginner programmers and casual programmers. The goal of this workshop is to bring together language designers, educators, and researchers to (1) discuss the state of the art of these environments, (2) assess the usability and effectiveness of these environments and their associat ...

Reproducible experiments are an important pillar of well-founded research. Having benchmarks that are publicly available and representative of real-world applications is an important step towards that; it allows us to measure the results of a tool in terms of its precision, recall and overall accuracy. Having such benchmarks is different from having a corpus of programs—a benchmark needs to have labelled data tha ...

Workshop webpage Available at https://bokss.github.io/bokss2021/  

Please click the following link to go to the BotSE page: http://botse.org/

Continuing the Salon des Refusés and Convivial Computing Salon tracks from previous years, the Committee is pleased to announce a Boxer-themed workshop to be hosted at <Programming> 2022. Boxer, initiated by Andy diSessa and Hal Abelson as a breakaway from the Logo programming group at MIT in 1978, is arguably the world’s greatest success in creating a malleable, reconstructible, convivial computing mediu ...

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, program ...

Every year since 1997, the French Ministry of Defense organizes a cybersecurity conference, called C&ESAR. This conference is now one of the main events of the European Cyber Week (ECW) organized every fall in Rennes, Brittany, France. The goal of C&ESAR is to bring together governmental, industrial, and academic stakeholders interested in cybersecurity. This event, both educational and scientific, gathe ...

Welcome to CAIN 2024 — 3rd International Conference on AI Engineering – Software Engineering for AI April 14-15, 2024 The goal of the CAIN Conference Series is to bring together researchers and practitioners in software engineering, data science, and artificial intelligence (AI) as part of a growing community that is targeting the challenges of Software Engineering for AI-enabled systems. In development an ...

Most mainstream programming languages now offer the async-await mechanism or coroutines abstraction for asynchronous programming. Kotlin stands out with coroutines that occupy a unique spot in the overall language design, using a single suspend modifier at the language level. Kotlin Coroutines are massively adopted by the Kotlin user base, being a recommended solution to concurrency in Android programming and off ...

March 2nd – March 3th, 2024, Edinburgh, UK Co-located with PPoPP, CGO and HPCA The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. CC is an ACM SIGPLAN conference, and implements guidelines ...

Continuous Integration (CI) and Continuous Delivery (CD) are increasingly widespread throughout the technology sector. As large engineering organizations adopt CI/CD they are often met with scalability challenges. What works for small teams has not proven to work for large teams. This workshop invites practitioners and academics to come together and informally discuss the challenges and opportunities in build, te ...

Welcome to the website of the CGO 2025 conference. We are working hard to fill the website with all related information. Please check back soon!

17th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE 2024) CHASE is the premier venue for research on cooperative and human aspects of software engineering. Since 2008, the CHASE conference has provided a forum to discuss research results long before “human values” started to draw attention in the mainstream software engineering community, including empirical findings, th ...

Status Update CHESE 2017 has been cancelled due to insufficient number of submissions. The 3rd International Coding and Human aspects of Educational Software Engineering Workshop (CHESE 2017) Two of the backbones of software engineering are programming and testing. Both of these require many hours of practice to acquire mastery. To encourage students to put in these hours of practice, educators often employ th ...

CHIUW 2019 is the sixth annual Chapel Implementers and Users Workshop, held in conjunction with PLDI 2019 and ACM FCRC 2019, and sponsored by ACM SIGPLAN. CHIUW’s goal is to serve as a forum where users and developers of the Chapel language (https://chapel-lang.org) can gather to exchange ideas and report on work being done with Chapel and in support of it. Anyone is welcome to attend, from long-term Chapel enthu ...

      CIbSE is the leading Software Engineering research forum in Ibero-America. The main objective of this conference is to promote high quality scientific research in Iberoamerican countries and, thus, to support researchers in this community in the publication and discussion of their work. In addition, the conference fosters collaboration and scientific production between ...

CONFLANG is a workshop on the design, the theory, the practice and the future evolution of configuration languages. Build systems, package managers, operating systems, cloud infrastructures, and web services are examples of modern complex software systems that require an extensive and non-trivial configuration in order to make them adapted to each different use-case. To manage the growing complexity that is then ...

COMBINED OBJECT-ORIENTED MODELING AND PROGRAMMING Languages for modeling and programming are diverging, with the implication that developers who would like to model end up with the challenge of maintaining both model and program artifacts. In addition, modeling is hampered by poor tool support compared to programming. The trend in programming languages is that less attention is paid to the fact that programming ...

COP 2023: The 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity Contextual information plays an ever-increasing role in our information-centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortunately, mainstream programming languages and development environments still do not support this kind of dynam ...

Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to ...

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located wi ...

The CREST 2019 workshop is the fourth in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities. The main objective of CREST is to bring together researchers and practi ...

Links to presentations: https://www.dropbox.com/sh/viso1fz4q9zxi3e/AAAuKtJ_j5LPg5ZWDTv0d6VQa?dl=0 The Constrained and Reactive Objects Workshop (CROW) invites papers that present research results related to using constraints and reactive programming in combination or integrated with imperative and object-oriented systems. This research area has recently received increasing interest again. Object-constraint, cons ...

We must ensure the reliability of scientific computing hardware and software systems that are fundamental to enabling discoveries through high performance computing (HPC) systems that push the edge of computing capabilities. Similarly, the reliability and dependability of systems that make data-driven decisions through large-scale machine learning (ML) must also be ensured, as these systems not only control day-t ...

In a world increasingly driven by software, the role of a software engineer has never been more paramount. From the smartphones in our hands to the most intricate space exploration missions, software systems are at the very heart. Yet, as these systems continue to evolve in size, complexity, and importance, the education and training methods to prepare the next generation of software engineers must be equally ada ...

Functional Programming has been at the forefront of a new generation of programming technologies, and companies have been successfully utilizing functional programming to enable more flexible, robust, and effective software development. The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming. Practitioners meet and collaborate, language designers and user ...

The Celebration of ASE event brings together ASE PC members and other researchers who want to get to know each other, learn about each other’s current projects, learn how others think about technical work, and consider future directions for software-engineering research and practice. The program will combine talks and interactive discussions.

Workshop webpage Available at https://cloudintelligenceworkshop.org  

CoAST is the 1th International Workshop on Context aware and Adaptive Software systems Testing. It aims to bring together the researchers, practitioners, and tool developers working on topics related to the testing and quality assessment of context-aware software (CAS) and adaptive software (AS) systems. We also will welcome contributions that present novel methodologies, techniques, and tools showing how contex ...

CoCoDo is a coding dojo where you can enjoy an entire day of compiler programming under gentle guidance of field experts. Compiler construction comprises, but is not limited to, lexical analysis, syntactic analysis, preprocessing, context handling, code generation, code optimisation, virtual machines, interpreters, smell detection, clone management, portability, migration, refactoring, domain-specific language d ...

The sheer complexity and emergent behaviors of large scale systems make it impossible for people to completely understand them without the aid of specific tools. This is especially the case as systems are increasingly developed using advanced composition technologies such as aspect-orientation and dynamic script languages. Those modularity technologies enable the creation and application of powerful abstractions, ...

This is the first instance of the Commutativity Reasoning & Applications workshop (Commute 2022). Commutativity Reasoning is becoming increasingly common and appears in many contexts. Commutativity is used in the design of systems, in the design of data structures, in proof methodologies, in parallel execution schemes, etc. The goal of this workshop is to bring together researchers that are working in a vari ...

The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes to Coq itself, and generally work to ...

These pages mirror the main Curry On website which can be found at http://www.curry-on.org/

For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas and problems at the intersection of data management and programming languages. Many key contributions relevant to the formal foundations, design, implementation, and evaluation of query languages (e.g., for object-oriented, nested, or semi-structured data) were first announced at DBPL. As an established ...

SPLASH 2012 DCI Tutorial SPLASH 2012 will be hosting a Wavefront Workshop on Lean Architecture and DCI. DATE: Monday, 22 October, 2012 PLACE: SPLASH, Tuscon, Arizona, USA, Rincon conference room TIME: 8:30 - 5:00 (New Starting Time) SESSION DESIGNATION: W7: DCI This one-day tutorial workshop will overview the DCI paradigm. DCI (Data, Context and Interaction) is a paradigm for software design and progr ...

Developing Competency in Parallelism CSinParallel Project Developing Competency in Parallelism: Techniques for Education and Training Workshop associated with SPLASH 2012 With the increasing penetration of parallelism into computing, programmers of all stripes need to acquire competencies in parallel programming. This workshop will concentrate on discussing and disseminating resources for gently introducing ...

Over the past decade, the ACM International Conference on Distributed and Event‐based Systems (DEBS) has become the premier venue for contributions in the fields of distributed and event‐based systems. The objectives of the ACM International Conference on Distributed and Event‐Based Systems (DEBS) are to provide a forum dedicated to the dissemination of original research, the discussion of practical insights, ...

While debugging is an integral activity of the software development cycle, mainstream tools used for debugging have hardly evolved with the vast programming language and hardware advances we have witnessed in the past decades. Even though debugging support has found its way into mainstream IDEs, the techniques used for debugging remain largely based on techniques for programs running on the hardware of the past c ...

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation(e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language ...

The advent of modern declarative logical specification languages such as Flix, QL and Soufflé has facilitated the implementation of many rich program analysis tools. Declaratively specified program analysis tools have proven to be flexible enough to faithfully model real world languages, scalable, and less burdensome to extend and maintain. The goal of this workshop is to be the first venue truly dedicated to dec ...

Workshop on Distributions, Relational Algebra, Graphs, Semi-Rings, Tensors, and All That (aka. DRAGSTERS) Over the last decade, researchers working in compilers, programming languages, databases, machine learning, supercomputing, and related fields have productively explored both analogies and direct isomorphisms between objects like tensors, graphs, probability distributions and relations. These connections hav ...

Welcome to the First International Workshop on.. Designing and Running Project-Based Courses in Software Engineering Education (DREE) Software engineering courses should prepare students for industrial careers. Ideally, students should work with industrial-scale projects that are being actively developed. Unfortunately, implementing this in the context of a course can be challenging, and so many courses only ...

Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations. The goal of the DSLDI workshop is to bring together researchers and ...

The DSM workshop is one of longest running series of workshops at SPLASH/OOPSLA. The first DSM Workshop was offered at OOPSLA 2001. This would be the 20th anniversary of the workshop. We would love to celebrate this anniversary with another offering at SPLASH! Our last DSM workshop at SPLASH was in 2019 in Athens, Greece. Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for con ...

DeepSpec is a 5-year, 4-institution initiative to push forward the state of the art in applying computer proof assistants to verify realistic software and hardware stacks at scale. A key part of the mission is to engage with industry, learning about adoption obstacles, educating practitioners about how to apply these techniques, and even launching pilot collaborations with specific companies. For that reason, we ...

The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX’24) will take place in Póvoa de Varzim, Portugal, from September 24th to 26th 2024. Formerly known as the International Workshop on Principles of Diagnosis, the DX conference is a forum to present and discuss the latest research, experience reports, and emerging ideas in the context of diagnosis and resilient systems. We value ...

Overview Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny’s role in teaching. Topics include but are not limited ...

Declarative Programming in Biology and Medicine (“DeclMed”) is a new interdisciplinary workshop that will explore declarative programming methods / paradigms and their applications in the life sciences and medicine. Given promising advances in using declarative approaches in areas such as precision medicine, bioinformatics, graph querying, modeling, and DNA computing, this workshop aims to advance the use of de ...

Machine Learning (ML) is widely adopted in modern software systems, including safety-critical domains such as autonomous cars, medical diagnosis, and aircraft collision avoidance systems. Thus, it is crucial to rigorously test such applications to ensure high dependability. However, standard notions of software quality and reliability become irrelevant when considering ML systems, due to their non-deterministic n ...

This page will soon grow in content and contain information about the scope of this research track.

DevOps is a framework that integrates both the development and operation activities and bridges the gap between them. DevOps practices are getting significant research and industrial attention because of its attributes, i.e., continuous value delivery, faster time to market, frequent accommodation of changes, and superior quality. The 2017 software trends highlighted that DevOps would become a well-established an ...

First International Workshop on DevOps Testing for Cyber-Physical Systems (DevOps4CPS-Testing) Much of the increasing complexity of ICT systems is being driven by the more distributed and heterogeneous nature of these systems, with Cyber-Physical Systems (CPS) accounting for an increasing portion of Software Ecosystems. Blending best practices DevOps solutions with the development processes used in the CPS to de ...

The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to off ...

Quantum Programming has been increasingly recognized in recent years, with a growing consensus among researchers and practitioners that this emerging technology has the potential to significantly reshape the landscape of computation. The workshop’s objective is to foster a community where both researchers and practitioners can engage in discussions about novel ideas and share fresh insights on Empirical Studies i ...

Welcome to the website of the International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024 edition. EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. The 28th edition of EASE will take place in Salern ...

This page will soon grow in content and contain information about the scope of this research track.

The conference is organized by the Mälardalen University on October 16-18, 2023 with the theme “Engineering for Responsible AI”. The ECBS integrates software, hardware, and communication perspectives of systems engineering through its many facets that include system modelling, artificial intelligence, requirements specification, simulation, architectures, safety, security, reliability, system integration, verifi ...

The 20th European Conference on Modelling Foundations and Applications (ECMFA 2024) will be held in Enschede, NL, as part of STAF 2024 (Software Technologies: Applications and Foundations). Aims and scope Model-Based Engineering (MBE) is an approach to the design, analysis, and development of software and systems that rely on exploiting high-level models and computer-based automation to achieve significant boos ...

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP is committed to affordable open access publishing. Rec ...

Welcome to the website of the ECSA 2024 conference! The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 18th European Conferenc ...

Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point acc ...

The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. External Website Additiona ...

The Tenth International Workshop on Eye Movements in Programming (EMIP 2022) will again focus on advancing the methodological, theoretical, and applied aspects of eye movements in programming. The goal of the workshop is to further develop the methodology of using eye tracking for programming, both theoretically and in applications. What can eye movement behavior tell us about cognitive processes during programmi ...

Artificial Intelligence is becoming a mainstream concern in everyday software construction. Driven by appealing success stories such as autonomous vehicles, cloud-based intelligent services (e.g., Google Translate), intelligent health-related mobile apps, etc., more and more software companies intend to leverage AI techniques in their products. However, there is a large gap between the Programming/Software Engine ...

Welcome to the joint website of ESEIW 2024, the Empirical Software Engineering International Week 2024, and ESEM 2024, the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) is the premier conference for presenting research results related to empirical software engineering. ESEM pro ...

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programmi ...

The European Joint Conferences on Theory and Practice of Software is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, ESOP, FASE, FOSSACS, POST and TACAS, accompanied by 17 satellite workshops and other events including, for the first time this year, a mentoring worksh ...

ETX 2015 invites original and unpublished contributions about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. The research program will be made available September 7th, 2015.

5 April 2023, Delft, The Netherlands Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the softw ...

Software is the driving force behind many innovations in all aspects of human life and, thus, decisions of software have a profound effect on the society. It is therefore highly important that software and its decisions can be explained to understand the reasons for the decisions as well as discuss and possibly subsequently change the software. The EXPLAIN workshop addresses this highly relevant topic of explaina ...

Backgrounds Software permeates modern society. Within critical infrastructures and systems providing important societal services, there have been considerable digitisation efforts the last decade. To address critical infrastructures vulnerabilities in design, development, implementation, operation and maintenance, a Joint Workshop is arranged between the International Workshop on Engineering and security of Crit ...

General Information Welcome to the website of the Erlang 2024 workshop! Series Erlang 2024 is the 23rd ACM SIGPLAN Erlang Workshop and is a satellite event of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024). Scope The workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distr ...

Note: This is a “discussion-style” workshop - not a mini-conference with prepared papers. Workshop participants will work together to explore this topic. It is a chance for dialog for conference attendees from both academic and industry. The results may include some new research questions as well as guidelines for cross-organizational collaboration. (You do not need to have a “position paper” to partcipate in th ...

This page will soon grow in content and contain information about the scope of this research track.

FARM 2024 is the 12th edition of the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM). The keynote speaker is Dmitri Tymoczko (Princeton). 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 c ...

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particu ...

The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming. The purpose of the meeting is to enable sharing of results ...

Welcome to the website of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024). FLOPS 2024 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST), in cooperation with ACM SIGPLAN. About FLOPS FLOPS aims to bring together practitioners, researchers and implementers of declarative program ...

While the fields of security and privacy and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in the real world to ensure security and privacy. The goal of this workshop is to bring together researchers fro ...

Organizers Gary T. Leavens (University of Central Florida) Hidehiko Masuhara (Tokyo Institute of Technology) Hridesh Rajan (Iowa State University) Henrique Rebêlo (Universidade Federal de Pernambuco)

The 21st Workshop on Foundations of Object-Oriented Languages (FOOL) at SPLASH 2014. See the following web sites for further information about FOOL: http://www.cs.cmu.edu/~aldrich/FOOL/ (Home of FOOL) http://homepages.ecs.vuw.ac.nz/~servetto/Fool2014/ (FOOL 2014) The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understandi ...

Program The FORGE 2024 Program including 15 paper presentations has been announced. Panel The FORGE 2024 Panel has been announced. Keynotes The FORGE 2024 Keynote speakers have been announced.

Link to the submission web site: https://fosd17.hotcrp.com/ Feature-oriented software development (FOSD) is a paradigm for the construction and customization of software systems. The key idea of FOSD is to decompose a family of software systems into units of functionality called features, with the goal of reusing software artifacts among family members. Features capture the similarities and differences among sy ...

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following: categorical models and logics; languag ...

The 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer’24) follows up on the workshops Functional High-Performance computing (FHPC 2012-2018) and Functional High-Performance and Numerical Computing (FHPNC 2019-2023). While still aiming at high levels of performance, FProPer tries to incorporate the aspect of programmer productivity into the picture. Consequently, FProPer ...

an artist impression of a Star Wars ‘FREECO bike’ (http://starwars.wikia.com) Workshop summary The history of programming languages shows a continuous search for new composition mechanisms, which are better suited for structuring increasingly complex software systems into modules that can be developed and reused independently. Well-known examples are procedure calls, object aggregation, function c ...

The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017. You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/.

Welcome to the website of the FSE 2024 conference. The ACM International Conference on the Foundations of Software Engineering (FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. FSE brings together experts from academia and industry to exchange the la ...

About FSEN FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The to ...

9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Cascais, Portugal, October 22, 2023 https://2023.splashcon.org/home/ftscs-2023 Submission deadline extended to July 21 ACM Digital Library proceedings Science of Computer Programming special issue (to be confirmed) Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical sy ...

What is a flaky test? Software developers rely on test cases to identify bugs in their code and to provide a signal as to their code’s correctness. Should such signals have a history of unreliability, they not only become less informative, but may also be considered untrustworthy. In the context of software testing, practitioners refer to these unreliable signals as flaky tests. The definition varies slightly, b ...

Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new progr ...

The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry. The goals for the workshop are: To assemble a community interested in software architecture techniques ...

The 3rd International Fuzzing Workshop (FUZZING) 2024 welcomes all researchers, scientists, engineers and practitioners to present their latest research findings, empirical analyses, techniques, and applications in the area of fuzzing and software testing for automated bug finding. The workshop will be organized as Phase 1 in a 2-phase preregistration-based publication process. All research papers will be peer-re ...

This page will soon grow in content and contain information about the scope of this research track.

This page will soon grow in content and contain information about the scope of this research track.

This page will soon grow in content and contain information about the scope of this research track.

Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process — from ...

Do you have an idea to improve programming? Do you want constructive criticism? Submit to the Future Programming Workshop! The Future Programming Workshop (FPW) invites ambitious visions, new approaches, and early-stage work of all kinds seeking to improve software development. Participants will present their work at SPLASH in Pittsburgh and optionally at Strange Loop in St. Louis, culminating in a writers’ wo ...

About GALOP is an international workshop on formal models for compositional program interaction and their applications. The first GALOP was held in 2005 and there have been 14 occurrences since. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. At the heart of GALOP is game semantics, a theory rooted in denotational sema ...

This page will soon grow in content and contain information about the scope of this research track.

Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or t ...

GE@ICSE: Fifth Workshop on Gender Equality, Diversity, and Inclusion in Software Engineering The software engineering community is realizing that diversity plays a key role in the creation of a successful and competitive context for software development and research. Such diversity refers to the combination of many aspects such as gender, culture, religion, and geographical distribution. The purpose of this work ...

This page will soon grow in content and contain information about the scope of this research track.

ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of ...

The goal of this workshop is to provide a forum to discuss new and emerging general-purpose programming architectures, environments and platforms, as well as evaluate applications that have been able to harness the horsepower provided by these platforms. This year’s work is particularly interested in new heterogeneous architecture/platforms, new forms of concurrency, and novel/irregular applications that can leve ...

The Grace Object-Oriented Educational Programming Language design project was started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language for teaching and research. Since then, the language design has progressed to the point where Grace has been used for teaching at two universities for a total of 10 courses, and has been the foundation for at least two PhD theses. There are also at least 5 im ...

This page will soon grow in content and contain information about the scope of this research track.

This page will soon grow in content and contain information about the scope of this research track.

BEYOND GREEN-FIELD SOFTWARE DEVELOPMENT: REUSE, RECYCLE, REFACTOR There are many languages, tools, and design methodologies in the software community that are aimed at the creation of new software. But a lot of valuable software is the product of evolution, reuse, and reengineering. Some software is too expensive to “throw away and start over.” A skilled software team will have an arsenal of techniques at their ...

HASE 2020 is an interactive workshop that aims to forge new collaborations and initiatives which strive to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware). The format of the workshop involves a high degree of simultaneous interaction between participants in several facilitated working session topics (i.e. this workshop is not a ser ...

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...

In 2020, our well respected colleague and friend will turn 65. We consider this to be a good occasion to revisit his research contributions and to celebrate his achievements. Therefore, we plan to hold a Festschrift Symposium on the 25th of October 2020 as part of the ISOLA conference, which will be from the 26th till the 31st of October 2020 in Rhodes, Greece.

Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the Constraint/Logic Programming, Verification, and Automated Deduction communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP a ...

News Proceedings are now available online: https://ceur-ws.org/Vol-3440/ Objectives and Scope Health data may be broadly conceived as data pertaining to the health of an individual or population. As such it includes not only findings documented by physicians and other clinical staff, but also a vast array of other data such as: information gathered by schools regarding the prevalence of infectious diseases; fi ...

This is the seventh in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. HILT is organized by ACM SigAda, in cooperation with Ada Europe. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. ...

The Haskell Implementors’ Workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, for people generally involved in implementing Haskell technology. We share our work and discuss future directions and collaborations with others. In 2024, the Haskell Implementors’ Workshop will be co-located with ICFP 2024. The workshop does not have proceedings. Talks and/or d ...

Workshop The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 12th ACM SIGPLAN Workshop o ...

Attending HOPL IV HOPL IV will be held Sunday, June 20, through Tuesday, June 22, 2021. To attend HOPL IV, visit the main page for PLDI 2021 and follow the instructions there (register if you have not already done so; once you are registered, click the button that says “Virtual Conference Site” and then click “Sign Up” to create a password for attending). Register to attend HOPL IV HOPL IV will be held Sunday ...

The workshop centres on dynamical models in biology, with an emphasis on both hybrid systems (in the classical sense, i.e., mixed continuous/discrete/stochastic systems) and hybrid approaches that combine modelling, analysis, algorithmic and experimental techniques from different areas. Hybrid systems and approaches are essential to the understanding of complex living systems, which are characterized by stochast ...

The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal semantics of the present language or ...

The Second Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can come to discuss incremental computing problems and solutions. A computation is incremental if repeating it with a changed input is faster than from-scratch re-computation. Incremental computations can be found across a wide range of computing domains, and thus across many areas of computer science. Cons ...

Welcome to the ICBSTA 2023 Conference Website! We are excited to host the Sixth International Conference of Basic Sciences and their Applications (ICBSTA 2023) in Omar Al-Mukhtar University - Elbeida, Libya from Sat 2 - Sun 3 December 2023. ICBSTA is an international conference primly focuses on basic science and their applications, bringing together experts and researchers from Libya and international. We enc ...

The 20th ACM Conference on International Computing Education Research will be a hybrid conference: you may participate physically or virtually through our conference platform. All virtual events will occur over Discord.

The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.

[May 25, 2020] ICGSE is going ONLINE. Please read a statement from the Organization Committee regarding ICGSE going virtual joint with ICSSP NEWS: The program of the joint event is now available through the platform Video of presentations can be viewed from here The 15th IEEE/ACM International Conference on Global Software Engineering (ICGSE 2020) will be joining forces with the International Conference on ...

The 17th International Conference on Graph Transformation (ICGT 2024) will be held in Enschede, the Netherlands, as part of STAF 2024 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EASST, EATCS, and IFIP WG 1.3. Aims and Scope The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer ...

The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems and research directions as well as new solutions to classic and novel implementation challenges. The topics of interest for the workshop include implementation and optimization strategies for a wide range of programmi ...

April 15-16, 2024 - Lisbon, Portugal The 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024) is the premier venue for work in the area of program comprehension. It encompasses both human activities for comprehending the software and technologies for supporting such comprehension. ICPC 2024 promises to provide a quality forum for researchers and practitioners from academia and industry to ...

The International Conference on Software Architecture (ICSA) is the premier venue for practitioners and researchers interested in software architecture, in component-based software engineering and in quality aspects of software and how these relate to the design of software architectures. ICSA has a strong tradition as a working conference (previously named Working International Conference on Software Architectur ...

Welcome to the website of the ICSE 2024 conference in Lisbon! ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. Since 1975, ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering. Program Overview ...

The International Conference on Software Maintenance and Evolution (ICSME) is the premier international forum for researchers and practitioners from academia, industry, and government to present, discuss, and debate the most recent ideas, experiences, and challenges in software maintenance and evolution. The 40th edition of the conference (ICSME 2024) will be located in Flagstaff, AZ, United States. Why Flagstaf ...

The Schedule of ICSSP 2023 is up. ICSSP 2023 will feature three Keynotes from distinguished speakers on topics of AI-Augmented Software Engineering, Business Process Management, and AI-integrated Agile. The list of Accepted Papers are available. When registering for participation, please select ICSSP under co-located events. We look forward to your participation! Register Now new! TechDebt & ICS ...

Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE) May 18–19, 2021 | Co-located with ICSE 2021 ICSSP/ICGSE 2021 will be held virtually To attend, register to ICSE co-located events here. Overview After last year's success, the International Conference on Software and Systems Proc ...

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2023 will include keynote addresses by eminent scient ...

The international ICT4S conference brings together leading researchers in ICT for Sustainability with government and industry representatives with an interest in using, analysing, designing and deploying ICT for environmental and social sustainability. The conference aims to create discussion and movement towards fundamental change in ICT systems among researchers focusing on ICT effects on sustainability and dev ...

We are organizing a special issue on SN Computer Science for the papers published at ICTSS 2023 (with at least 30% new material), but open also to other papers. All submissions should follow the instructions available at www.springer.com/journal/42979/submission-guidelines Contributions should be submitted using the submission Link https://www.editorialmanager.com/sncs/ following the given steps: Step I - ‘ ...

The workshop has been cancelled. Modern computer systems are often loosely coupled compositions of heterogeneous components. The heterogeneity may be intentional or incidental; resulting from a healthy desire to use the best tool for each part of the job, and to leverage the vast number of software components readily available today. It follows, that an important part of modern programming is the art, science, ...

This page will soon grow in content and contain information about the scope of this research track.

This is the 6th edition of INTUITESTBEDS (International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software). INTUITESTBEDS is a merge of two workshops with very similar goals and topics, INTUITEST – International Workshop on User Interface Test Automation (organized 3 times before the merge), and TESTBEDS – International Workshop on TESting Techniques for event BasED Softwa ...

Workshop on Introspective Systems for Automatically Generating Tests ISAGT 2018 is held Friday July 20, 2018 in Amsterdam, The Netherlands. The workshop discusses the use of reflection, runtime profiling, log analysis, AI, static analysis, and other techniques to facilitate the automated generation of unit tests and regression tests, allowing a more productive development process, while increasing test coverage ...

Welcome to the home page of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM 2024)! ISMM is the premier forum dedicated to research in memory management, covering the areas of memory performance, allocator design, garbage collection, architectural support for memory management, persistent memories, emerging memory technologies, and more. ISMM’24 will held in-person as part of PLDI’24, shar ...

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. 2024 will mark the 33rd edition of ISSTA!

Welcome to the website of the ISSTA/ECOOP 2024 conferences! ISSTA 2024: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ECOOP 2024: ECOOP is E ...

The 8th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems SCOPE The rapid development towards increased integration of software with the social and physical world that we see today means that quality aspects such as performance, safety, security, and robustness become more important in an increasing number of the systems and devices, which we use ...

Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so ...

Stable object identity and shared mutable state are two powerful principles in programming. The ability to create multiple aliases to mutable data allows a direct modelling of sharing that occurs naturally in a domain, and lies at the heart of efficient programming patterns where aliases provide shortcuts to key places in a data structure. However, aliasing is also the cause of low-level bugs which are notoriousl ...

UPDATE: It is our great pleasure to announce that Dr. Ilias S. Kotsireas, Professor at Wilfrid Laurier University (Canada) [IK], will give a keynote at IWCT 2024! His research interests are in the areas of symbolic computation and combinatorial designs, including theoretical and algorithmic aspects of solving systems of polynomial equations. Ilias has extensive expertise in algorithmic, meta-heuristic and h ...

This page will soon grow in content and contain information about the scope of this research track.

11th International Workshop on Software Test Architecture (InSTA) is the 11th series of international workshop on software test architecture. Software test architecture includes analyses of system under test, approaches to design test cases, and notation of software testing. Designing better software test architectures is important for software testing. The software test architecture is a key to the test strategy ...

About While bug-finding has long been an important part of industrial static analysis, sound logical theories for incorrectness reasoning were only recently developed. The introduction of Incorrectness Logic in 2019 highlighted the need for specialized formal methods capable of identifying true bugs and doing so more efficiently using under-approximation. In the ensuing years, incorrectness reasoning has become ...

This fifth edition of the Infer Practitioners Workshop gathers together developers and researchers working with the Infer static analysis platform. Infer enables anyone to write their own scalable inter-procedural static analysis with only a few lines of code for programs written in various languages, including C, C++, C#, Java, Erlang and more. Infer is deployed at several companies where it helps developers wri ...

1st International Workshop on InnerSource Software Development to be held on 20 May 2023 in Melbourne, Australia, in conjunction with ICSE 2023. Please check out the website: https://sfi-lero.github.io/InnerSoft/ for latest updates.

This page will soon grow in content and contain information about the scope of this research track.

Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches. Nevertheless, there are still many barriers that hinder ...

Welcome to the website of the Internetware 2024 conference in Macau. Internetware 2024, the 15th Asia-Pacific Symposium on Internetware, provides a forum for researchers and practitioners to discuss the trending software technologies in the Internet era. The Internet has become a prominent platform for software development and deployment, enabling various application styles. However, existing software technolog ...

This workshop celebrates the career and accomplishments of Jens Palsberg on the occasion of his 60th birthday. Jens has been a pillar of the OOPSLA community for over three decades and has represented the SIGPLAN community at the ACM level as a member of the Executive Committee. His distinguished service to the community includes ACM SIGPLAN chair, vice-chair of SIGBED, editor-in-chief of TOPLAS, editorial board ...

Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analyis tools and approaches. Workshop program (tentative) Start End Title 9:00 – 9:05 Opening 9:05 – 10:05 Invited talk: Elena Sherman.Benchmark Engineering for Program Analysis (click for details) Abstract: In ev ...

Welcome to the Eight Annual Workshop on Tools for JavaScript Analysis Due to COVID-19, the workshop will be postponed to 2021. JavaScript has become ubiquitous: not only is it the lingua franca of the Web platform, but it is also increasingly being used for developing server-side applications and for writing platform-independent mobile applications. Consequently, it is now the focus of ...

This page will soon grow in content and contain information about the scope of this research track.

The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages for inference. Topics include but are not limited to: Design of programming languages for statistical inference and/or differentiable programming Inference algorithms for probabilistic programming languages, including ones that incorporate automatic di ...

Every year, new ideas arise in the areas of programming and software development to facilitate new capabilities for software systems. However, other aspects associated with the development of software systems is overlooked. With this in mind, the Languages and Tools for Next Generation Testing (LANGETI) workshop intends to serve as an open discussion platform for practitioners and researchers to share their ideas ...

LASSY is cancelled for 2018

Welcome to the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)! 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 developer ...

The LEARNER (evaLuation and assEssment in softwARe eNgineers’ Education and tRaining) 2024 workshop aims to bring together researchers, educators, and trainers from both academia and industry to discuss and advance the state of the art on the evaluation and assessment of education and training of present and future software engineers. In other words, the goal of LEARNER is to assess and evaluate educational and t ...

Programming is cognitively demanding, and too difficult. LIVE is a workshop exploring new user interfaces that improve the immediacy, usability, and learnability of programming. Whereas PL research traditionally focuses on programs, LIVE focuses more on the activity of programming. Programmers don’t materialize programs out of thin air, but construct them out of existing programs. Embracing this insight leads to ...

First Workshop on Large Language Models For Model Driven Engineering (LLM4MDE 2024) The introduction of ChatGPT, Google’s Bard, and Bing Chat Ai marked a significant advancement in the field of natural language processing, contributing to the widespread popularity of large language models (LLMs). These models have found successful applications in diverse sectors, including healthcare, finance, education, and var ...

This page will soon grow in content and contain information about the scope of this research track.

Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submission ...

Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completi ...

A half-day workshop held in conjunction with MODULARITY’16. March 15, 2016 Malaga, Spain. http://2016.modularity.info/track/LaMOD2016 Scope Although applications are now often built from components written in a variety of languages, as well as a variety of versions of a particular language, modularity is still considered mainly in the context of a single language and in the context of a single version of a ...

The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarantees on the result are essential. The aim of this workshop is to bring together researchers from the formal verification community that are developing approaches to exploit learning methods in verification as well as researchers fr ...

This page will soon grow in content and contain information about the scope of this research track.

Welcome to the website of the MASPEGHI 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing servers, heterogeneous clusters, and data centers — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the mean ...

The test oracle problem is one of the most fundamental and challenging problems in software testing and more broadly, software engineering. A growing body of research has examined the concept and approach of Metamorphic Testing (MT) and has justified that MT can effectively alleviate the oracle problem and detect real-life bugs in various application domains. Compared with most other testing methods where the cor ...

About The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta’19 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogra ...

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. ...

2nd International Workshop on Machine Learning techniques for Programming Languages Welcome to ML4PL, a workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains a ...

11th International Conference on Mobile Software Engineering and Systems 2024 Today, the widespread usage of mobile applications has significantly influenced and empowered people worldwide. The availability and versatility of these apps are continuously expanding, thanks to app stores and marketplaces that make downloading and installing applications a seamless process. Mobile platforms are evolving rapidly, int ...

The main theme of this workshop will be to foster an open dialogue between the community (i.e., academic and industrial researchers) related to how to best build a community infrastructure to support research on Android testing and analysis. Just as mobile app developers face domain specific challenges, so do researchers working in this domain, including challenges such as (1) the rapid evolution of mobile plat ...

About MODELS conference MODELS, the ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998, MODELS has covered all aspects of modeling, from languages and methods to tools and applications. Attendees of MODELS come from diverse ba ...

Modularity in Modelling Workshop Extending the time-honored practice of separation of concerns, Model-Driven Engineering (MDE) promotes the use of separate models to address the various concerns in the development of complex software-intensive systems. The main objective is to choose the right level of abstraction to modularize a concern, specify its properties and reason about the system under development depen ...

There is a whole world of interesting programming ideas if we look beyond the narrow focus on programming languages. Image-based systems like Smalltalk, no-code and low-code tools, live coding, visual programming and even spreadsheets are interesting not as programming languages, but as programming systems. Programming systems research Unfortunately, doing research on programming system is hard. Computer scient ...

The 21st International Conference on Managed Programming Languages and Runtimes (MPLR 2024, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-sc ...

Welcome to the website of the Mining Software Repositories 2025 conference! The Mining Software Repositories (MSR) conference is the premier venue for software analytics research, according to which software engineering data is analyzed using a mixture of data science, machine learning/artificial intelligence and qualitative methodologies. The goal of the conference is to improve software engineering practices b ...

This page will soon grow in content and contain information about the scope of this research track.

This page will soon grow in content and contain information about the scope of this research track.

A recent forecast from the International Data Corporation (IDC) envisions that 41 billion Internet-of-Things (IoT) endpoints will be in use by 2025, representing great business opportunities. The next generation IoT systems need to perform distributed processing and coordinated behavior across IoT, edge and cloud infrastructures, manage the closed loop from sensing to actuation, and cope with vast heterogeneity, ...

MeTRiD 2019 is the second edition of the MeTRiD international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design (RSD) approach. The intrinsic concurrent nature of interactions among components of modern software systems is the root cause of their sheer complexity, making complete a posteriori verification practically infeasible. An alternative approach consist ...

Software developers and those involved with programming have long observed that certain patterns recur and endure across different applications and systems. The growing interest in Design Patterns, Architectural Patterns, Analysis Patterns, Pedagogical Patterns, Agile Patterns, etc., represent an effort to catalog and better communicate knowledge, providing handbooks of proven solutions to common problems. The w ...

Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of ...

OPTIMAL MODULARITY AND COMPOSITION: FROM THE PERSPECTIVE OF EMERGING TECHNOLOGIES AND ARCHITECTURES The area of software technology is very dynamic Many new techniques and architectures have been introduced in the past decade: self-aware systems (adaptive, learning, optimizing, etc.), cyber-physical systems, event-based systems, emergent systems, hybrid-control systems, systems of systems, eco-systems, big- ...

Mutation analysis involves mutations of software artifacts that are then used to evaluate the quality of software verification tools and techniques. It is considered the premier technique for evaluating the fault revealing effectiveness of test suites, test generation techniques, and other testing approaches. Ideas derived from mutation analysis have also been used to test artifacts at different levels of abstra ...

The purpose of the Next 40 years of Abstract Interpretation (N40AI) event is to gather ”4 generations of PhDs in abstract interpretation” and to reflect on the past, current, and future research trends in this field. Abstract interpretation was proposed in the 1970s by Patrick Cousot and Radhia Cousot as a general formalism to compare program semantics. The landmark papers at POPL’77 and POPL’79 have inspired an ...

16th NASA Formal Methods Symposium June 4-6 The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry. Updates NFM Schedule is now available (4/17/2024) Keynote talks announced (4/5/24) Please check out more information about the venue (3/8/24) Registration now open (2/26/24) N ...

NEXT-GENERATION APPLICATIONS OF SMARTPHONES The sophisticated capabilities of smartphones provide a number of unique opportunities for research and development. Current smartphones can receive a variety of environmental stimuli, such as GPS location, acceleration, ambient light, sound, and imagery. Smartphones possess multiple network connections that can be used to connect to external computing resources, which ...

7th IEEE Workshop on NEXt level of Test Automation Co-located with the IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024) Theme and Goals NEXTA’24 is the seventh edition of the IEEE Workshop on Test Automation - highly relevant for both research and industry. Thus, NEXTA aims to attract both academic researchers and industry practitioners. Test automation has been an ...

Scope Since a long time, interfaces available for programming have remained mostly unchanged. Usually, software engineers (SE) interact with IDEs through text-based interfaces displayed on a computer screen. Software visualization (SOFTVIS) researchers investigate the use of visual properties to support software engineering tasks such as programming. Some of these software visualizations have explored the use of ...

Software researchers increasingly take advantage of large software repositories when they design new tools. How do we make such repositories maximally useful for research? In particular, how do we make them more searchable, make interaction scriptable, and ensure that we can run both static and dynamic analyses? Additionally, how do we make the results from tools reproducible, how do we label programs with ground ...

This page will soon grow in content and contain information about the scope of this research track.

In this workshop, participants will learn how to use Nodysseus (https://nodysseus.io/), an open source (https://gitlab.com/ulysses.codes/nodysseus) general purpose node-based IDE and bring together experts in visual programming languages and mobile-first IDEs for an in-depth discussion. The workshop will consist of 3 parts - a round of introductions where participants share their thoughts on visual programming, ...

The -2th Workshop on New Object-Oriented Languages (NOOL) 2017.

Videos are available online. This workshop aims to bring together researchers and practitioners exploring and utilising functional or declarative programming languages to solve numerically oriented problems including but not limited to Embedded domain specific languages for expressing numerical problems and generating efficient code e.g. generating llvm à la Julia / Haskell accelerate Use of types to ensur ...

10th International Workshop on Numerical and Symbolic Abstract Domains (NSAD) Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract ...

The NSF-sponsored workshop on Deep Learning and Software Engineering will take place on November 11, 2019 (Veteran’s Day) co-located with the Automated Software Engineering (ASE’19) conference in San Diego. The goal of this workshop is to bring together an international group of researchers and practitioners who work at the intersection of software engineering and deep learning for an intensive period of discuss ...

On Wednesday 22nd, we will all go by bus to the country side outside Västerås, where we will enjoy dinner at a restaurant serving locally produced food. The bus will leave from the university at 18:00 and return later in the evening.

Jim Webber, Chief Scientist, Neo Technology will be presenting a ‘Wavefront’ Tutorial: A Programmatic Introduction to Neo4j at this year’s SplashCon 2012. This is a Wavefront workshop on using Neo4j, a popular graph database. Graph databases like Neo4j are an esoteric but powerful member of the NOSQL family. For highly connected data, graph databases can be thousands of times faster than relational databases, ma ...

Program Information: We had an excellent lineup of invited speakers, coming from both academia and industry and from both the PL and networking research communities. Calin Cascaval (Barefoot Networks) Peyman Kazemian (Forward Networks) Andrey Rybalchenko (Microsoft Research) Anees Shaikh (Google) Sharon Shoham (Tel Aviv University) Jonathan Smith (DARPA) George Varghese (UCLA) See the Program f ...

A day of talks in celebration of Peter O’Hearn’s scientific and industrial work. Peter is a professor of Computer Science at University College London and an Engineering Director at Lacework. All are welcome, please register to the workshop if you are planning to attend.

Fluence is an open application platforms, where apps can build on each other, share data and users. The platform is powered by a peer-to-peer computing protocol and the new programming language which radically simplifies the building and composing applications. Fluence is an open alternative to cloud platforms and proprietary APIs and our mission is to empower global collaboration and innovation. Learn to overco ...

The OCAP workshop seeks to bring together those interested in capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object-capability approach, and provide a forum for knowledge e ...

OCaml is currently receiving a strong upward trend, particularly since its new runtime environment was released in 2022, which introduced support for shared memory parallelism and effect handlers. That trend can be observed both on social media and in academia, where the OCaml Compiler Distribution received the 2023 Programming Languages Software Award by ACM SIGPLAN. The OCaml Users and Developers Workshop brin ...

The OOPSLA 2016 Program Committee Meeting will be hosted by Delft University of Technology in Delft, The Netherlands from Thursday 26 to Friday 27 May 2016. Venue Accomodation Traveling to Delft On the Wednesday (26 May 2016) before the PC meeting we will hold an informal workshop in which PC members can present their recent work: PC Workshop Organizers General Chair: Eelco Visser OOPSLA P ...

The OPCT (Open Problems in Concurrency Theory) series of research seminars is sponsored by the IFIP Working Group WG1.8 on Concurrency Theory: http://www.ifip-tc1.org/wg1-08.php OPCT aims at identifying and discussing the most important open problems in Concurrency Theory. Participation is on invitation only and there are no proceedings, but the slides of the talks will be made available on the website. OPCT’19 ...

The 17th International Conference on Open Source Systems (OSS) aims at providing an international forum where a diverse community of professionals from academia, industry, and the public sector, and diverse FLOSS initiatives can come together to share research findings and practical experiences. The conference is also a forum to provide information and education to practitioners, identify directions for further r ...

Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show ...

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching and reporting on programming language and software e ...

PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, databases and constraint programming, and theorem proving. PADL’24 will take place during 15-16 January 2024 as a physical (in-person) event. For each accepted paper at least o ...

Programming environments that integrate tools, notations, and abstractions into a holistic user experience can provide programmers with better support for what they want to achieve. These programming environments can create an engaging place to do new forms of informational work - resulting in enjoyable, creative, and productive experiences with programming. In the workshop on Programming Abstractions and Intera ...

Overview The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as unmanned aerial vehicles (UAV), Internet of things (IoT), cloud computing servers, heterogeneous clusters, data centers, wearable devices, and smartphones — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high pe ...

Program Analysis for WebAssembly (PAW) 2022 WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes. There have been several independent efforts to bring static and dynamic analysis tools to the WebAssembly ecosystem. This workshop aims to bring together researchers working in the ...

About The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of se ...

This workshop is dedicated to the formal verification of program equivalence and related relational problems. It is the 3rd in a series of meetings that bring together researchers from different areas interested in equivalence. The topic touches many aspects of formal methods: regression verification, translation validation, verified compilation, language semantics, deductive verification, (bounded) model checkin ...

2019 Proceedings in EPTCS: http://eptcs.web.cse.unsw.edu.au/content.cgi?PLACES2019 Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such system ...

Today’s modern decentralized applications are expected to integrate a wide range of autonomous devices that dynamically connect and disconnect over time. These devices have vastly different characteristics. Edge devices have limited resources, frequent connectivity loss, and are highly dynamic, whereas data centers offer unlimited resources, strong connectivity guarantees, and stability. Although developing appli ...

There is a growing overlap between PLDI and ISCA, and this workshop is convened to bring together people in that overlap. The subject coverage would be supporting ISCA-style hardware development via new programming languages, compilers, formal-verification tools, synthesis approaches, and so forth. Architecture is a relatively stodgy area, especially in industry, when it comes to adoption of new tools, and we wou ...

Welcome to the website of the PLAS 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

Today’s Internet users expect to access Internet resources using increasingly capable and ubiquitous client platforms. This trend has resulted in a wide-ranging diversification of hardware devices supporting various form factors and interaction modes, a choice of web browsers offering varying levels of performance, security and standards compliance, as well as the emergence of domain-specific uses of general-purp ...

Programming languages exist to enable programmers to develop software effectively. But programmer effectiveness depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of languages and tools cover a large space, including making pr ...

Welcome to the website of the PLDI 2024 conference. We are working hard to fill the website with all related information. Please check back soon!

PLDI 2017 is the 38th annual ACM SIGPLAN conference on Programming Language Design and Implementation. PLDI is a reasonable forum for all areas of programming language research. ECOOP 2017 is the 31st European Conference on Object-Oriented Programming. ECOOP is a conference on programming with an emphasis on object-orientation. ISMM 2017 is the 16th ...

Welcome to the website of the PLE 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

Languages for Multi-Device Collaborative Applications Due to ubiquitous connectivity and cheap availability of user devices from smartphones to desktops, applications supporting multi-device and collaborative use have become more common, and with the Corona pandemic this trend has tremendously accelerated. While most of the distributed applications that we see nowadays are cloud-based, avoiding the cloud can le ...

The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop includes mentoring sessions that cover effective habits for navigating research careers, technical sessions that cover core subfields of programming languages research, and social sessions ...

The purpose of this new annual workshop is to bring together researchers in the area of programming languages in the Netherlands. The workshop targets programming language research in the broad sense, included but not limited to the design, implementation, theory, application, and teaching of programming languages.

Welcome to the website of the PLOOC 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

The Fourth International Workshop on Programming Languages for Quantum Computing (PLanQC 2024) aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both those that ...

Rapid advancements in multicore and chip-level multi-threading technologies open new challenges and make multicore systems a part of the computing landscape. From high-end servers to mobile phones, multicores and manycores are steadily entering every single aspect of the information technology. However, most programmers are trained in sequential programming, yet most existing parallel programming models are pron ...

Second Workshop on Programming Models and Languages for Distributed Computing Co-located with ECOOP 2017, Barcelona, Spain Date: June 20, 2017 Whether you are programming a rich web application in JavaScript that mutates state in the client’s browser, or you are building a massively deployed mobile application that will operate with client state at the device, it’s undeniable that you are building a distribute ...

Hardware support for capabilities offers the prospect of substantially increased security for the computing infrastructure that we all depend on. Capabilities are an old idea, but in the last 15 years the CHERI project, working closely with Arm and others, has proposed extensions to conventional hardware Instruction-Set Architectures (ISAs) with new architectural features based on hardware capabilities, along wit ...

This event will honor Andreas Podelski on the occasion of his 65th birthday. The program will feature talks by Andreas’ collaborators, colleagues, and friends to celebrate his numerous contributions to the field of program analysis and verification. All PLDI 2024 attendees are welcome!

POPL 2025 will be held January 19-25, 2025 in Denver Colorado. Submission Deadline: July 11 AOE (The full call for papers will be posted soon.)

Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust. We seek submissions on the foundations of information security, privacy, and trust, relevant for computer science and different application disciplines. Case studies that reflect the strengths and limitations of existing foundations, methods, and their supporting tools are also welcome, as ...

Nowadays, the number of components in High Performance Computing (HPC) systems increases at the pace dictated by Moore’s Law, but the mean time between failures (MTBF) for the complete system is significantly shrinking. For example, when accounting for the instruction & data caches and register files, the mean time between soft errors for the Sequoia supercomputer at Lawrence Livermore National Laboratory is ...

The PPAA 2016 workshop has been cancelled. Motivation and Scope: Analytics applications are scaling rapidly in terms of the size and variety of data analyzed, the complexity of models explored and tested, and the number of analytics professionals or data scientists supported concurrently. Consumer behavior modeling, IT infrastructure security and resiliency, and fraud detection and prevention are examples of ap ...

This page will soon grow in content and contain information about the scope of this research track.

March 2nd – March 6th, 2024, Edinburgh, UK Co-located with CC, CGO and HPCA PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded ...

PRIDE 2022: Workshop on Practical Research IDEs Virtual Room Goal of the Workshop The goal of this workshop is to help researchers take their research developments and integrate them easily into existing IDE tools. We are seeking participation from researchers who have developed novel analysis technology and would like an easy way to deploy this technology in existing IDE tools. For example, a new, more-precis ...

Welcome to the website of the 2024 edition of the International Conference on Product-Focused Software Process Improvement (PROFES). PROFES is among the top recognized software development and process improvement conferences.The objective is to provide a premier forum for practitioners, researchers, and educators to present and discuss experiences, ideas, innovations, as well as concerns related to professional ...

The International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE) is an annual forum for researchers and practitioners to present, discuss and exchange ideas, results, expertise and experiences in construction and/or application of predictive models, artificial intelligence, and data analytics in software engineering. PROMISE encourages researchers to publicly share their data ...

Welcome to the website of the PROMOTO 2015 workshop.

There are simultaneous crises across the planet due to rising CO2 emissions, rapid biodiversity loss, and desertification. Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with suffi ...

Workshop website: http://propser.ipd.kit.edu/home/

Visit http://www.indiana.edu/~psp2014/ for more information.

Welcome to the 10th Edition of the Programming Experience Workshop If you intend to participate in the PX/24 workshop, please note that the workshop will allow for structured feedback based on the Writers’ Workshop format. For that, please download and read all submissions in advance, if possible. Remote participation will be ensured. Abstract Some programming feels fun, other ...

Panathon aims to continue a successful trend of program analysis workshops such as SOAP, DECAF at ISSTA, WALA, Panathon(2018). Workshops of this style not only demonstrate emerging technologies but also provide student participants with an opportunity to discover their own research interests, encourage discovery of the contributions that new students and researchers alike can make to existing projects, facilitate ...

Parsing@SLE 2017 is the fifth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regul ...

Welcome to the website of the Pharo 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

Saturday 21st January, 2017. Paris, France Recent years have seen a number research projects applying rigorous semantics to the analysis or design of industrially significant real-world languages and systems, in various contexts. Principles in Practice (PiP) will be an informal workshop bringing together researchers to discuss the issues involved in engaging with the various industrial communities, in developing ...

Workshop on Principles of Secure Compilation Secure compilation is an emerging field that puts together advances in security, programming languages, compilers, verification, systems, and hardware architectures in order to devise more secure compilation chains that eliminate many of today’s security vulnerabilities and that allow sound reasoning about security properties in the source language. For a concrete exa ...

Law at large underpins modern society, codifying and governing many aspects of citizens’ daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The current state of ...

CANCELLATION NOTICE: Unfortunately, ProWeb’22 has been cancelled this year. We will be back in 2023 for a new edition of ProWeb. Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line fu ...

Cancelled: Unfortunately, Programming for the Large is canceled for 2018 In the last decade we have witnessed a new kid on the block in the programming (language) community: programming “large computers”. Such computers include many-core machines, clusters of raspberry-pies, industry-scale cluster machines, cloud infrastructure, CUDA and MPI-based supercomputers, etc. Even though such computer systems have been ...

Welcome to the Special Late Breaking Track on Programming with AI Abstract The narrative of AI ‘changing everything’ seems inescapable at the moment, with [ironically] programming being one of the first disciplines caught up in the storm. In order to understand the effects of a moment like this, it’s helpful to step away from the rhetoric of exceptionalism and look back at previous examples of such changes - 4 ...

5th International Workshop on Quantum Software Engineering (Q-SE 2024) Quantum computers promise to solve unthinkably complex problems that traditional computers could never solve. The evidence of such quantum supremacy over traditional computers has started to emerge, as can be seen by Google’s quantum computer recently performing a complex computation that would take 10,000 years for the best supercomputer ava ...

Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analys ...

Classical computing is reaching its limit. Thus, it is necessary to revolutionize the current computing form with novel computing paradigms. Towards this end, quantum computing is one of the promising computing paradigms. However, programming quantum computers differs significantly from classical computing due to novel features of quantum computing, such as superposition and entanglement. QP 2024 will provide a ...

This page will soon grow in content and contain information about the scope of this research track.

Workshop on Relaxing Synchronization for Multicore and Manycore Scalability Theme and Goal of the Workshop The RACES workshop is a first attempt at bringing a new school of thought to the attention of the computer science community: that of abandoning absolute certainty in favor of scalability and performance when considering parallel computation. Today, multi core systems are becoming more and more the rule an ...

2nd International Workshop on Responsible AI Engineering (RAIE’24) Theme & Goals The recent release of ChatGPT, Bard, and other large language model (LLM)-based chatbots has drawn huge global attention. The black box nature and the rapid advancements in AI have sparked significant concerns about responsible AI. It is crucial to ensure that the AI systems are developed and used responsibly throughout their e ...

The workshop on Reasoning about Declarative Programs (RDP) will bring together researchers from programming languages, distributed computing, declarative networking, and databases, to discuss techniques and stimulate cross-fertilization among these areas. The technical program will consist of invited talks and discussions. We will post talk abstracts on the workshop website but do not plan to have formal proceedings.

Rebase is a new conference for and by practitioners who want to engage academics about tomorrow’s technologies while fondly recalling the achievements of yesterday. See the Rebase 2021 homepage.

Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have ...

Welcome to the website of the Requirements Engineering: Foundation for Software Quality (REFSQ) 2025 conference. The 30th International Working Conference on Requirement Engineering: Foundation for Software Quality will take place from the 7th to 10th of April 2025 in Barcelona, Catalunya, Spain (live, in-person).

REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this even ...

Welcome to the website of the RIOT 2015 conference. We are working hard to fill the website with all related information. Please check back soon!

ESEC/FSE hosting a new initiative that aims to take SE research artifacts to the next level. The ROSE festival is a world-wide salute to replication and reproducibility in SE. At the time of this writing, similar events are being considered for RE’19, ICSE’19, ESEC/FSE’19 and ESEM’19. Our aim is to create a venue where researchers can receive public credit for facilitating and participating in open science in SE ...

This workshop is on Tuesday, June 25, 2024, in Room Copenhagen. We believe our community has come a long way in acknowledging that junior researchers need as much mentoring as they can get to prepare them for future jobs and help them become successful. The PLMW workshop series has made it possible for us to talk openly with students about the challenges and stresses facing graduate students: problems with advis ...

Welcome to the 1st Workshop on ReUsable and Modular Programming Language Ecosystems UPDATE: RUMPLE has been CANCELED! The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters ...

Workshop We thank all authors for their contributions and all PC members for their insightful reviews. To expose the accepted work to a larger audience, we asked the MASS workshop to include a session on Reflection and thereby facilitate discussion between audience and presenters. The following papers were accepted for presentation: Static Meta-Object Protocols: Towards Efficient Reflective Object-Oriented ...

Welcome to the website of the 32nd IEEE International Requirements Engineering 2024 conference. The IEEE International Requirements Engineering Conference is the premier requirements engineering conference, where researchers, practitioners, students and educators meet, present and discuss the most recent innovations, trends, experiences and issues in the field of requirements engineering. The 32nd edition of RE ...

Recruitment of Participants for Empirical SE Studies Website also available at https://ropes-workshops.github.io/ropes22/

This page will soon grow in content and contain information about the scope of this research track.

The ALIGNED project is funded by the EU Horizon-2020 programme, bringing together researchers and user communities in model-driven software engineering and in semantic technologies and linked data, aiming to improve the quality and efficiency of engineering workflows in data-intensive activities. The project is developing semantically-aware model-driven tooling, extending the existing Booster system and Model Cat ...

First International Workshop on SoftwAre debLoating And Delayering The Workshop on SoftwAre debLoating And Delayering will be held in conjunction with ECOOP on July 19, 2018. SALAD will features discussion how program analysis and transformation can improve efficiency and safety of software by removing layers of abstraction. This workshop is partly supported by the U.S. Office of Naval Research o ...

Workshops: March 12th Main Conference: March 13th - 15th Welcome Reception: March 12th Social Event: March 13th The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) is the premier event on the theory and practice of recovering information from existing software and systems. The event explores innovative methods to extract the many kinds of information that can be recover ...

No description available

Welcome to the website of the SATrends 2024 conference. We are working hard to fill the website with all related information. Please check back soon!

Even conservative forecasters predict the imminent wave of Augmented/Virtual/Mixed Reality applications to extend far beyond gaming. Education, health care, analytics, marketing—immersive environments are poised to provide productivity gains in multiple sectors, eventually replacing conventional interfaces with gestures, gaze and natural language processing. The Software Engineering and Programming Language comm ...

This page will soon grow in content and contain information about the scope of this research track.

About SBST Search-Based Software Testing (SBST) is the application of optimizing search techniques (for example, Genetic Algorithms) to solve problems in software testing. SBST is used to generate test data, prioritize test cases, minimize test suites, optimize software test oracles, reduce human oracle cost, verify software models, test service-orientated architectures, construct test suites for interaction tes ...

The aim of the IEEE International Conference on Source Code Analysis & Manipulation (SCAM) is to bring together researchers and practitioners working on theory, techniques and applications that concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evol ...

Secure compilation aims to preserve high-level language abstractions in compiled code, even against adversarial low-level contexts. The Secure Compilation Meeting (SCM) takes a broad and inclusive view of secure compilation and provides a forum for discussion on the topic. The scope of SCM includes, but is not limited to, efficient enforcement mechanisms (based on static analysis, software rewriting, reference m ...

WINNERS Congratulations to team Jambú Overflow on winning the SCORE 2021 competition for the project Lepic: Supporting the assessment and management of reading fluency. See here the full announcement along with the list of the finalists. Jambú Overflow Team Vitor N. Cantão, Universidade Federal do Pará Aian Shay B. D.Cardoso, Universidade Federal do Pará Arthur Takeshi N. Yoshikawa, Universidade Fede ...

First International Workshop on Software Defect Datasets (SDD 2023) As technology advances, software plays an ever-increasing role in our daily lives. Unsurprisingly, improving software quality is a central priority of our time. Approaches for understanding, diagnosing, localizing and fixing software defects are usually empirically grounded in datasets of software defects and their fixes. In recent years, a larg ...

This page will soon grow in content and contain information about the scope of this research track.

WORKSHOP CANCELLED Thus, this workshop aims to initiate a discussion on topics of capturing, modularly representing, and implementing sustainability-related concerns throughout software engineering life cycle: from requirements engineering through architecture design, implementation, dedicated language engineering, testing, and deployment activities. Software systems are a powerful tool in transforming societies ...

This page will soon grow in content and contain information about the scope of this research track.

Second International Workshop on Software Security from Design to Deployment (SEAD) In today’s increasingly interconnected software-intensive systems, analyzing, implementing and maintaining security requirements of software-intensive systems and achieving truly secure software systems requires planning for security from the ground up, and continuously assuring that security is maintained across the software’s l ...

Today we are building an exciting future in which autonomous vehicles navigate complex environments, smart cities help solve public problems and achieve a higher quality of life, and service robots support social care workers or perform tasks that are too dangerous for humans. However, these software-intensive systems must continuously preserve and optimize their operation in the presence of uncertain changes in ...

Aim of the workshop In the past two decades, the complexity of modern IT systems has surged due to technologies like AI, cloud computing, and microservices. Ensuring security in these systems is challenging. Software security is critical for practitioners to prevent incidents such as data breaches. As complex systems evolve, robust methods to test their security become imperative. Many testing techniques exist, ...

Configuration errors (also known as misconfigurations) have become one of the major causes of system failures, resulting in security vulnerabilities, application outages, and incorrect program executions. Building tools for configuration file support, management, and verification has been an active direction of research. As support for configuration files grows, so too does the scope of their application, for exa ...

In the last 30 years, the demands placed on software engineers have increased dramatically. This is because the systems they develop increase in complexity, size, and criticality as well. Novel system types like adaptive systems or cyber-physical systems and new technologies, like artificial intelligence and virtual reality change the technology landscape. Professionals creating such systems hence need to stay on ...

Healthcare systems in many countries are leveraging emerging technologies (e.g., cloud computing, big data, mobile apps, data science, biosensors, and wearable devices) and modern software engineering approaches to ensure continuous quality improvement in the presence of rapid change and increasing challenges. Software-intensive systems are seen as a key enabler for healthcare system reform in many jurisdictions ...

International Workshop on Software Engineering Intelligence The goal for the SEI workshop is to develop a community around Software Engineering Intelligence. Software Engineering intelligence (SEI) comprises a variety of computational intelligence methodologies and approaches to address software engineering problems. The participants of the workshop will work together on creating a research agenda targeting seve ...

The aim of the workshop is to bring together researchers and practitioners to discuss the current state of Software Engineering (SE) research and Industrial Practice (IP), and advance collaboration to reduce the gap between research and practice. Researchers can be unaware of real problems and constraints in practice, whereas practitioners may find themselves unable to adopt existing useful research. Practitione ...

6th International Workshop on Software Engineering Research & Practices for the Internet of Things SERP4IoT 2024, April 20 We face a new software crisis. In 1968, computer scientists learned that developing robust software requires skills, methods, and tools. Today, software and hardware engineers realize that developing a robust Internet of Things (IoT) also pushes the states of their art and practice. Rec ...

12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS 2024) The 12th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS 2024) provides researchers and practitioners with a forum to exchange ideas and experiences, analyze research and development issues, discuss promising solutions, and propose theoreti ...

The Symposium on Software Engineering in Africa (SEiA) is a forum for researchers, innovators, and leading professionals to discuss the state and future of software engineering in Africa. SEiA 2018 has been organized with the purpose of increasing participation of researchers from Africa in international Software Engineering community. The event provides a platform for exchanging ideas on the role of software eng ...

Workshop webpage Available at http://sethics.org/sethics2021/  

Welcome! The Technical Symposium on Computer Science Education (SIGCSE TS) is organized by the ACM Special Interest Group on Computer Science Education (SIGCSE) and is the organization’s flagship conference. The SIGCSE Technical Symposium addresses problems common among educators working to develop, implement and/or evaluate computing programs, curricula, and courses. The symposium provides a forum for sharing n ...

Welcome to SIGCSE Virtual 2024! The ACM Virtual Global Computing Education Conference (SIGCSE VIRTUAL) is organized by the ACM Special Interest Group on Computer Science Education (SIGCSE) and is the newest SIGCSE conference. Similar to the other SIGCSE conference, it addresses problems common among educators working to develop, implement and/or evaluate computing programs, curricula, and courses. SIGCSE VIRTUA ...

The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its ...

The field of software language engineering (SLE) has emerged based on a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, and ontologies. SLE is defined as the application of systematic, disciplined, and measurable approaches to the development, deployment, use, and maintenance of softwar ...

Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript), have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and mobile applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensu ...

Due to COVID-19, SOOP is postponed. The war is over, it’s objects all the way down. “WELCOME TO ECOOP'97 This year, 1997, marks the 30th anniversary of Simula, and thus of object-oriented programming, the 25th anniversary of Smalltalk, and the 10th anniversary of ECOOP. We cordially invite all researchers, practitioners, educators, and students interested in object technology to attend ECOOP '97, the 11t ...

The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, n ...

The workshop on Security Practices for Internet of Things addresses the security issues of IoT devices from the formal and practical viewpoint. IoT devices are creeping into everyday life by promising wondrous features. However, a malicious attacker can easily exploit these devices to build botnets, lock them with ransomware, or use them as a bridgehead into less accessible networks. The objective of the SPIoT wo ...

The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH 2024 will be held in Pasadena, California, close to Los Angeles and all ...

Welcome to the website of the Symposium on Search-Based Software Engineering 2024. SSBSE 2024 will take place on July 15th in Porto de Galinhas, Brazil, co-located with ESEC/FSE 2024. The symposium will be comprised of four tracks: Main research Replications and Negative Results (RENE) / New Ideas and Emerging Results (NIER) SBSE Challenge Hot off the Press (HOP) About SSBSE Search-based Software En ...

22nd and 23rd October Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with “sessio ...

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The STAF federated event runs annually. The conferences that participate may vary from year to year, but all focus ...

Global coverage and temporal resolutions of earth observation imagery data is increasing at an unprecedented rate, generating trillions of new pixels of data daily. The challenge with this ‘big data’ is finding practical ways to extract knowledge and deliver it to end users at scale, both due to the complex nature and the sheer volume of information. Detailed, standardized geographic information is required to e ...

Welcome to the 5th Script To Program Evolution Workshop In recent years there has been increased interest in scripting languages, the migration from scripts to large programs, and the interplay between typed and untyped code. New languages such as TypeScript, Hack, Dart, Typed Racket, and GradualTalk, to name a few, have begun to explore the integration of dynamic and static typing within ...

Software vulnerabilities can cause tremendous operational and financial damage to individuals and organisations in the event of cyber attacks. For example, the recent Log4J vulnerability can make millions of systems worldwide open to cyber attacks and potentially cause billions of dollars of damage. Software Vulnerability Management (SVM) is a critical process during software development to ensure software securi ...

SYCL is a new Khronos specification for heterogeneous computing built on top of OpenCL and C++. The SYCL 1.2 specification was published on May 2015, and the current SYCL 2.2 specification has been published on February 2016. Behind these two specifications, there has been an important community effort ongoing for more than five years. Now with the specifications available and with Codeplay releasing their Codepl ...

The target audience of this short tutorial (3.5 hours) are researchers that are interested in the state of the art regarding theory and implementations of the automatic synthesis of reactive systems. With the advent of the reactive synthesis competition (SYNTCOMP: http://www.syntcomp.org/), the synthesis community has made major improvements both with respect to efficient algorithms and their implementation in m ...

Welcome to the ACM SIGPLAN Scala Symposium, 2022! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of ...

The Scheme and Functional Programming Workshop is a yearly meeting of programming language practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design.

Over the last decade, many organizations have focused on software security because modern applications typically operate in a hostile network-based environment. Traditionally, organizations have tried to address security concerns by finding and fixing security vulnerabilities once the software development cycle is completed. Software needs to be secured against any unauthorized users, and this can be achieved by ...

We should learn from the past – to use what we learn for the next problem. What can we learn from the experiences of Y2K? There are some lessons about software design and software maintenance that we might apply to the next wave of software and technology: Y2K bugs: In the late 1990s, software developers and managers were furiously working to analyze and fix potential “Y2K bugs.” We all knew that there were ...

Welcome to the 4th International Workshop on Software Health in Projects, Ecosystems and Communities (SoHeal). SoHeal aims to enable and promote collaboration between academia and industry, unifying the views on software health of researchers and practitioners. The workshop’s goals are to: (i) raise awareness of practitioners’ problems with software health; (ii) familiarize practitioners with the progress made b ...

The Sparse workshop (formerly CTSTA) aims to bring together researchers interested in compiler techniques, programming abstractions, and hardware for sparse computing including sparse tensor algebra, relational algebra, and graph processing applications. Due to the large number of applications, optimization techniques, types of data structures, and specialized hardware, there is a need for automation. In recent y ...

The Summer School on Multicore Programming (MPSS) is a chance to gain extensive, hands-on experience in Java multicore development and the Eclipse platform. Summer School runs from the afternoon of Friday, October 17 through the evening of Sunday, October 19. Integrated lecture-labs will form the basis of the coursework. Teaching assistants will be on-hand to help participants during the lab portions. The Summer ...

Due to COVID-19, SySEPL will be postponed to 2021. Software Engineering and Programming Languages research have many commonalities. Both are interested in how computational tasks are formulated, and how to assist developers in express those tasks into correct and efficient code. Yet, the two communities have somewhat different approaches to the same problems. This workshop aims to bring practitioners toget ...

SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the behaviour of the system in ways that are complex and difficult to predict. Such problems may arise for real-time, hybrid or probabilistic systems in a large variety of application domains. The parameters can be continuous (e.g. timin ...

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers wit ...

Software testing is the perfect candidate among software engineering activities for the union of academic and industrial minds. The workshop Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART) is a unique event that provides a stimulating platform to facilitate collaboration between industry and academia on challenging and exciting problems of real-world software testing. The wo ...

Scope The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Research in verification has seen a steady convergence of heterogeneous techniques and a synergy between the traditionally distinct areas of testing ...

11th Workshop on Tools for Automatic Program Analysis In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. ...

Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things Embedded and cyber-physical systems (e.g., avionics, robotics, medical devices, IoT devices) are different from traditional systems: they are environment (e.g., hardware) dependent; they are distributed and can employ different concurrency control mechanisms to coordinate software components; they can have timing and ...

Visit http://manclswx.com/workshops/splash14/ for more information.

Transition to Multicore TMC is focused on tools and systems for parallel programming that are interoperable with legacy code, minimize the annotation burden for developers, and match well with current industry practice. We solicit industry experience reports about working or unworkable examples of such tools or systems, as well as research reports on topics including: Surveys or empirical studies measuring t ...

The past decade has seen an explosion of interest in programming languages, systems, and hardware to support transactions, speculation, and related alternatives to classical lock-based concurrency. Recently, transactional memory has crossed two important thresholds. First, IBM and Intel are now shipping processors with hardware support for transactional memory (TM). Second, the C++ Standard Committee has been wor ...

Transformations of structured data such as relational data, abstract syntax trees and high-level graph-based models are cross-disciplinary at the heart of a wide range of applications. The success of transformation approaches heavily depends on the availability of expressive and efficient tools. Currently, a large variety of tools exist for different transformation approaches. However, for potential users, workin ...

TTT : Type Theory Based Tools [We have funding possibilities for students and young researchers, see below. Note the early deadline.] Overview The aim of this workshop is to showcase modern tools based on type theory, whether designed for programming or for verification, whether academic projects or used in an industrial setting. It will provide a forum to highlight and discuss their common and their distincti ...

As software demands evolve and grow, new programming languages emerge and rise to popularity. However, supporting more advanced language runtime features such as just-in-time (JIT) compilation and garbage collection (GC) for a new language is no easy feat. Writing your own full-featured JIT and GC usually requires reading profusely on the subjects and implementing everything from scratch over a long period o ...

Welcome to the website of the ACM/IEEE International Conference on Technical Debt 2024. The TechDebt conference series is the premier event to bring together leading software engineering researchers, practitioners, educators, and tool developers to discuss approaches for managing various types of Technical Debt (TD), to share experiences and best practices, and to identify key challenges for industry and academi ...

The TestADS’24 Workshop has been cancelled due to low number of submissions. == The Testing of Automated Driving Systems (TestADS) Workshop aims to bring together experts in all aspects of testing ADS software. The focus will be on presenting research papers from academia and industry, but experience reports are welcome, too. TestADS aims to form a community of software engineers with backgrounds in Machine Lea ...

The Software Testing Education workshop (TestEd 2024) will aim to identify and promote best practices in software testing education, including curriculum design, inclusivity, engagement, and industrial relevance. TestEd will feature different types of sessions and invite submissions at all educational levels. TestEd 2024 will focus on knowledge diffusion. The research community has created enormous amounts of kn ...

Software testing has become an indispensable task of the software industry. The universities provide students with the fundamental knowledge and techniques of software testing. But students often ignore industry practices and lack real-world testing experience. To address this problem, ISSTA 2019 with the sponsor of MoocTest organizes testing competition for students. The competition aims to bring real-world test ...

Update 5-Mar-2024: Videos of the workshop talks are now available in this YouTube playlist. Weak memory has been an active research area for well over a decade now, with many key results published here at POPL. Researchers have built many formal models of how weak memory works (or should work) in a variety of languages and architectures, and they have designed and implemented many analyses that take weak-memor ...

ToCaMS 2020, the first ICST Workshop on Testing of Configurable and Multi-variant Systems, will focus on methods and tools for the automated generation and execution of tests for software-based systems that are highly configurable and customizable. As more and more software-based products and services are available in many different variants, new challenges for the software quality assurance processes arise. In t ...

Truffle 2022: Truffle/GraalVM Languages Workshop The Truffle/GraalVM Languages Workshop is intended to bring together researchers and developers from both industry and academia that work with the technologies offered by the Truffle language framework and the GraalVM runtime, as well as those working on related approaches pertaining to specializing dynamic language runtimes and tooling. The workshop is meant to f ...

The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: depend ...

This workshop, which is in its second instance, is about all aspects of unsoundness in type system and verification tools and theories. It is meant to entertain a community-wide discussion on possible sources of unsoundness and how to avert, address, and tackle them. We are particularly interested in the presentation of previously unknown or lesser known problems as well as discussions of well-known soundness hol ...

VEE will be held with ASPLOS 2022. More information of the papers can be accessed here: https://www.sigops.org/s/conferences/vee/2022/toc.html

The tension between unconstrained mutation and algebraic semantic reasoning has been well known at least since Backus’ 1977 Turing Award paper introducing FP. After decades of bifurcation into communities that either ignored the problem, or addressed it by insisting on strict immutability, the PL field has recently begun to explore more nuanced approaches that emphasize the independence of mutable values. Value ...

This page will soon grow in content and contain information about the scope of this research track.

The Vivek Sarkar Festschrift Symposium is being planned during 20-24th Oct, 2024 in Pasadena, California at the SPLASH’24. This day-long symposium will be to celebrate the scholarship and teaching of Prof. Vivek Sarkar, the Chair of the School of Computer Science at Georgia Tech and the Stephen Fleming Chair for Telecommunications in the College of Computing. The theme of the symposium is “Principles and Practic ...

From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge. The IEEE Symposium on Visual Languages and Human-Centric Co ...

Welcome to the website of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2024 will be the 25th edition in ...

Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.

Runtime Monitoring (RM) is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behaviour. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring and adherence to correctness properties (more commonly referred to as runtime verification). RM has gained popularity as a solution to ensure software ...

The aim of the VPT 2019 workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. There is a great potential for beneficial interactions between these two fields because: On one hand, methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with ...

The aims of the competition are: to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Particip ...

The 27th International Workshop on Algebraic Development Techniques (WADT 2024) will be held in Enschede, the Netherlands, as part of STAF 2024 (Software Technologies: Applications and Foundations). The workshop will take place under the auspices of IFIP WG 1.3. Aims and scope The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a f ...

Mirror WAIN’21 page Welcome to WAIN’21 - 1st Workshop on AI Engineering – Software Engineering for AI The aim of the workshop is to bring together researchers and practitioners in software engineering, in data-science and AI, and to build up a community that will target the new challenges emerging in Software Engineering that AI/data-science engineers and software engineers are facing in development of AI-bas ...

WebAssembly is a general-purpose low-level virtual machine. It was the first programming language to be introduced to the Web since JavaScript, and has since been adopted in many other environments, such as edge and cloud computing, mobile computing, blockchains, and embedded systems. Unusually for an industrial language, WebAssembly’s normative specification is stated fully in terms of a pen-and-paper formal sem ...

WAX is a workshop on approximate computing, a research direction that asks how computer systems can be made better—faster, more efficient, and less complex—by relaxing the requirement that they be exactly correct. Approximation arises from sources as diverse as sensors, machine learning algorithms, and big data applications. Approximate systems raise questions from across the system stack, from circuits to applic ...

The Workshop on Compiler Infrastructures for Research and Education (WCIRE) aims to bring together developers of compiler infrastructures, researchers interested in compiler infrastructures, and users of compiler infrastructures in academia. The workshop will consist of developer talks describing different compiler infrastructures and their use, and user talks describing how compiler infrastructures have been use ...

This page will soon grow in content and contain information about the scope of this research track.

The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will en ...

WITS 2024 is the third Workshop on the Implementation of Type Systems. The workshop will be held on January 20, 2024, in London, United Kingdom, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical framewor ...

WODA’17 was a great success. Thanks to all speakers and participants! A subset of the WODA’17 attendees: The 2017 edition of WODA features an outstanding line-up of invited speakers. The workshop is open to everybody interested. The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, ...

Building on a successful workshop last year, the second Workshop on Stencil Computations is now ACM-sponsored and proceedings will be published in the ACM Digital Library.

WOSCA’21 has been cancelled. Smart contracts are versatile instruments that can not only facilitate and verify transactions in financial services, but also track the movement of physical goods and intellectual property. Security and correctness are essential for smart contract technology, because contracts possess the authority to allocate high-value resources between complex systems and are, for the most part, ...

Please see the external WOW’15 website for more information.

Call for Papers SIMD processing is still a main driver of performance in general-purpose processor architectures besides multi-core technology. Both technologies increase the potential performance by factors, but have to be explicitly utilized by the software. To expose those different levels of parallelism in a productive and manageable way is still an active area of research. NVIDIA stirred the programming int ...

Learning how to program quantum computers is the next critical skill for developers. Despite this, current quantum programming tools are still at an early stage of the development process, which limits the possibility of creating real complex quantum software systems. The most urgent need for quantum software today is a systematic and unifying approach to quantum programming, with the following main objectives: ...

This page will soon grow in content and contain information about the scope of this research track.

First Workshop on Speculative Side Channel Analysis Side channels have dramatically gained attention in January this year when security researchers disclosed several attacks with the potential to improperly gather sensitive data from the majority of computing devices. Vendors of both processors and operating systems are scrambling to fix their systems. There is no reason to believe these attack ...

The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges – dealing with thousands of cores and peta-bytes of data. The open-source X10 programming language is designed to address these twin cha ...

This page will soon grow in content and contain information about the scope of this research track.

The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and users fr ...

Tiny machine learning (tinyML) is a fast-growing field of machine learning technologies enabling on-device sensor data processing at extremely low power, typically in the milliwatt range and below. The tinyML ecosystem is fueled by (i) current applications in vision and audio that are already becoming mainstream and commercially available; (ii) emerging low-power commercial applications and new system concepts on ...

SPLASH ’12 Workshop - What Drives Design? Designers are busy people, and they are getting busier. In today’s world designers must deal with three competing pressures: A relentless avalanche of new knowledge about rapidly evolving applications domains and platforms, everything from smart phones, tablets and social networking to finance and defense systems, An insatiable marketplace demanding and rewarding i ...

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience. In 2025, the conference will be held in Prague, Czechia. We are working hard to finalize the dat ...