[TYPES/announce] COP'21
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers The 13th International Workshop on Context-Oriented Programming and Advanced Modularity (COP'21) Co-located with ECOOP/ISSTA'21, online, July 2021 https://2021.ecoop.org/track/ecoop-issta-2021-cop COP invites submissions of high-quality papers reporting original research, or describing innovative contributions to, or experience with context-oriented programming, and broadly, programming ideas on modularity. Topics of interest to the workshop include, but are not limited to: - Context-Oriented Programming (COP) and Contextual modeling in modern computer systems (mobile systems, IoTs, cloud/edge computing, autonomous systems, etc.); - Programming language abstractions for COP (e.g., dynamic scoping, roles, traits, prototype-based extensions); - Implementation issues for COP (e.g., optimization, VM support, JIT compilation); - COP applications in computer systems (e.g., mobile systems, IoTs, cloud/edge computing, security); - COP applications in autonomous systems (e.g., unmanned aerial vehicles, autonomous vehicles); - Configuration languages (e.g., feature description interpreters, transformational approaches); - Programming language abstractions for composition and modularization (e.g., modules, aspects, features, layers, plugins, libraries, components); - Theoretical foundations and reasoning support for COP and modular systems (e.g., semantics, type systems, mechanized proofs); - Software lifecycle support for modularization (e.g., requirements; architecture; synthesis; metrics; software product lines; economics; testing; patterns); - Tool support for modular software development (e.g., platform; refactoring; static and dynamic analysis; evolution; reverse engineering; mining); - Modular applications (e.g., data-intensive applications, micro-services, serverless computing); Important Dates Mon 19 Apr 2021, Submission Deadline Mon 17 May 2021, Notifications -- Yu David Liu Department of Computer Science SUNY Binghamton
[TYPES/announce] Deadline extended: VMIL@SPLASH/OOPSLA 2019
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The new deadline is Aug 16. On Sat, Jul 13, 2019 at 12:26 PM Yu David Liu wrote: > To TYPES subscribers, > > The topics of the workshop is broadly defined, and may be of interest to > researchers on VM verification, typed PL optimization (e.g., gradual typing > optimization), typed intermediate languages, approximate programming, > reasoning about memory and other resources, among others. Hope to see you in > Athens. > > David & Daniele > > > VMIL 2019 - The 11th ACM SIGPLAN International Workshop on Virtual Machines > and Language Implementations > > Co-located with SPLASH/OOPSLA 2019, Athens, Greece, Oct 22, 2019 > > > https://2019.splashcon.org/home/vmil-2019 > > The VMIL workshop is a forum for researchers and cutting-edge practitioners > in language virtual machines, the intermediate languages they use, and > related issues. > > The workshop is intended to be welcoming to a wide range of topics and > perspectives, covering all areas relevant to the workshop’s theme. Aspects of > interest include, but are not limited to: > > [*] design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism) > [*] compilation (static and dynamic compilation strategies, optimizations, > data representations) > [*] VM embeddings in other systems (e.g., DBMSs, Big Data frameworks, > Microservices, etc.) > [*] VMs for machine learning, machine learning for VMs > [*] memory management > [*] concurrency (both internal and user-facing) > [*] tool support and related infrastructure (profiling, debugging, liveness, > persistence) > [*] the experience of VM development (use of high-level languages, > bootstrapping and self-hosting, reusability, portability, developer tooling, > etc) > [*] empirical studies on related topics, such as usage patterns, the > usability of languages or tools, experimental methodology, or benchmark design > > > === Submission Information === > > We invite high-quality papers in the following two categories: > > Research and experience papers: These submissions should describe work that > advances the current state of the art in the above or related areas. The > suggested length of these submissions is 6–10 pages (maximum 10pp). > > Work-in-progress or position papers: These papers should document ongoing > efforts in an area of interest which have not yet yielded final results, > and/or should present and defend the authors’ position on a topic related to > the broad area of the workshop. The maximum length of these submissions is 6 > pages, but we will consider shorter submissions (e.g. a well-written 2-page > abstract). > > > === Important Dates === > > First submission deadline: Aug 2, 2019 > > Second submission deadline: Aug 30, 2019 > > > > For the first submission deadline, all paper types are considered for > publication in the ACM Digital Library, except if the authors prefer not to > be included. Publication of work-in-progress and position papers at VMIL is > not intended to preclude later publication elsewhere. > > Submissions will be judged on novelty, clarity, timeliness, relevance, and > potential to stimulate discussion during the workshop. > > For the second deadline, we will consider only work-in-progress and position > papers. Abstracts do not have to be submitted before the deadline. These will > not be published in the ACM DL, and will only appear on the web site. > > The address of the submission site is: https://vmil19.hotcrp.com/ > > > > -- > Yu David Liu > Department of Computer Science > SUNY Binghamton > -- Yu David Liu Department of Computer Science SUNY Binghamton
[TYPES/announce] VMIL@SPLASH/OOPSLA 2019
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To TYPES subscribers, The topics of the workshop is broadly defined, and may be of interest to researchers on VM verification, typed PL optimization (e.g., gradual typing optimization), typed intermediate languages, approximate programming, reasoning about memory and other resources, among others. Hope to see you in Athens. David & Daniele VMIL 2019 - The 11th ACM SIGPLAN International Workshop on Virtual Machines and Language Implementations Co-located with SPLASH/OOPSLA 2019, Athens, Greece, Oct 22, 2019 https://2019.splashcon.org/home/vmil-2019 The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: [*] design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism) [*] compilation (static and dynamic compilation strategies, optimizations, data representations) [*] VM embeddings in other systems (e.g., DBMSs, Big Data frameworks, Microservices, etc.) [*] VMs for machine learning, machine learning for VMs [*] memory management [*] concurrency (both internal and user-facing) [*] tool support and related infrastructure (profiling, debugging, liveness, persistence) [*] the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc) [*] empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design === Submission Information === We invite high-quality papers in the following two categories: Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10pp). Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). === Important Dates === First submission deadline: Aug 2, 2019 Second submission deadline: Aug 30, 2019 For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. For the second deadline, we will consider only work-in-progress and position papers. Abstracts do not have to be submitted before the deadline. These will not be published in the ACM DL, and will only appear on the web site. The address of the submission site is: https://vmil19.hotcrp.com/ -- Yu David Liu Department of Computer Science SUNY Binghamton
[TYPES/announce] International Workshop on Programming Across the System Stack (PASS@ECOOP'19)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Workshop on Programming Across the System Stack (PASS@ECOOP '19) https://2019.ecoop.org/home/PASS-ECOOP-2019 London, UK, July 19, 2019 = 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 performance. In the meantime, programming-related quality metrics such as correctness, verifiability, portability, modularity, and extensibility, remain relevant in modern software engineering, bringing in crucial benefits such as modular reasoning, program understanding, and collaborative software development. Current methodologies and software development technologies should be revised in order to produce software to meet system-oriented goals, while preserving high software quality. The role of the Programmer or Software Developer is essential, having to be aware of the implications that each design, architecture and implementation decision has on the application-system ecosystem. This workshop is driven by one fundamental question: How does software quality interact with system-oriented goals? We welcome both positive and negative responses to this question. An example of the former would be modular reasoning systems specifically designed to promote system-oriented goals, whereas an example of the latter would be anti-patterns against system-oriented goals during software development. Areas of interest include but are not limited to: •Program reasoning across the system stack •Language design for computer systems •Language support for emerging platforms (e.g., UAVs, IoTs) •Energy-aware software systems and languages •Cross-layer security support •Software architecture for application-system interactions •Trade-off support between system-oriented metrics and software quality metrics •Cross-layer optimization •Empirical studies (patterns and anti-patterns) = Submission Guidelines = PASS accepts the following submission categories: •Regular papers: up to 6 pages, •Position papers: up to 2 pages, •Posters: one page extended abstract or a poster draft. We welcome papers that identify new problems or report work in progress. A good PASS submission should be interesting and clear. It does not need to describe a complete solution. Submissions can be made through Easychair: https://easychair.org/conferences/?conf=passecoop19 = Invited Talk = Daniel O'Keeffe, Royal Holloway University of London https://danokeeffe.io/ = Important dates = Papers •Abstracts: May 15, 2019 •Submission: May 20, 2019 •Notification: June 10, 2019 •Final copy: June 21 , 2019 Posters •Submission: June 5, 2019 •Notification: June 10, 2019 = Program Committee = •Christoph Bockisch, Philipps-University Marburg (*) •Dan Grossman, University of Washington •Sebastian Götz, Technische Universität Dresden •Fahed Jubair, University of Jordan •Yu David Liu, State University of New York at Binghamton (*) •Hidehiko Masuhara, Tokyo Institute of Technology, Japan (*) •Gustavo Pinto, UFPA •Aleksandar Prokopec, Oracle Labs •Hridesh Rajan, Iowa State University •Nobuko Yoshida, Imperial College London •Lukasz Ziarek, State University of New York at Buffalo (*) (*) indicates an organizer -- Yu David Liu Department of Computer Science SUNY Binghamton
[TYPES/announce] 2016 Brazilian Symposium on Programming Languages: Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please consider contributing to this main PL conference in Brazil, an event with a long tradition to bring international researchers together. All topics within the scope of TYPES are welcome. The deadline has been extended, with April 22 for the abstract, and April 29 for the full paper. Best regards, Fernando and David === The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2016 will be held in Maringa, in the Southern region of Brazil, and will be the 20th edition of the symposium. SBLP is part of the 7th edition of CBSoft, the Brazilian Congress on Software: Theory and Practice. More information is available athttp://cbsoft.org/sblp2016/xx-brazilian-symposium-on-programming-languages. IMPORTANT DATES Abstract submission: April 22nd 2016 Paper submission: April 29th 2016 Author notification: June 10th 2016 Camera ready deadline: June 24th 2016 Symposium dates: September 22nd and 23rd Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: - Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages. - Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. - Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical. - Program analysis and verification, including type systems, static analysis, and abstract interpretation. - Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques. SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 6 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available athttp://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System:http://www.easychair.org/conferences/?conf=sblp2016. As in previous editions, after the conference, authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Fernando Castor, Federal University of Pernambuco Yu David Liu, State University of New York, Binghamton PROGRAM COMMITTEE Luis Barbosa, University of Minho Thiago Tonelli Bartolomei, LogicBlox Mariza Bigonha, Federal University of Minas Gerais Roberto Bigonha, Federal University of Minas Gerais Andre Rauber Du Bois, Federal University of Pelotas Christiano Braga, Fluminense Federal University Carlos Camarão, Federal University of Minas Gerais Francisco Carvalho-Junior, Federal University of Ceara Fernando Castor, Federal University of Pernambuco Marcelo D'Amorim, Federal University of Pernambuco João Paulo Fernandes, University of Beira Interior João Ferreira, Teesside University Lucilia Figueiredo, Federal University of Ouro Preto Ismael Figueroa, Pontificia Universidad Católica de Valparaiso Alex Garcia, IME Rodrigo Geraldo, Federal University of Ouro Preto Roberto Ierusalimschy, PUC-Rio Rafael Lins, Federal University of Pernambuco Yu David Liu, State University of New York at Binghamton Hans-Wolfgang Loidl, Heriot-Watt University Marcelo Maia, Federal University of Uberlândia Manuel-A. Martins, University of Aveiro Fabio Mascarenhas, Federal University of Rio de Janeiro Sérgio Medeiros, Federal University of Rio Grande do Norte Ana Milanova, Rensselaer Polytechnic Institute Alvaro Moreira, Federal University
[TYPES/announce] Modularity Across the System Stack (MASS'16) -- deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome papers on type systems and reasoning techniques at the intersection of programming languages and systems. The theme of MASS'16 is "modularity meets systems." Deadline on Jan 29, 2016. We accept both regular papers, and short papers in 2 pages. Best Regards, David Liu on behalf of MASS'16 organizers -- The 2016 International Workshop on Modularity Across the System Stack (MASS'16) affiliated with Modularity'16 (Malaga, Spain) 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 meantime, modularity remains a cornerstone in modern software engineering, bringing in crucial benefits such as modular reasoning, improved program understanding, and collaborative software development. Current methodologies and software development technologies should be revised in order to produce software to meet system-oriented goals. The role of the Software Engineer is essential, having to be aware of the implications that each design, architecture and implementation decision has on the application-system ecosystem. This workshop is driven by one fundamental question: How does modularity interact with system-oriented goals? We welcome both positive and negative responses to this question. An example of the former would be modular reasoning systems specifically designed to promote system-oriented goals, whereas an example of the latter would be anti-patterns against system-oriented goals during modular software development. More concretely, areas of interest include but are not limited to: - Energy-aware software engineering (e.g. energy efficiency models, energy efficiency as a quality attribute, energy-aware self-adaptation) - Modularity support for energy-conscious and resource-constrained applications - Modularity support (e.g., programming language design and verification) for Big Data applications - Modularity support for high-performance, distributed, and heterogeneous applications - Software architecture for reusability and adaptability in systems and their interactions with applications - Modular security support (e.g., compositional information flow, compositional program analysis) - Modular real-time systems - Modular design interfacing applications and operating systems - Modular design interfacing software and hardware - Modularity support on emerging platforms (e.g., Internet of Things and wearable devices) - Empirical studies (patterns and anti-patterns) on the relationship between modularity and system-oriented goals - Software engineering techniques to balance the trade-off between modularity and efficiency - Memory bloats and long-tail performance problems across modular boundaries - Program optimization across modular boundaries - Modularity in systems software - Reasoning across applications, compilers, and virtual machines In a nutshell, we welcome all work sharing the spirit of Modularity Meets Systems. Submission details can be found at http://www.cs.binghamton.edu/~davidl/mass16.html. Organizers - Shigeru Chiba, University of Tokyo - Lidia Fuentes, University of Malaga - Hidehiko Masuhara, Tokyo Institute of Technology - Monica Pinto, University of Malaga - Max Scherr, University of Tokyo Program Chair: Yu David Liu, SUNY Binghamton Program Committee - Fernando Castor, Federal University of Pernambuco (UFPE) - Shigeru Chiba, University of Tokyo - Lidia Fuentes, University of Malaga - Nadia Gamez, University of Malaga - Raffi Khatchadourian, CUNY City Tech - Patricia Lago, VU University Amsterdam - David H. Lorenz, The Open University of Israel - Hidehiko Masuhara, Tokyo Institute of Technology - Monica Pinto, University of Malaga - Adrian Sampson, Cornell University - Max Scherr, University of Tokyo - Lukasz Ziarek, SUNY Buffalo -- Yu David Liu Associate Professor Department of Computer Science SUNY Binghamton
