1 |
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Classification of Natural Language Processing Techniques for Requirements Engineering ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Conceptual Modeling of Events Based on One-Category Ontology ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Accelerating Code Search with Deep Hashing and Code Classification ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
CSRS: Code Search with Relevance Matching and Semantic Matching ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Detecting Privacy Requirements from User Stories with NLP Transfer Learning Models ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
|
|
|
|
In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
|
|
|
|
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom
|
|
|
|
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
17 |
SEALS: A framework for building Self-Adaptive Virtual Machines
|
|
|
|
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
|
|
Abstract:
International audience ; Over recent years, self-adaptation has become a major concern for software systems that evolve in changing environments. While expert developers may choose a manual implementation when self-adaptation is the primary concern, selfadaptation should be abstracted for non-expert developers or when it is a secondary concern. We present SEALS, a framework for building self-adaptive virtual machines for domainspecific languages. This framework provides first-class entities for the language engineer to promote domain-specific feedback loops in the definition of the DSL operational semantics. In particular, the framework supports the definition of (i) the abstract syntax and the semantics of the language as well as the correctness envelope defining the acceptable semantics for a domain concept, (ii) the feedback loop and associated trade-off reasoning, and (iii) the adaptations and the predictive model of their impact on the trade-off. We use this framework to build three languages with self-adaptive virtual machines and discuss the relevance of the abstractions, effectiveness of correctness envelopes, and compare their code size and performance results to their manually implemented counterparts. We show that the framework provides suitable abstractions for the implementation of self-adaptive operational semantics while introducing little performance overhead compared to a manual implementation.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
|
|
URL: https://hal.inria.fr/hal-03355253 https://doi.org/10.1145/3486608.3486912 https://hal.inria.fr/hal-03355253/file/SEALS-HAL.pdf https://hal.inria.fr/hal-03355253/document
|
|
BASE
|
|
Hide details
|
|
18 |
Automating user-feedback driven requirements prioritization
|
|
|
|
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Automatic Guide Generation for Stan via NumPyro
|
|
|
|
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
|
|
BASE
|
|
Show details
|
|
20 |
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
|
|
BASE
|
|
Show details
|
|
|
|