the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect op...
ISBN:
(纸本)9781605587943
the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators;using functionalprogramming within an industrial product group: perspectives and perceptions;lazy tree splitting;semantic subtyping with an SMT solver;logical types for untyped languages;higher-order representation of substructural logics;the impact of higher-order state and control effects on local relational reasoning;distance makes the types grow stronger: a calculus for differential privacy;security-typed programming within dependently typed programming;combining syntactic and semantic bidirectionalization;matching lenses: alignment and view update;bidirectionalizing graph transformations;a fresh look at programming with names and binders;experience report: growing programming languages for beginning students;and fortifying macros.
As large language models (LLMs) show great promise in generating a wide spectrum of educational materials, robust yet costeffective assessment of the quality and effectiveness of such materials becomes an important ch...
详细信息
ISBN:
(纸本)9798400707018
As large language models (LLMs) show great promise in generating a wide spectrum of educational materials, robust yet costeffective assessment of the quality and effectiveness of such materials becomes an important challenge. Traditional approaches, including expert-based quality assessment and student-centered evaluation, are resource-consuming, and do not scale efficiently. In this work, we explored the use of pre-existing student learning data as a promising approach to evaluate LLM-generated learning materials. Specifically, we used a dataset where students were completing the program construction challenges by picking the correct answers among human-authored distractors to evaluate the quality of LLM-generated distractors for the same challenges. the dataset included responses from 1,071 students across 22 classes taught from Fall 2017 to Spring 2023. We evaluated five prominent LLMs (OpenAI-o1, GPT-4, GPT-4o, GPT-4o-mini, and Llama-3.1-8b) across three different prompts to see which combinations result in more effective distractors, i.e., those that are plausible (often picked by students), and potentially based on common misconceptions. Our results suggest that GPT-4o was the most effective model, matching close to 50% of the functional distractors originally authored by humans. At the same time, all of the evaluated LLMs generated many novel distractors, i.e., those that did not match the pre-existing human-authored ones. Our preliminary analysis shows that those appear to be promising. Establishing their effectiveness in real-world classroom settings is left for future work.
Pair programming is a collaborative activity that enhances students' computational thinking (CT) skills. Analyzing students' interactions during pair programming provides valuable insights into effective learn...
详细信息
ISBN:
(纸本)9798400707018
Pair programming is a collaborative activity that enhances students' computational thinking (CT) skills. Analyzing students' interactions during pair programming provides valuable insights into effective learning. However, interpreting classroom dialogues is a challenging and complex task. Due to the simultaneous interaction between interlocutors and other ambient noise in collaborative learning contexts, previous work heavily relied on manual transcription and coding, which is labor-intensive and time-consuming. Recent advancements in speech and language processing offer promising opportunities to automate and scale up dialogue analysis. Besides, previous work mainly focused on task-related interactions, with little attention to social interactions. To address these gaps, we conducted a four-week CT course with 26 fifth-grade primary school students. We recorded their discussions, transcribed them with speech processing models, and developed a coding scheme and applied LLMs for annotation. Our AI-driven pipeline effectively analyzed classroom recordings with high accuracy and efficiency. After identifying the dialogue patterns, we investigated the relationships between these patterns and CT performance. Four clusters of dialogue patterns have been identified: Inquiry, Constructive Collaboration, Disengagement, and Disputation. We observed that Inquiry and Constructive Collaboration patterns were positively related to students' CT skills, while Disengagement and Disputation patterns were associated with lower CT performance. this study contributes to the understanding of how dialogue patterns relate to CT performance and provides implications for both research and educational practice in CT learning.
the proceedings contain 20 papers. the topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstr...
ISBN:
(纸本)9781450344463
the proceedings contain 20 papers. the topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstrapping domain-specific meta-languages in language workbenches;dependence-driven delimited CPS transformation for JavaScript;synthesizing regular expressions from examples for introductory automata assignments;programmable semantic fragments: the design and implementation of typy;delaying decisions in variable concern hierarchies;automatic code generation in practice: experiences with embedded robot controllers;a change-centric approach to compile configurable systems with #ifdefs;a feature-based personalized recommender system for product-line configuration;IncLing: efficient product-line testing using incremental pairwise sampling;towards a software product line of trie-based collections;tool demo: testing configurable systems with FeatureIDE;automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery;a vision for online verification-validation;and automatic non-functional testing of code generators families.
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional react...
ISBN:
(纸本)1595930647
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional reactive programming using generalized algebraic data types;combining programming withtheorem proving;AtomCaml: first-class atomicity via rollback;a principled approach to operating system construction in Haskell;simple, partial type-inference for system F based on type-containment;type inference, principal typings, and let-polymorphism for first-class mixin modules;backtracking, interleaving, and terminating monad transformers (functional Pearl);scrap your boilerplate with class: extensible generic functions;continuations from generalized stack inspection;fast narrowing-driven partial evaluation for inductively sequential programs;mechanizaing the meta-theory of programming languages;and modular verification of concurrent assembly code with dynamic thread creation and termination.
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement ty...
ISBN:
(纸本)9781450336697
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement types;applicative bidirectional programming with lenses;hygienic resugaring of compositional desugaring;XQuery and static typing: tackling the problem of backward axes;noninterference for free;algebras and coalgebras in the light affine lambda calculus;structures for structural recursion;denotational cost semantics for functional languages with inductive types;analyzing the complexity of functional programs: higher-order meets first-order;functionalprogramming and hardware design: still interesting after all these years;and pilsner: a compositionally verified compiler for a higher-order imperative language.
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a ...
ISBN:
(纸本)9781450323260
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a monad for typed tactic programming in Coq;fun with semirings: a functional pearl on the abuse of linear algebra;programming and reasoning with algebraic effects and dependent types;well-founded recursion with copatterns: a unified approach to termination and productivity;productive coprogramming with guarded recursion;higher-order functional reactive programming without spacetime leaks;simple and compositional reification of monadic embedded languages;structural recursion for querying ordered graphs;a nanopass framework for commercial compiler development;the bedrock structured programming system: combining generative metaprogramming and Hoare logic in an extensible program verifier;and a practical theory of language-integrated query.
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient co...
ISBN:
(纸本)9781605582672
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functionalprogramming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style dist...
ISBN:
(纸本)9781450323857
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style distributed storage;multicore profiling for Erlang programs using Percept2;software agents mobility using process migration mechanism in distributed Erlang;actor scheduling for multicore hierarchical memory platforms;extending Erlang by utilising RefactorErl;scalable persistent storage for Erlang: theory and practice;towards an abstraction for remote evaluation in Erlang;towards property-based testing of RESTful web services;turning web services descriptions into QuickCheck models for automatic testing;and testing blocking operations with QuickCheck's component library.
暂无评论