Explore >> Select a destination
|
You are here 
|
2019.splashcon.org | ||
| | | | |
2016.splashcon.org
|
|
| | | | | OOPSLA seeks outstanding contributions on all aspects of programming languages and software engineering. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processe... | |
| | | | |
popl18.sigplan.org
|
|
| | | | | POPL 2018 TutorialFest will be on Monday, 8 January 2018. This year POPL TutorialFest will consist of 8 tutorials (4 in the morning and 4 in the afternoon) of 3 hours each. Morning Session Message-Passing Concurrency and Substructural Logics. Slides - Live-coded examples - as a zip file. Frank Pfenning, Carnegie Mellon University. Code Obfuscation - a Hacking view on program analysis and understanding. Slides. Roberto Giacobazzi, University of Verona and IMDEA SW Institute. Equational reasoning for probabilistic programming. Handout. Chung-chieh Shan, Indiana University. Programming and ... | |
| | | | |
2023.splashcon.org
|
|
| | | | | The 20th International Conference on Managed Programming Languages & Runtimes (MPLR'23, 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-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable a... | |
| | | | |
2019.splashcon.org
|
|
| | | 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 metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue ... | ||
