SSERL
Home
Members
Seminar
Publications
Software
Funding
Talks
2019
Comparing NamedCapture With Other R Packages for Regular Expressions
Regular expressions are powerful tools for manipulating non-tabular textual data. For many tasks (visualization, machine learning, …
Feb 28, 2019 3:46 PM
SICCS, #308
Toby Dylan Hocking (Northern Arizona University)
PDF
The Language of Chatbots
Why do current chatbots sound unnatural? It is old-news that the more human traits a technology has, the more social expectations the …
Feb 5, 2019 3:17 PM
SICCS #308
Ana Chaves Steinmacher (Northern Arizona University)
Parallel Programming with the Orleans Skeleton Library
As parallel architectures are now the norm, it is necessary to consider programming languages and libraries that offer a trade-off …
Feb 5, 2019 3:16 PM
SICCS #308
Frederic Loulergue (Northern Arizona University)
2018
Open Source in Education: What We Can Do About It?
Gustavo is an Assistant Professor at the Faculty of Computing of the Federal University of Pará, Brazil. He researches in the broad …
Dec 4, 2018 9:19 AM
SICCS #223
Dr. Gustavo Pinto (UFPA-Brazil)
Tutorial Towards Reliable Things: Formal Verification of IoT Software With Frama C
Among distributed systems, connected devices and services, also referred to as the Internet of Things (IoT), have proliferated very …
Nov 20, 2018 4:44 PM
SICCS #223
Allan Blanchard (Inria Lille Nord Europe, France)
,
Frédéric Loulergue (Northern Arizona University, SICCS)
Code
Applying Formal Methods to the Contiki Operating System
Contiki is an open-source OS for the IoT. It provides basic OS features on an event-based kernel, including the scheduler, and a …
Nov 20, 2018 4:41 PM
SICCS #223
Allan Blanchard (Inria Lille Nord Europe, France)
Toward Software Engineering Mechanisms Applied to High Performance Computing and Distributed Systems
In this talk, I will illustrate how performance and software engineering can be combined in practice, in two different domains: High …
Nov 20, 2018 4:39 PM
ARD Large Pod
Hélène Coullon (IMT Atlantique & Inria, France)
DeepState: Symbolic Unit Testing for C and C++
Unit testing is a popular software development methodology that can help developers detect functional regressions, explore boundary …
Nov 20, 2018 4:37 PM
Alex Groce (Northern Arizona University)
Advanced Test Coverage Criteria: Specify and Measure, Cover and Unmask
Automatic test data generation (ATG) is a major topic in software engineering. A large amount of research effort has been invested to …
Nov 20, 2018 4:34 PM
SICCS #223
Nikolai Kosmatov (CEA List, France)
Causal Distance Metric Based Assistance for Debugging After Compiler Fuzzing
Measuring the distance between two program executions is a fundamental problem in dynamic analysis of software and useful in many test …
Nov 20, 2018 4:31 PM
SICCS #224
Josie Holmes and Alex Groce (Northern Arizona University)
Cite
×