sserl.github.io/index.json at master · SSERL/sserl.github.io · GitHub

1
[{"authors":["sserl"],"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"taxonomy","lang":"en","lastmod":-62135596800,"objectID":"9b52a73e305f5fe9b2bbd2a6c2aa6159","permalink":"https://sserl.github.io/authors/sserl/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/authors/sserl/","section":"authors","summary":"","tags":null,"title":"SICCS Software Engineering Research Laboratory","type":"authors"},{"authors":null,"categories":null,"content":"","date":1540582200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540582200,"objectID":"e6d9d8b4d1742eb1c35d011691b1a6f4","permalink":"https://sserl.github.io/members/faculty/alex_groce/","publishdate":"2018-10-26T12:30:00-07:00","relpermalink":"/members/faculty/alex_groce/","section":"members","summary":"Associate Professor","tags":["Faculty","C"],"title":"Alex Groce","type":"members"},{"authors":null,"categories":null,"content":"","date":1540557000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540557000,"objectID":"3a87d0c89ac39dca8e4a66af04229ec0","permalink":"https://sserl.github.io/members/faculty/frederic_loulergue/","publishdate":"2018-10-26T12:30:00Z","relpermalink":"/members/faculty/frederic_loulergue/","section":"members","summary":"Professor","tags":["Faculty","C"],"title":"Frédéric Loulergue","type":"members"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"fe0cb9957410f15b8c2f7a8329eb01d1","permalink":"https://sserl.github.io/members/faculty/igor_steinmacher/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/members/faculty/igor_steinmacher/","section":"members","summary":"Assistant Professor","tags":["Faculty","C"],"title":"Igor Steinmacher","type":"members"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"9c1f0aed654ea8b0193a5a776663fcdf","permalink":"https://sserl.github.io/members/faculty/john_georgas/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/members/faculty/john_georgas/","section":"members","summary":"Dean of CEIAS","tags":["Faculty","C"],"title":"John Georgas","type":"members"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"6e88fd1569adbeb53ee4fb983e0cd99d","permalink":"https://sserl.github.io/members/faculty/marco_gerosa/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/members/faculty/marco_gerosa/","section":"members","summary":"Associate Professor","tags":["Faculty","C"],"title":"Marco Gerosa","type":"members"},{"authors":null,"categories":null,"content":"Ana Paula Chaves is a graduate teaching assistant at the School of Informatics, Computing and Cyber Systems, Northern Arizona University, advised by Marco Gerosa.\nPersonal webpage\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"8fb6e32f00b1249d37f890c8c7dfc8a2","permalink":"https://sserl.github.io/members/graduate/acs549/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/acs549/","section":"members","summary":"Graduate Teaching Assistant","tags":["Grad","C"],"title":"Ana Paula Chaves Steinmacher","type":"members"},{"authors":null,"categories":null,"content":"Austin Sanders is a graduate teaching assistant at the School of Informatics, Computing and Cyber Systems, Northern Arizona University, advised by John Georgas.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"8ea32155f251d71f0ab4a8c5262e52dd","permalink":"https://sserl.github.io/members/graduate/as2544/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/as2544/","section":"members","summary":"Graduate Research Assistant","tags":["Grad","C"],"title":"Austin Sander","type":"members"},{"authors":null,"categories":null,"content":"Jefferson Silva is a PhD candidate at the Institute of Mathematics and Statistics, University of São Paul in Brazil, advised by Marco Gerosa and Igor Steinmacher.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"d5b38dfaae65a9092112a8125ef543f1","permalink":"https://sserl.github.io/members/graduate/jefferson_silva/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/jefferson_silva/","section":"members","summary":"PhD Candidate - USP/Brazil","tags":["Grad","C"],"title":"Jefferson Silva","type":"members"},{"authors":null,"categories":null,"content":"Jolan Philippe obtained his Master\u0026rsquo;s degree at NAU in May 2019. His SSERL advisor was Frédéric Loulergue. He is now a PhD student at IMT Atlantique, Nantes, France.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"cc535ff94492e5cf0871f0c63aa5fe17","permalink":"https://sserl.github.io/members/graduate/jp2589/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/jp2589/","section":"members","summary":"Graduate Research Assistant","tags":["A"],"title":"Jolan Philippe","type":"members"},{"authors":null,"categories":null,"content":"Salwa Souaf is a Phd student both at Nothern Arizona University and INSA Centre Val de Loire. Her SSERL advisor is Frédéric Loulergue, and she is co-advised by Pascal Berthomé at INSA. She works on formal methods applied to cloud security.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"e14b467e0c4378c99b35b7b53b73c4d2","permalink":"https://sserl.github.io/members/graduate/ss3465/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/ss3465/","section":"members","summary":"Graduate Research Assistant","tags":["Grad","C"],"title":"Salwa Souaf","type":"members"},{"authors":null,"categories":null,"content":"Arvid Jakobsson was a Phd student at the Université d\u0026rsquo;Orléans, France, and he is also working for Huawei Technologies France. His SSERL advisor was Frédéric Loulergue, and he was co-advised by Wadoud Bousdira and Frédéric Dabrowski at the Université d\u0026rsquo;Orléans, and Gaétan Hains and Wijnand Suijlen at Huawei Technologies France. His research is focused on the static analysis of scalable parallel programs.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"6103cdcd250ced69767e3598d8f45430","permalink":"https://sserl.github.io/members/graduate/arvid_jakobsson/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/arvid_jakobsson/","section":"members","summary":"Université d'Orléans PhD Student","tags":["A"],"title":"Arvid Jakobsson","type":"members"},{"authors":null,"categories":null,"content":"Dara Ly is a Phd student at the Université d\u0026rsquo;Orléans, France, and he is also working for CEA LIST. His SSERL advisor is Frédéric Loulergue, and he is co-advised by Julien Signoles and Nikolai Kosmatov at CEA LIST. He works on the formal verification of a tool for runtime assertion checking.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"62f9e72586fc27add4943fb4e7d4579f","permalink":"https://sserl.github.io/members/graduate/dara_ly/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/dara_ly/","section":"members","summary":"Université d'Orléans PhD Student","tags":["Grad","C"],"title":"Dara Ly","type":"members"},{"authors":null,"categories":null,"content":"Thibaut Tachon was a Phd student at the Université d\u0026rsquo;Orléans, France, and he was also working for Huawei Technologies France. His SSERL advisor was Frédéric Loulergue, and he was co-advised by Gaétan Hains at Huawei Technologies France. His research is focused on the bulk synchronous parallel automata formalism and a DSL for neural networks. He is now a research engineering at Huawei Technologies France.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"d597aee37f924006b75384780cedcabe","permalink":"https://sserl.github.io/members/graduate/thibaut_tachon/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/graduate/thibaut_tachon/","section":"members","summary":"Université d'Orléans PhD Student","tags":["A"],"title":"Thibaut Tachon","type":"members"},{"authors":null,"categories":null,"content":"Kevin Gonzalez Castro was an undergraduate research assistant at Northern Arizona University. He worked with Frédéric Loulergue on a domain specific language (DSL) for large-scale graph processing.\n","date":1540537200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1540537200,"objectID":"882869ef9dcaf613aaf26b9febbc606c","permalink":"https://sserl.github.io/members/undergraduate/kag483/","publishdate":"2018-10-26T00:00:00-07:00","relpermalink":"/members/undergraduate/kag483/","section":"members","summary":"Undergraduate Research Assistant","tags":["A"],"title":"Kevin Gonzalez Castro","type":"members"},{"authors":["Toby Dylan Hocking (Northern Arizona University)"],"categories":null,"content":"","date":1551394008,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1551394008,"objectID":"d2df14bba81edb99d8332e0224ec2881","permalink":"https://sserl.github.io/talk/comparing-namedcapture-with-other-r-packages-for-regular-expressions/","publishdate":"2019-02-28T15:46:48-07:00","relpermalink":"/talk/comparing-namedcapture-with-other-r-packages-for-regular-expressions/","section":"talk","summary":"Regular expressions are powerful tools for manipulating non-tabular textual data. For many tasks (visualization, machine learning, etc), tables of numbers must be extracted from such data before processing by other R functions. We present the R package namedCapture, which facilitates such tasks by providing a new user-friendly syntax for defining regular expressions in R code. We begin by describing the history of regular expressions and their usage in R. We then describe the new features of the namedCapture package, and provide detailed comparisons with related R packages (rex, stringr, stringi, tidyr, rematch2, re2r).","tags":[],"title":"Comparing NamedCapture With Other R Packages for Regular Expressions","type":"talk"},{"authors":["Ana Chaves Steinmacher (Northern Arizona University)"],"categories":null,"content":"","date":1549405034,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1549405034,"objectID":"b6713be435d1bc17a0d13c83bfa00adb","permalink":"https://sserl.github.io/talk/the-language-of-chatbots/","publishdate":"2019-02-05T15:17:14-07:00","relpermalink":"/talk/the-language-of-chatbots/","section":"talk","summary":"Why do current chatbots sound unnatural? It is old-news that the more human traits a technology has, the more social expectations the users create around it. When people talk to chatbots, they unconsciously establish coherence between agent’s utterances and plausible utterances that a person might form in that context. In this talk, we argue that chatbots that use coherent, appropriate language are more likely to meet users’ expectations.  We will discuss the effect of chatbot’s linguistic choices on user’s experience and explain why considering sociolinguistic aspects for chatbots’ design would potentially empower them as social individuals.","tags":[],"title":"The Language of Chatbots","type":"talk"},{"authors":["Frederic Loulergue (Northern Arizona University)"],"categories":null,"content":"","date":1549405016,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1549405016,"objectID":"2bb6882c0fc0bef756aecb982be88f7f","permalink":"https://sserl.github.io/talk/parallel-programming-with-the-orleans-skeleton-library/","publishdate":"2019-02-05T15:16:56-07:00","relpermalink":"/talk/parallel-programming-with-the-orleans-skeleton-library/","section":"talk","summary":"As parallel architectures are now the norm, it is necessary to consider programming languages and libraries that offer a trade-off between execution efficiency and programming productivity.  While languages and libraries for high performance computing, such as MPI, favor efficiency over productivity, of lot of application domains require that mainstream programmers develop parallel applications without a huge knowledge about parallel programming. An algorithmic skeleton is a pattern of a classical parallel algorithm, and most often, an algorithmic skeleton also corresponds to a sequential algorithm. For example the map algorithmic skeleton applies a function to all the elements of a distributed collection and is related to the application of a function to a sequential collection. For the programmer, a parallel application is then obtained as the combination of several algorithmic skeletons. Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons, written in C++ on top of MPI, which uses meta-programming techniques for optimization. Research on high-level parallel programming approaches systematically evaluate the performance of applications written using these approaches and informally argue that high-level parallel programming languages or libraries increase the productivity of programmers. In this talk, I will present OSL and a first attempt to evaluate the trade-off between programming effort and performance of applications developed using different programming models including OSL.","tags":[],"title":"Parallel Programming with the Orleans Skeleton Library","type":"talk"},{"authors":["Ana Paula Chaves","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"073c351f07ebcc76e52d1797fcfbffbc","permalink":"https://sserl.github.io/publication/dblp-journalscorrabs-1904-02743/","publishdate":"2019-07-15T21:59:35.142105Z","relpermalink":"/publication/dblp-journalscorrabs-1904-02743/","section":"publication","summary":"","tags":null,"title":"How should my chatbot interact? A survey on human-chatbot interaction design","type":"publication"},{"authors":["Igor Steinmacher","Christoph Treude","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"556bb2c1033f02238cac4626457e6585","permalink":"https://sserl.github.io/publication/dblp-journalssoftware-steinmacher-tg-19/","publishdate":"2019-07-15T21:59:35.239206Z","relpermalink":"/publication/dblp-journalssoftware-steinmacher-tg-19/","section":"publication","summary":"","tags":null,"title":"Let Me In: Guidelines for the Successful Onboarding of Newcomers to Open Source Projects","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"40b2a71c19e5f8804f410ddaa38278e5","permalink":"https://sserl.github.io/publication/dblp-confsac-blanchard-kl-19/","publishdate":"2019-07-15T21:59:35.215876Z","relpermalink":"/publication/dblp-confsac-blanchard-kl-19/","section":"publication","summary":"","tags":null,"title":"Logic against ghosts: comparison of two proof approaches for a list module","type":"publication"},{"authors":["Igor Steinmacher","Marco Aurélio Gerosa","Tayana Uchôa Conte","David F. Redmiles"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"b53f9dffc147652be3222d70e2cb887b","permalink":"https://sserl.github.io/publication/dblp-journalscscw-steinmacher-gcr-19/","publishdate":"2019-07-15T21:59:35.238507Z","relpermalink":"/publication/dblp-journalscscw-steinmacher-gcr-19/","section":"publication","summary":"","tags":null,"title":"Overcoming Social Barriers When Contributing to Open Source Software Projects","type":"publication"},{"authors":["Jolan Philippe","Frédéric Loulergue"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"74f232a54870f99b1f79946a165de155","permalink":"https://sserl.github.io/publication/dblp-confsac-philippe-l-19/","publishdate":"2019-07-15T21:59:35.215179Z","relpermalink":"/publication/dblp-confsac-philippe-l-19/","section":"publication","summary":"","tags":null,"title":"Parallel programming with Coq: map and reduce skeletons on trees","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"65d0d68953ae43b393fa9d6da61f05e9","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-19/","publishdate":"2019-07-15T21:59:35.163729Z","relpermalink":"/publication/dblp-journalssigsoft-groce-19/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Yorah Bosse","David F. Redmiles","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"e95d3c07066da50ba63f1120472f716e","permalink":"https://sserl.github.io/publication/dblp-confiticse-bosse-rg-19/","publishdate":"2019-07-15T21:59:35.140776Z","relpermalink":"/publication/dblp-confiticse-bosse-rg-19/","section":"publication","summary":"","tags":null,"title":"Pedagogical Content for Professors of Introductory Programming Courses","type":"publication"},{"authors":["Mairieli Santos Wessel","Igor Steinmacher","Igor Wiese","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"f31a94a4a53b668932ce14ec3abd7bcd","permalink":"https://sserl.github.io/publication/dblp-conficse-wessel-swg-19/","publishdate":"2019-07-15T21:59:35.239906Z","relpermalink":"/publication/dblp-conficse-wessel-swg-19/","section":"publication","summary":"","tags":null,"title":"Should I stale or should I close?: an analysis of a bot that closes abandoned issues and pull requests","type":"publication"},{"authors":["Allan Blanchard","Frédéric Loulergue","Nikolai Kosmatov"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"6b9abce88abe5cb30214c220b8624e55","permalink":"https://sserl.github.io/publication/dblp-confnfm-blanchard-lk-19/","publishdate":"2019-07-15T21:59:35.214125Z","relpermalink":"/publication/dblp-confnfm-blanchard-lk-19/","section":"publication","summary":"","tags":null,"title":"Towards Full Proof Automation in Frama-C Using Auto-active Verification","type":"publication"},{"authors":["Gustavo Pinto","Clarice Ferreira","Cleice Souza","Igor Steinmacher","Paulo Meirelles"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"832fc2b64f4dbe2dbebff2089d89090f","permalink":"https://sserl.github.io/publication/dblp-conficse-0001-fssm-19/","publishdate":"2019-07-15T21:59:35.240621Z","relpermalink":"/publication/dblp-conficse-0001-fssm-19/","section":"publication","summary":"","tags":null,"title":"Training software engineers using open-source software: the students' perspective","type":"publication"},{"authors":["Felipe Fronchetti","Igor Wiese","Gustavo Pinto","Igor Steinmacher"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"69801df494929ae260eb27e80b8093f1","permalink":"https://sserl.github.io/publication/dblp-confoss-fronchetti-w-0-s-19/","publishdate":"2019-07-15T21:59:35.241316Z","relpermalink":"/publication/dblp-confoss-fronchetti-w-0-s-19/","section":"publication","summary":"","tags":null,"title":"What Attracts Newcomers to Onboard on OSS Projects? TL;DR: Popularity","type":"publication"},{"authors":["Giuseppe Iaffaldano","Igor Steinmacher","Fabio Calefato","Marco Aurélio Gerosa","Filippo Lanubile"],"categories":null,"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1546300800,"objectID":"5d75c50068b07422ed67fa2ac0bc49e8","permalink":"https://sserl.github.io/publication/dblp-journalscorrabs-1903-09528/","publishdate":"2019-07-15T21:59:35.242017Z","relpermalink":"/publication/dblp-journalscorrabs-1903-09528/","section":"publication","summary":"","tags":null,"title":"Why do developers take breaks from contributing to OSS projects? A preliminary analysis","type":"publication"},{"authors":["Dr. Gustavo Pinto (UFPA-Brazil)"],"categories":null,"content":"","date":1543940387,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1543940387,"objectID":"e53a932f0b9531146ac2287c70059020","permalink":"https://sserl.github.io/talk/open-source-in-education-what-we-can-do-about-it/","publishdate":"2018-12-04T09:19:47-07:00","relpermalink":"/talk/open-source-in-education-what-we-can-do-about-it/","section":"talk","summary":"Gustavo is an Assistant Professor at the Faculty of Computing of the Federal University of Pará, Brazil. He researches in the broad area of software engineering. Nowadays, his broader interests include energy consumption, concurrent programming, human aspects of software development, and mining software repositories.","tags":[],"title":"Open Source in Education: What We Can Do About It?","type":"talk"},{"authors":["Allan Blanchard (Inria Lille Nord Europe, France)","Frédéric Loulergue (Northern Arizona University, SICCS)"],"categories":null,"content":"","date":1542757467,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542757467,"objectID":"5bdf8ec57097f23677d8f157d26fa618","permalink":"https://sserl.github.io/talk/tutorial-towards-reliable-things-formal-verification-of-iot-software-with-frama-c/","publishdate":"2018-11-20T16:44:27-07:00","relpermalink":"/talk/tutorial-towards-reliable-things-formal-verification-of-iot-software-with-frama-c/","section":"talk","summary":"Among distributed systems, connected devices and services, also referred to as the Internet of Things (IoT), have proliferated very quickly in the past years. There are now billions of interconnected devices, and this number is growing. It is anticipated that by 2021, about 46 billions of devices will be in use. Some of these devices are in service in safety and security critical domains, and even in domains that are not necessarily critical, privacy issues may arise with devices collecting and transmitting a lot of personal information. Formal methods have been used successfully for years in highly critical domains, now they can help to bring security into the IoT field. In practice it is common to rely on a combination of formal methods to achieve an appropriate degree of guarantee: static analyses to guarantee the absence of runtime errors, deductive verification of functional correctness, dynamic verification for parts that cannot be proved using deductive verification. This tutorial is focused on Frama-C, which is a source code analysis platform that aims at conducting verification of industrial-size programs written in ISO C99 source code. Frama-C fully supports the combination of formal methods approach, by providing to its users with a collection of plug-ins that perform static and dynamic analysis for safety and security critical software. Moreover collaborative verification across cooperating plugins is enabled by their integration on top of a shared kernel, and their compliance to a common specification language ACSL. Recently Frama-C has been applied to the verification of software in the context of the Internet of Things.","tags":[],"title":"Tutorial   Towards Reliable Things: Formal Verification of IoT Software With Frama C","type":"talk"},{"authors":["Allan Blanchard (Inria Lille Nord Europe, France)"],"categories":null,"content":"","date":1542757290,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542757290,"objectID":"517c831cd7da6e05185f4ca2fe2c58e4","permalink":"https://sserl.github.io/talk/applying-formal-methods-to-the-contiki-operating-system/","publishdate":"2018-11-20T16:41:30-07:00","relpermalink":"/talk/applying-formal-methods-to-the-contiki-operating-system/","section":"talk","summary":"Contiki is an open-source OS for the IoT. It provides basic OS features on an event-based kernel, including the scheduler, and a networking stack. Contiki focuses on low-power IPv6 connectivity and typically targets devices with an 8 to 32-bit MCU without Memory Management Unit. This makes such devices a target of choice for attackers. In the scope of the VESSEDIA project, that aims at making formal methods more accessible for IoT targets, a task is dedicated to the verification of the Contiki OS. In this talk, I will present the past and present efforts of verification with Frama-C/WP for different modules of Contiki, namely the memory allocation module, the AES-CCM cryptographics functions, and the linked list module. ","tags":[],"title":"Applying Formal Methods to the Contiki Operating System","type":"talk"},{"authors":["Hélène Coullon (IMT Atlantique \u0026 Inria, France)"],"categories":null,"content":"","date":1542757149,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542757149,"objectID":"987e011a899b1eae955113f938a863d6","permalink":"https://sserl.github.io/talk/toward-software-engineering-mechanisms-applied-to-high-performance-computing-and-distributed-systems/","publishdate":"2018-11-20T16:39:09-07:00","relpermalink":"/talk/toward-software-engineering-mechanisms-applied-to-high-performance-computing-and-distributed-systems/","section":"talk","summary":"In this talk, I will illustrate how performance and software engineering can be combined in practice, in two different domains: High Performance Computing and Distributed Systems. First, I will present SkelGIS an HPC-oriented embedded DSL for stencil-based numerical simulations, and MSL a meta-DSL for multi-stencils simulations and its use for energy-aware code variants. Second, I will present Madeus a formal model to efficiently deploy complex distributed software on heterogeneous distributed infrastructures. I will show how Madeus is able to deploy OpenStack much more efficiently than usual production deployment tools. Finally, I will present recent work on the introduction of reconfiguration aspects inside Madeus. I will conclude by talking about the recent third cornerstone of my research: the verification of properties on distributed software deployment and reconfiguration.","tags":[],"title":"Toward Software Engineering Mechanisms Applied to High Performance Computing and Distributed Systems","type":"talk"},{"authors":["Alex Groce (Northern Arizona University)"],"categories":null,"content":"","date":1542757030,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542757030,"objectID":"4383f5eb0e76cec07f5744037cfea765","permalink":"https://sserl.github.io/talk/deepstate-symbolic-unit-testing-for-c-and-c++/","publishdate":"2018-11-20T16:37:10-07:00","relpermalink":"/talk/deepstate-symbolic-unit-testing-for-c-and-c++/","section":"talk","summary":"Unit testing is a popular software development methodology that can help developers detect functional regressions, explore boundary conditions, and document expected behavior. However, writing comprehensive unit tests is challenging and time-consuming, and developers seldom explore the obscure (and bug-hiding) corners of software behavior without assistance. DeepState is a tool that provides a Google Test-like API to give C and C++ developers push-button access to symbolic execution engines, such as Manticore and angr, and fuzzers, such as Dr. Fuzz. Rather than learning multiple complex tools, users learn one interface for defining a test harness, and can use various methods to automatically generate tests for software. In addition to providing a familiar interface to binary analysis and fuzzing for parameterized unit testing, DeepState also provides constructs that aid in the construction of API-sequence tests, where the tool chooses the functions or methods to call, allowing for even more diverse and powerful tests. By serving as a front-end to multiple tools, DeepState additionally provides a way to apply (novel) high-level strategies to test generation, and to compare effectiveness and efficiency of testing back-ends, including binary analysis tools.","tags":[],"title":"DeepState: Symbolic Unit Testing for C and C++","type":"talk"},{"authors":["Nikolai Kosmatov (CEA List, France) "],"categories":null,"content":"","date":1542756877,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542756877,"objectID":"3222c7ffb0f278711c3c6be7f512e63b","permalink":"https://sserl.github.io/talk/advanced-test-coverage-criteria-specify-and-measure-cover-and-unmask/","publishdate":"2018-11-20T16:34:37-07:00","relpermalink":"/talk/advanced-test-coverage-criteria-specify-and-measure-cover-and-unmask/","section":"talk","summary":"Automatic test data generation (ATG) is a major topic in software engineering. A large amount of research effort has been invested to automate white-box testing. While a wide range of different and sometimes heterogeneous code-coverage criteria have been proposed, testing techniques still lack a generic formalism to describe them all, and available test automation tools usually support only a small subset of them. This talk brings the audience to a journey into the world of white-box testing criteria and their automated support. We try to bridge the gap between the coverage criteria supported by state-of-the-art white-box ATG technologies, such as Dynamic Symbolic Execution, and advanced coverage criteria found in the literature. The talk is articulated around labels, a recent specification mechanism for test objectives, and their effective support in automated testing tools. Labels are generic enough to *specify* many common testing criteria, and amenable to efficient automation making it possible to *cover* the corresponding test objectives and to *measure* the coverage level of a given test suite. We propose several optimization techniques resulting in an effective support for labels in ATG tools. We also show how a combination of static analysis techniques can be efficiently applied to detect — *unmask* — infeasible test objectives that are responsible for waste of test generation effort and imprecise coverage measurement. We demonstrate the LTest toolset for test automation with efficient support of labels. Finally, we present a recent extension of labels, called HTOL (Hyperlabel Test Objectives Language), capable to encode even most advanced test coverage criteria (such as variants of MCDC, dataflow criteria, non-interference properties, etc.), including hyperproperties. This talk is based on a series of recent research and tool implementation efforts [ICST 2014, TAP 2014, ICST 2015, ICST 2017t, ICST 2017r, ICSE 2018]. It is a joint work with S.Bardin, M.Delahaye, M.Marcozzi, M.Papadakis, V.Prevosto et al.","tags":[],"title":"Advanced Test Coverage Criteria: Specify and Measure, Cover and Unmask","type":"talk"},{"authors":["Josie Holmes and Alex Groce (Northern Arizona University)"],"categories":null,"content":"","date":1542756709,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542756709,"objectID":"c1225d603a533c60f4d6c53e30f6ce1c","permalink":"https://sserl.github.io/talk/causal-distance-metric-based-assistance-for-debugging-after-compiler-fuzzing/","publishdate":"2018-11-20T16:31:49-07:00","relpermalink":"/talk/causal-distance-metric-based-assistance-for-debugging-after-compiler-fuzzing/","section":"talk","summary":"Measuring the distance between two program executions is a fundamental problem in dynamic analysis of software and useful in many test generation and debugging algorithms. This paper proposes a metric for measuring distance between executions and specializes it to an important application: determining similarity of failing test cases for the purpose of automated fault identification and localization in debugging based on automatically generated compiler tests. The metric is based on a causal concept of distance where executions are similar to the degree that changes in the program itself introduced by mutation cause similar changes in the correctness of the executions. Specifically if two failing test cases (for the original compiler) become successful due to the same mutant they are more likely to be due to the same fault. We evaluate our metric using more than 50 faults and 2800 test cases for two widely-used real-world compilers and demonstrate improvements over state-of-the-art methods for fault identification and localization.","tags":[],"title":"Causal Distance Metric Based Assistance for Debugging After Compiler Fuzzing","type":"talk"},{"authors":["Salwa Souaf","Pascal Berthomé","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"f9ae78839835ab76fa528b852ddbbb70","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-souaf-bl-18/","publishdate":"2019-07-15T21:59:35.220343Z","relpermalink":"/publication/dblp-confieeehpcs-souaf-bl-18/","section":"publication","summary":"","tags":null,"title":"A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations","type":"publication"},{"authors":["Carolina Toscani","Daniel Gery","Igor Steinmacher","Sabrina Marczak"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"236a49e3578bfab96c15c3fd8242e3c0","permalink":"https://sserl.github.io/publication/dblp-confihc-toscani-gsm-18/","publishdate":"2019-07-15T21:59:35.249509Z","relpermalink":"/publication/dblp-confihc-toscani-gsm-18/","section":"publication","summary":"","tags":null,"title":"A Gamification Proposal to Support the Onboarding of Newcomers in the FLOSScoach Portal","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"5a048951b74d948d373d583fe8f9ad37","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-blanchard-kl-18/","publishdate":"2019-07-15T21:59:35.218252Z","relpermalink":"/publication/dblp-confieeehpcs-blanchard-kl-18/","section":"publication","summary":"","tags":null,"title":"A Lesson on Verification of IoT Software with Frama-C","type":"publication"},{"authors":["Igor Steinmacher","Gustavo Pinto","Igor Scaliante Wiese","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"1df115df8332e6d0c8815902a64a79d8","permalink":"https://sserl.github.io/publication/dblp-conficse-steinmacher-0-wg-18/","publishdate":"2019-07-15T21:59:35.247731Z","relpermalink":"/publication/dblp-conficse-steinmacher-0-wg-18/","section":"publication","summary":"","tags":null,"title":"Almost there: a study on quasi-contributors in open source software projects","type":"publication"},{"authors":["Luis Vaz","Sabrina Marczak","Igor Steinmacher"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"6132f592c3e6e0728b2292d91afb2f04","permalink":"https://sserl.github.io/publication/dblp-confsbes-vaz-ms-18/","publishdate":"2019-07-15T21:59:35.251086Z","relpermalink":"/publication/dblp-confsbes-vaz-ms-18/","section":"publication","summary":"","tags":null,"title":"An empirical study on task documentation in software crowdsourcing: the case of the topcoder platform","type":"publication"},{"authors":["Alex Groce","Josie Holmes","Darko Marinov","August Shi","Lingming Zhang"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"c9e585e1f1988f1d1e76923ebb5b5cd8","permalink":"https://sserl.github.io/publication/dblp-conficse-groce-hmsz-18/","publishdate":"2019-07-15T21:59:35.171615Z","relpermalink":"/publication/dblp-conficse-groce-hmsz-18/","section":"publication","summary":"","tags":null,"title":"An extensible, regular-expression-based tool for multi-language mutant generation","type":"publication"},{"authors":["Josie Holmes","Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"81a1da35f286bb93b1846af92fb484f2","permalink":"https://sserl.github.io/publication/dblp-confissre-holmes-g-18/","publishdate":"2019-07-15T21:59:35.172836Z","relpermalink":"/publication/dblp-confissre-holmes-g-18/","section":"publication","summary":"","tags":null,"title":"Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing","type":"publication"},{"authors":["Anderson Bergamini de Neira","Igor Steinmacher","Igor Scaliante Wiese"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"c5e18d580f284cc43a7807ab9fbb3cb0","permalink":"https://sserl.github.io/publication/dblp-journalsjbcs-neira-sw-18/","publishdate":"2019-07-15T21:59:35.245153Z","relpermalink":"/publication/dblp-journalsjbcs-neira-sw-18/","section":"publication","summary":"","tags":null,"title":"Characterizing the hyperspecialists in the context of crowdsourcing software development","type":"publication"},{"authors":["Mauricio Finavaro Aniche","Gabriele Bavota","Christoph Treude","Marco Aurélio Gerosa","Arie van Deursen"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"348afdba79496792f834dd1480ea0593","permalink":"https://sserl.github.io/publication/dblp-journalsese-aniche-btgd-18/","publishdate":"2019-07-15T21:59:35.144843Z","relpermalink":"/publication/dblp-journalsese-aniche-btgd-18/","section":"publication","summary":"","tags":null,"title":"Code smells for Model-View-Controller architectures","type":"publication"},{"authors":["Alexandre Lazaretti Zanatta","Leticia Machado","Igor Steinmacher"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"6001c9e3d230cf848edd1a8a6240ac05","permalink":"https://sserl.github.io/publication/dblp-conficse-zanatta-ms-18/","publishdate":"2019-07-15T21:59:35.246424Z","relpermalink":"/publication/dblp-conficse-zanatta-ms-18/","section":"publication","summary":"","tags":null,"title":"Competence, Collaboration, and Time Management: Barriers and Recommendations for Crowdworkers","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"1bc4c9ff1bf92f30922cac14186d515b","permalink":"https://sserl.github.io/publication/dblp-confnfm-blanchard-kl-18/","publishdate":"2019-07-15T21:59:35.222267Z","relpermalink":"/publication/dblp-confnfm-blanchard-kl-18/","section":"publication","summary":"","tags":null,"title":"Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C","type":"publication"},{"authors":["Frédéric Loulergue","Allan Blanchard","Nikolai Kosmatov"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"e1c54fe62da52f930f05a565e60f9738","permalink":"https://sserl.github.io/publication/dblp-conftap-loulergue-bk-18/","publishdate":"2019-07-15T21:59:35.223971Z","relpermalink":"/publication/dblp-conftap-loulergue-bk-18/","section":"publication","summary":"","tags":null,"title":"Ghosts for Lists: From Axiomatic to Executable Specifications","type":"publication"},{"authors":["Maurício Finavaro Aniche","Christoph Treude","Igor Steinmacher","Igor Wiese","Gustavo Pinto","Margaret-Anne D. Storey","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"6f668f08bf51120f8784cbc24b7c0343","permalink":"https://sserl.github.io/publication/dblp-conficse-aniche-tsw-0-sg-18/","publishdate":"2019-07-15T21:59:35.24871Z","relpermalink":"/publication/dblp-conficse-aniche-tsw-0-sg-18/","section":"publication","summary":"","tags":null,"title":"How modern news aggregators help development communities shape and share knowledge","type":"publication"},{"authors":["Alex Groce","Iftekhar Ahmed","Carlos Jensen","Paul E. McKenney","Josie Holmes"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"baa7e95769e3acc91fd1630e629fa0b8","permalink":"https://sserl.github.io/publication/dblp-journalsase-groce-ajmh-18/","publishdate":"2019-07-15T21:59:35.165085Z","relpermalink":"/publication/dblp-journalsase-groce-ajmh-18/","section":"publication","summary":"","tags":null,"title":"How verified (or tested) is my code? Falsification-driven verification and testing","type":"publication"},{"authors":["Rodrigo Magalhães dos Santos","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"069c011e12e2e2209a5167f2b5c79696","permalink":"https://sserl.github.io/publication/dblp-confiwpc-santos-g-18/","publishdate":"2019-07-15T21:59:35.150721Z","relpermalink":"/publication/dblp-confiwpc-santos-g-18/","section":"publication","summary":"","tags":null,"title":"Impacts of coding practices on readability","type":"publication"},{"authors":["Julien Tesson","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"228cf60272b98fa7804c7cc7013478bb","permalink":"https://sserl.github.io/publication/dblp-confuic-tesson-l-18/","publishdate":"2019-07-15T21:59:35.22541Z","relpermalink":"/publication/dblp-confuic-tesson-l-18/","section":"publication","summary":"","tags":null,"title":"Interactive Bulk Synchronous Parallel Functional Programming in a Browser","type":"publication"},{"authors":["Gustavo Pinto","Igor Steinmacher","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"95fa941ff6b40e9fb4ef8e5a015fda9f","permalink":"https://sserl.github.io/publication/dblp-confoss-0001-sg-18/","publishdate":"2019-07-15T21:59:35.250249Z","relpermalink":"/publication/dblp-confoss-0001-sg-18/","section":"publication","summary":"","tags":null,"title":"Leaving Behind the Software History When Transitioning to Open Source: Reasons and Implications","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"08cd25ea59763a450d73fd821ff27fbf","permalink":"https://sserl.github.io/publication/dblp-journalscl-blanchard-kl-18/","publishdate":"2019-07-15T21:59:35.216605Z","relpermalink":"/publication/dblp-journalscl-blanchard-kl-18/","section":"publication","summary":"","tags":null,"title":"MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models","type":"publication"},{"authors":["Sogol Balali","Igor Steinmacher","Umayal Annamalai","Anita Sarma","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"32b8f22b6ace9e14dac4c7957a1c20ac","permalink":"https://sserl.github.io/publication/dblp-journalscscw-balali-sasg-18/","publishdate":"2019-07-15T21:59:35.242834Z","relpermalink":"/publication/dblp-journalscscw-balali-sasg-18/","section":"publication","summary":"","tags":null,"title":"Newcomers' Barriers. . . Is That All? An Analysis of Mentors' and Newcomers' Barriers in OSS Projects","type":"publication"},{"authors":["Gustavo Pinto","Igor Steinmacher","Luiz Felipe Dias","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"f1cc7ba30cb5965d3791fc76c7465c34","permalink":"https://sserl.github.io/publication/dblp-journalsese-pinto-sdg-18/","publishdate":"2019-07-15T21:59:35.243615Z","relpermalink":"/publication/dblp-journalsese-pinto-sdg-18/","section":"publication","summary":"","tags":null,"title":"On the challenges of open-sourcing proprietary software projects","type":"publication"},{"authors":["Victor Allombert","Mathias Bourgoin","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"c6b47a704f0dd6556b86d5644c6e4ebc","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-allombert-bl-18/","publishdate":"2019-07-15T21:59:35.217465Z","relpermalink":"/publication/dblp-confieeehpcs-allombert-bl-18/","section":"publication","summary":"","tags":null,"title":"Parallel Programming with OCaml: A Tutorial","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"3f126756997bcdafce587fb14bdc9db4","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-18-a/","publishdate":"2019-07-15T21:59:35.167158Z","relpermalink":"/publication/dblp-journalssigsoft-groce-18-a/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"678ea3cca0c4a5ccb37aac5e3c483ab9","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-18-b/","publishdate":"2019-07-15T21:59:35.168465Z","relpermalink":"/publication/dblp-journalssigsoft-groce-18-b/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"3c8cc7814bbd33493aacdc9a21764d7e","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-18-c/","publishdate":"2019-07-15T21:59:35.169287Z","relpermalink":"/publication/dblp-journalssigsoft-groce-18-c/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"7b3ee8a581c1513ad559dcc8645ab1b9","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-18/","publishdate":"2019-07-15T21:59:35.166174Z","relpermalink":"/publication/dblp-journalssigsoft-groce-18/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Arpit Christi","Matthew Lyle Olson","Mohammad Amin Alipour","Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"8c2a608d4d75d46ee63862677f604457","permalink":"https://sserl.github.io/publication/dblp-confissre-christi-oag-18/","publishdate":"2019-07-15T21:59:35.174341Z","relpermalink":"/publication/dblp-confissre-christi-oag-18/","section":"publication","summary":"","tags":null,"title":"Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization","type":"publication"},{"authors":["Ana Paula O. Bertholdo","Claudia de O. Melo","Artur S. Rozestraten","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"a769bc6718bad3fea9f72d9fd3ed92b6","permalink":"https://sserl.github.io/publication/dblp-confcriwg-bertholdo-mrg-18/","publishdate":"2019-07-15T21:59:35.148499Z","relpermalink":"/publication/dblp-confcriwg-bertholdo-mrg-18/","section":"publication","summary":"","tags":null,"title":"Relations Between Actions Performed by Users and Their Engagement","type":"publication"},{"authors":["Ana Paula Chaves","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"228fd380a31763d20804d28b4e4a0926","permalink":"https://sserl.github.io/publication/dblp-confchi-chaves-g-18/","publishdate":"2019-07-15T21:59:35.147263Z","relpermalink":"/publication/dblp-confchi-chaves-g-18/","section":"publication","summary":"","tags":null,"title":"Single or Multiple Conversational Agents?: An Interactional Coherence Comparison","type":"publication"},{"authors":["Eduardo Felipe Zambom Santana","Ana Paula Chaves","Marco Aurélio Gerosa","Fabio Kon","Dejan S. Milojicic"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"9b104690a4a5203d889814d39406ac2c","permalink":"https://sserl.github.io/publication/dblp-journalscsur-santana-cgkm-17/","publishdate":"2019-07-15T21:59:35.143152Z","relpermalink":"/publication/dblp-journalscsur-santana-cgkm-17/","section":"publication","summary":"","tags":null,"title":"Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture","type":"publication"},{"authors":["Salwa Souaf","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"df337749581b5d50d87b401fd6e1bf02","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-souaf-l-18/","publishdate":"2019-07-15T21:59:35.221619Z","relpermalink":"/publication/dblp-confieeehpcs-souaf-l-18/","section":"publication","summary":"","tags":null,"title":"Strong Security Guarantees: From Alloy to Coq (Research Poster)","type":"publication"},{"authors":["Josie Holmes","Alex Groce","Jervis Pinto","Pranjal Mittal","Pooria Azimi","Kevin Kellar","James O'Brien"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"35e2a588a3125d5295d33f4689c31873","permalink":"https://sserl.github.io/publication/dblp-journalssttt-holmes-gpmako-18/","publishdate":"2019-07-15T21:59:35.170205Z","relpermalink":"/publication/dblp-journalssttt-holmes-gpmako-18/","section":"publication","summary":"","tags":null,"title":"TSTL: the template scripting testing language","type":"publication"},{"authors":["Arpit Christi","Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"f81eaaf99786502606aaea187f47904b","permalink":"https://sserl.github.io/publication/dblp-confqrs-christi-g-18/","publishdate":"2019-07-15T21:59:35.175914Z","relpermalink":"/publication/dblp-confqrs-christi-g-18/","section":"publication","summary":"","tags":null,"title":"Target Selection for Test-Based Resource Adaptation","type":"publication"},{"authors":["Mairieli Santos Wessel","Bruno Mendes de Souza","Igor Steinmacher","Igor Scaliante Wiese","Ivanilton Polato","Ana Paula Chaves","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"30bf4195689fa5c5578c8517cb105b5d","permalink":"https://sserl.github.io/publication/dblp-journalspacmhci-wessel-sswpcg-18/","publishdate":"2019-07-15T21:59:35.245793Z","relpermalink":"/publication/dblp-journalspacmhci-wessel-sswpcg-18/","section":"publication","summary":"","tags":null,"title":"The Power of Bots: Characterizing and Understanding Bots in OSS Projects","type":"publication"},{"authors":["Jolan Philippe","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"6a9f0d10f71039e45b2224bbbccdc4e3","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-philippe-l-18/","publishdate":"2019-07-15T21:59:35.221003Z","relpermalink":"/publication/dblp-confieeehpcs-philippe-l-18/","section":"publication","summary":"","tags":null,"title":"Towards the Generation of Correct Java Programs (Research Poster)","type":"publication"},{"authors":["Peter Goodman","Gustavo Grieco","Alex Groce"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"28d5a7a66edfaec975f1ac958f1c3ebb","permalink":"https://sserl.github.io/publication/dblp-confsecdev-goodman-gg-18/","publishdate":"2019-07-15T21:59:35.177117Z","relpermalink":"/publication/dblp-confsecdev-goodman-gg-18/","section":"publication","summary":"","tags":null,"title":"Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"af802e99a7f53d01a9433f02db982d4e","permalink":"https://sserl.github.io/publication/dblp-confsecdev-blanchard-kl-18/","publishdate":"2019-07-15T21:59:35.223134Z","relpermalink":"/publication/dblp-confsecdev-blanchard-kl-18/","section":"publication","summary":"","tags":null,"title":"Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C","type":"publication"},{"authors":["Ana Paula O. Bertholdo","Claudia de O. Melo","Artur S. Rozestraten","Marco Aurélio Gerosa","Heather O'Brien"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"8a7044d974c0560374b2410a6b92ba1f","permalink":"https://sserl.github.io/publication/dblp-confamcis-bertholdo-mrgo-18/","publishdate":"2019-07-15T21:59:35.1458Z","relpermalink":"/publication/dblp-confamcis-bertholdo-mrgo-18/","section":"publication","summary":"","tags":null,"title":"User engagement in an open collaboration community after the insertion of a game design element: An online field experiment","type":"publication"},{"authors":["Dhanielly P. R. de Lima","Marco Aurélio Gerosa","José Francisco de Magalhães Netto"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"405c72e3c0cbf5dcc408c15e0f7013dd","permalink":"https://sserl.github.io/publication/dblp-conffie-lima-gn-18/","publishdate":"2019-07-15T21:59:35.149573Z","relpermalink":"/publication/dblp-conffie-lima-gn-18/","section":"publication","summary":"","tags":null,"title":"Using Awareness Information to Enhance Online Discussion Forums: A Systematic Mapping Study","type":"publication"},{"authors":["Frédéric Loulergue","Christopher D. Whitney"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"8a52acfcb2aa0148511c5b4888c82799","permalink":"https://sserl.github.io/publication/dblp-confuic-loulergue-w-18/","publishdate":"2019-07-15T21:59:35.224748Z","relpermalink":"/publication/dblp-confuic-loulergue-w-18/","section":"publication","summary":"","tags":null,"title":"Verified Programs for Frequent Itemset Mining","type":"publication"},{"authors":["Williamson Silva","Bruno Gadelha","Igor Steinmacher","Tayana Conte"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"ebd0fe43e2ba97e63234c786b9b06e7b","permalink":"https://sserl.github.io/publication/dblp-confsbes-silva-gsc-18/","publishdate":"2019-07-15T21:59:35.252599Z","relpermalink":"/publication/dblp-confsbes-silva-gsc-18/","section":"publication","summary":"","tags":null,"title":"What are the differences between group and individual modeling when learning UML?","type":"publication"},{"authors":["Clarice Ferreira","Cleice Souza","Gustavo Pinto","Igor Steinmacher","Paulo Meirelles"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"b10d721a9973b7a1eda5d7ae8bc8af69","permalink":"https://sserl.github.io/publication/dblp-confsbes-ferreira-s-0-sm-18/","publishdate":"2019-07-15T21:59:35.251786Z","relpermalink":"/publication/dblp-confsbes-ferreira-s-0-sm-18/","section":"publication","summary":"","tags":null,"title":"When students become contributors: leveraging OSS contributions in software engineering courses","type":"publication"},{"authors":["Luis Felipe Dias","Igor Steinmacher","Gustavo Pinto"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"9cb859fa540a58d1c72ee2ce6e068367","permalink":"https://sserl.github.io/publication/dblp-journalsjbcs-dias-sp-18/","publishdate":"2019-07-15T21:59:35.244455Z","relpermalink":"/publication/dblp-journalsjbcs-dias-sp-18/","section":"publication","summary":"","tags":null,"title":"Who drives company-owned OSS projects: internal or external members?","type":"publication"},{"authors":["Gustavo Pinto","Luiz Felipe Dias","Igor Steinmacher"],"categories":null,"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514764800,"objectID":"da5185eefb7616b35a40f80fa94be4e2","permalink":"https://sserl.github.io/publication/dblp-conficse-0001-ds-18/","publishdate":"2019-07-15T21:59:35.247028Z","relpermalink":"/publication/dblp-conficse-0001-ds-18/","section":"publication","summary":"","tags":null,"title":"Who gets a patch accepted first?: comparing the contributions of employees and volunteers","type":"publication"},{"authors":["Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"88c86cd948c75071c14a7ee37d540dc9","permalink":"https://sserl.github.io/publication/dblp-journalsscpe-loulergue-17-a/","publishdate":"2019-07-15T21:59:35.228592Z","relpermalink":"/publication/dblp-journalsscpe-loulergue-17-a/","section":"publication","summary":"","tags":null,"title":"A BSPlib-style API for Bulk Synchronous Parallel ML","type":"publication"},{"authors":["Virginia Niculescu","Frédéric Loulergue","Darius Bufnea","Adrian Sterca"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"2d0a1712c347b7c0196e2f8299a14951","permalink":"https://sserl.github.io/publication/dblp-confpdcat-niculescu-lbs-17/","publishdate":"2019-07-15T21:59:35.234607Z","relpermalink":"/publication/dblp-confpdcat-niculescu-lbs-17/","section":"publication","summary":"","tags":null,"title":"A Java Framework for High Level Parallel Programming Using Powerlists","type":"publication"},{"authors":["Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"3ea069423e3f7296d8269a7598b40161","permalink":"https://sserl.github.io/publication/dblp-confic-nc-loulergue-17/","publishdate":"2019-07-15T21:59:35.229734Z","relpermalink":"/publication/dblp-confic-nc-loulergue-17/","section":"publication","summary":"","tags":null,"title":"A Verified Accumulate Algorithmic Skeleton","type":"publication"},{"authors":["Josie Holmes","Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"94c776c0be8bd2ec6733cbfd5f539de2","permalink":"https://sserl.github.io/publication/dblp-confissta-holmes-g-17/","publishdate":"2019-07-15T21:59:35.190143Z","relpermalink":"/publication/dblp-confissta-holmes-g-17/","section":"publication","summary":"","tags":null,"title":"A suite of tools for making effective use of automatically generated tests","type":"publication"},{"authors":["Iftekhar Ahmed","Carlos Jensen","Alex Groce","Paul E. McKenney"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"eb9b6d4669a894321c3ffe2c6d002df4","permalink":"https://sserl.github.io/publication/dblp-conficst-ahmed-jgm-17/","publishdate":"2019-07-15T21:59:35.188101Z","relpermalink":"/publication/dblp-conficst-ahmed-jgm-17/","section":"publication","summary":"","tags":null,"title":"Applying Mutation Analysis on Kernel Test Suites: An Experience Report","type":"publication"},{"authors":["Thibaut Tachon","Chong Li","Gaétan Hains","Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"5484688b50d10984e234b7757e76ac0b","permalink":"https://sserl.github.io/publication/dblp-journalsppl-tachon-lhl-17/","publishdate":"2019-07-15T21:59:35.227092Z","relpermalink":"/publication/dblp-journalsppl-tachon-lhl-17/","section":"publication","summary":"","tags":null,"title":"Automated Generation of BSP Automata","type":"publication"},{"authors":["Alexandre Lazaretti Zanatta","Igor Steinmacher","Leticia S. Machado","Cleidson R. B. de Souza","Rafael Prikladnicki"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"fc060aa3f5b2e9ca937b9e575500ab6a","permalink":"https://sserl.github.io/publication/dblp-journalssoftware-zanatta-smsp-17/","publishdate":"2019-07-15T21:59:35.254624Z","relpermalink":"/publication/dblp-journalssoftware-zanatta-smsp-17/","section":"publication","summary":"","tags":null,"title":"Barriers Faced by Newcomers to Software-Crowdsourcing Projects","type":"publication"},{"authors":["Frédéric Loulergue","Wadoud Bousdira","Julien Tesson"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"0cced981ce1f96b55c543e7d87e57942","permalink":"https://sserl.github.io/publication/dblp-journalsijpp-loulergue-bt-17/","publishdate":"2019-07-15T21:59:35.226453Z","relpermalink":"/publication/dblp-journalsijpp-loulergue-bt-17/","section":"publication","summary":"","tags":null,"title":"Calculating Parallel Programs in Coq Using List Homomorphisms","type":"publication"},{"authors":["Rahul Gopinath","Iftekhar Ahmed","Mohammad Amin Alipour","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"d608acc3e6e250cc7813521a6d5e069c","permalink":"https://sserl.github.io/publication/dblp-journalssqj-gopinath-aajg-17/","publishdate":"2019-07-15T21:59:35.184792Z","relpermalink":"/publication/dblp-journalssqj-gopinath-aajg-17/","section":"publication","summary":"","tags":null,"title":"Does choice of mutation tool matter?","type":"publication"},{"authors":["Jolan Philippe","Wadoud Bousdira","Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"eaaa0c26965098c5930007a0aaed5423","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-philippe-bl-17/","publishdate":"2019-07-15T21:59:35.233969Z","relpermalink":"/publication/dblp-confieeehpcs-philippe-bl-17/","section":"publication","summary":"","tags":null,"title":"Formalization of a Big Graph API in Coq","type":"publication"},{"authors":["Igor Steinmacher","Gregorio Robles","Brian Fitzgerald","Anthony I. Wasserman"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"99b1f136b0a9a20d58a979e26e918082","permalink":"https://sserl.github.io/publication/dblp-journalsjisa-steinmacher-rfw-17/","publishdate":"2019-07-15T21:59:35.253299Z","relpermalink":"/publication/dblp-journalsjisa-steinmacher-rfw-17/","section":"publication","summary":"","tags":null,"title":"Free and open source software development: the end of the teenage years","type":"publication"},{"authors":["Allan Blanchard","Frédéric Loulergue","Nikolai Kosmatov"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"39b2b934b3ce1dea74a2eee4411e0e86","permalink":"https://sserl.github.io/publication/dblp-journalscorrabs-1708-07226/","publishdate":"2019-07-15T21:59:35.236063Z","relpermalink":"/publication/dblp-journalscorrabs-1708-07226/","section":"publication","summary":"","tags":null,"title":"From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation","type":"publication"},{"authors":["Jefferson De Oliveira Silva","Igor Scaliante Wiese","Daniel M. Germán","Igor Fabio Steinmacher","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"eddfb384cb3f7ac1b946405e4ab8994b","permalink":"https://sserl.github.io/publication/dblp-conficsm-silva-wgsg-17/","publishdate":"2019-07-15T21:59:35.257897Z","relpermalink":"/publication/dblp-conficsm-silva-wgsg-17/","section":"publication","summary":"","tags":null,"title":"How Long and How Much: What to Expect from Summer of Code Participants?","type":"publication"},{"authors":["Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"b9e51b16706e8cbed7a767a06b0837d5","permalink":"https://sserl.github.io/publication/dblp-conficc-s-loulergue-17/","publishdate":"2019-07-15T21:59:35.232495Z","relpermalink":"/publication/dblp-conficc-s-loulergue-17/","section":"publication","summary":"","tags":null,"title":"Imperative BSPlib-style Communications in BSML","type":"publication"},{"authors":["Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"b74189ae92942887c80338a4d17c2100","permalink":"https://sserl.github.io/publication/dblp-confpdcat-loulergue-17/","publishdate":"2019-07-15T21:59:35.235351Z","relpermalink":"/publication/dblp-confpdcat-loulergue-17/","section":"publication","summary":"","tags":null,"title":"Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML","type":"publication"},{"authors":["Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"6fabcb1c1a33030f49106f23be8260b9","permalink":"https://sserl.github.io/publication/dblp-journalsscpe-loulergue-17/","publishdate":"2019-07-15T21:59:35.227912Z","relpermalink":"/publication/dblp-journalsscpe-loulergue-17/","section":"publication","summary":"","tags":null,"title":"Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming","type":"publication"},{"authors":["Williamson Alison Freitas Silva","Igor Fabio Steinmacher","Tayana Uchôa Conte"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"ab5a5101cf51520f9f2553a86ebe09e7","permalink":"https://sserl.github.io/publication/dblp-confcsee-silva-sc-17/","publishdate":"2019-07-15T21:59:35.256066Z","relpermalink":"/publication/dblp-confcsee-silva-sc-17/","section":"publication","summary":"","tags":null,"title":"Is It Better to Learn from Problems or Erroneous Examples?","type":"publication"},{"authors":["Rahul Gopinath","Iftekhar Ahmed","Mohammad Amin Alipour","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"abb3c824c47e2799bb6746567b48d7d8","permalink":"https://sserl.github.io/publication/dblp-journalstr-gopinath-aajg-17/","publishdate":"2019-07-15T21:59:35.185766Z","relpermalink":"/publication/dblp-journalstr-gopinath-aajg-17/","section":"publication","summary":"","tags":null,"title":"Mutation Reduction Strategies Considered Harmful","type":"publication"},{"authors":["Martin P. Robillard","Andrian Marcus","Christoph Treude","Gabriele Bavota","Oscar Chaparro","Neil A. Ernst","Marco Aurélio Gerosa","Michael W. Godfrey","Michele Lanza","Mario Linares Vásquez","Gail C. Murphy","Laura Moreno","David C. Shepherd","Edmund Wong"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"8f491d54abdb890e8528eaa1463c0ce9","permalink":"https://sserl.github.io/publication/dblp-conficsm-robillard-mtbceg-17/","publishdate":"2019-07-15T21:59:35.151801Z","relpermalink":"/publication/dblp-conficsm-robillard-mtbceg-17/","section":"publication","summary":"","tags":null,"title":"On-demand Developer Documentation","type":"publication"},{"authors":["Alex Groce","Josie Holmes","Kevin Kellar"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"eedf13a5db96be0462d362b02c0c8705","permalink":"https://sserl.github.io/publication/dblp-confissta-groce-hk-17/","publishdate":"2019-07-15T21:59:35.189106Z","relpermalink":"/publication/dblp-confissta-groce-hk-17/","section":"publication","summary":"","tags":null,"title":"One test to rule them all","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"6e1448436ab0254a6b94cf6048045558","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-17-a/","publishdate":"2019-07-15T21:59:35.180451Z","relpermalink":"/publication/dblp-journalssigsoft-groce-17-a/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"b614aec3970b6b142f184e15d084f2cd","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-17-b/","publishdate":"2019-07-15T21:59:35.183167Z","relpermalink":"/publication/dblp-journalssigsoft-groce-17-b/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"787a4dfec8d8861838a38b8ac6467f53","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-17/","publishdate":"2019-07-15T21:59:35.178308Z","relpermalink":"/publication/dblp-journalssigsoft-groce-17/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce","Josie Holmes"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"dd85a38e0ff6f967e08926a3a7fd08b6","permalink":"https://sserl.github.io/publication/dblp-journalscorrabs-1711-01661/","publishdate":"2019-07-15T21:59:35.192699Z","relpermalink":"/publication/dblp-journalscorrabs-1711-01661/","section":"publication","summary":"","tags":null,"title":"Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation","type":"publication"},{"authors":["Arvid Jakobsson","Frédéric Dabrowski","Wadoud Bousdira","Frédéric Loulergue","Gaétan Hains"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"15997fe2e6b82e70489840dac0d37e9c","permalink":"https://sserl.github.io/publication/dblp-conficc-s-jakobsson-dblh-17/","publishdate":"2019-07-15T21:59:35.231742Z","relpermalink":"/publication/dblp-conficc-s-jakobsson-dblh-17/","section":"publication","summary":"","tags":null,"title":"Replicated Synchronization for Imperative BSP Programs","type":"publication"},{"authors":["Arpit Christi","Alex Groce","Rahul Gopinath"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"22b9c4bb397a5760ab6e1436190ef49a","permalink":"https://sserl.github.io/publication/dblp-confsaso-christi-gg-17/","publishdate":"2019-07-15T21:59:35.191714Z","relpermalink":"/publication/dblp-confsaso-christi-gg-17/","section":"publication","summary":"","tags":null,"title":"Resource Adaptation via Test-Based Software Minimization","type":"publication"},{"authors":["Jefferson O. Silva","Igor Scaliante Wiese","Igor Steinmacher","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"67e704c238249566643782c46c155139","permalink":"https://sserl.github.io/publication/dblp-confsbes-silva-wsg-17/","publishdate":"2019-07-15T21:59:35.258592Z","relpermalink":"/publication/dblp-confsbes-silva-wsg-17/","section":"publication","summary":"","tags":null,"title":"Students' Engagement in Open Source Projects: An Analysis of Google Summer of Code","type":"publication"},{"authors":["Rahul Gopinath","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"4472884de38639a3d0cc9ef9bacea878","permalink":"https://sserl.github.io/publication/dblp-conficst-gopinath-jg-17/","publishdate":"2019-07-15T21:59:35.187097Z","relpermalink":"/publication/dblp-conficst-gopinath-jg-17/","section":"publication","summary":"","tags":null,"title":"The Theory of Composite Faults","type":"publication"},{"authors":["Christopher D. Whitney","Frédéric Loulergue"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"4ff853bdd51c41a1223331eae176f492","permalink":"https://sserl.github.io/publication/dblp-confieeehpcs-whitney-l-17/","publishdate":"2019-07-15T21:59:35.23316Z","relpermalink":"/publication/dblp-confieeehpcs-whitney-l-17/","section":"publication","summary":"","tags":null,"title":"Towards a Verified Parallel Implementation of Frequent Itemset Mining","type":"publication"},{"authors":["Gustavo Henrique Lima Pinto","Fernando Figueira Filho","Igor Steinmacher","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"7fb5a522ec72b1a1060930026169201e","permalink":"https://sserl.github.io/publication/dblp-confcsee-pinto-fsg-17/","publishdate":"2019-07-15T21:59:35.255366Z","relpermalink":"/publication/dblp-confcsee-pinto-fsg-17/","section":"publication","summary":"","tags":null,"title":"Training Software Engineers Using Open-Source Software: The Professors' Perspective","type":"publication"},{"authors":["Mairieli Santos Wessel","Mauricio Finavaro Aniche","Gustavo Ansaldi Oliva","Marco Aurélio Gerosa","Igor Scaliante Wiese"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"bfedb8725387b050447b24df3e8792f4","permalink":"https://sserl.github.io/publication/dblp-confsbes-wessel-aogw-17/","publishdate":"2019-07-15T21:59:35.152646Z","relpermalink":"/publication/dblp-confsbes-wessel-aogw-17/","section":"publication","summary":"","tags":null,"title":"Tweaking Association Rules to Optimize Software Change Recommendations","type":"publication"},{"authors":["Guilherme C. Diniz","Marco Aurélio Graciotto Silva","Marco Aurélio Gerosa","Igor Steinmacher"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"8a6a8931d949377bb34fd3063662e12d","permalink":"https://sserl.github.io/publication/dblp-conficse-diniz-sgs-17/","publishdate":"2019-07-15T21:59:35.25703Z","relpermalink":"/publication/dblp-conficse-diniz-sgs-17/","section":"publication","summary":"","tags":null,"title":"Using Gamification to Orient and Motivate Students to Contribute to OSS Projects","type":"publication"},{"authors":["Igor Scaliante Wiese","Reginaldo Ré","Igor Steinmacher","Rodrigo Takashi Kuroda","Gustavo Ansaldi Oliva","Christoph Treude","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1483228800,"objectID":"a89f23d0c685fb1cca1afa28b7f6966f","permalink":"https://sserl.github.io/publication/dblp-journalsjss-wiese-rskotg-17/","publishdate":"2019-07-15T21:59:35.25398Z","relpermalink":"/publication/dblp-journalsjss-wiese-rskotg-17/","section":"publication","summary":"","tags":null,"title":"Using contextual information to predict co-changes","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Frédéric Loulergue"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"eaacfd2527f2603c8442d5ca91f79751","permalink":"https://sserl.github.io/publication/dblp-confissta-blanchard-kl-16/","publishdate":"2019-07-15T21:59:35.236694Z","relpermalink":"/publication/dblp-confissta-blanchard-kl-16/","section":"publication","summary":"","tags":null,"title":"A CHR-Based Solver for Weak Memory Behaviors","type":"publication"},{"authors":["Ali Aburas","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"57907a3288aa0ebccaf592a6aa865e31","permalink":"https://sserl.github.io/publication/dblp-confssbse-aburas-g-16/","publishdate":"2019-07-15T21:59:35.211187Z","relpermalink":"/publication/dblp-confssbse-aburas-g-16/","section":"publication","summary":"","tags":null,"title":"A Method Dependence Relations Guided Genetic Algorithm","type":"publication"},{"authors":["Gustavo Ansaldi Oliva","Marco Aurélio Gerosa","Fabio Kon","Virginia Smith","Dejan S. Milojicic"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"6077c3e27381348e3291a63f8a330ff5","permalink":"https://sserl.github.io/publication/dblp-journalsjwsr-oliva-gksm-16/","publishdate":"2019-07-15T21:59:35.15486Z","relpermalink":"/publication/dblp-journalsjwsr-oliva-gksm-16/","section":"publication","summary":"","tags":null,"title":"A Static Change Impact Analysis Approach based on Metrics and Visualizations to Support the Evolution of Workflow Repositories","type":"publication"},{"authors":["Mauricio Finavaro Aniche","Gabriele Bavota","Christoph Treude","Arie van Deursen","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"72d2423c29226295a61a275fae952170","permalink":"https://sserl.github.io/publication/dblp-conficsm-aniche-btdg-16/","publishdate":"2019-07-15T21:59:35.159645Z","relpermalink":"/publication/dblp-conficsm-aniche-btdg-16/","section":"publication","summary":"","tags":null,"title":"A Validated Set of Smells in Model-View-Controller Architectures","type":"publication"},{"authors":["Ana Paula O. Bertholdo","Fabio Kon","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"c0e7d686da3160d662dfa3baf17e0d2a","permalink":"https://sserl.github.io/publication/dblp-confhci-bertholdo-kg-16/","publishdate":"2019-07-15T21:59:35.158705Z","relpermalink":"/publication/dblp-confhci-bertholdo-kg-16/","section":"publication","summary":"","tags":null,"title":"Agile Usability Patterns for User-Centered Design Final Stages","type":"publication"},{"authors":["Mohammad Amin Alipour","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"265eb42ba0ffad757e238bd9fb7df06f","permalink":"https://sserl.github.io/publication/dblp-journalscorr-alipour-g-16/","publishdate":"2019-07-15T21:59:35.212629Z","relpermalink":"/publication/dblp-journalscorr-alipour-g-16/","section":"publication","summary":"","tags":null,"title":"Bounded Model Checking and Feature Omission Diversity","type":"publication"},{"authors":["Iftekhar Ahmed","Rahul Gopinath","Caius Brindescu","Alex Groce","Carlos Jensen"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"1c0373af0615224fab0f835719642fd6","permalink":"https://sserl.github.io/publication/dblp-confsigsoft-ahmed-gbgj-16/","publishdate":"2019-07-15T21:59:35.210239Z","relpermalink":"/publication/dblp-confsigsoft-ahmed-gbgj-16/","section":"publication","summary":"","tags":null,"title":"Can testedness be effectively measured?","type":"publication"},{"authors":["Alex Groce","Mohammad Amin Alipour","Chaoqiang Zhang","Yang Chen","John Regehr"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"92201e1d0674b09f5106723dc80b5d6c","permalink":"https://sserl.github.io/publication/dblp-journalsstvr-groce-azcr-16/","publishdate":"2019-07-15T21:59:35.202538Z","relpermalink":"/publication/dblp-journalsstvr-groce-azcr-16/","section":"publication","summary":"","tags":null,"title":"Cause reduction: delta debugging, even without bugs","type":"publication"},{"authors":["Gert-Jan de Vreede","Pedro Antunes","Julita Vassileva","Marco Aurélio Gerosa","Kewen Wu"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"503329de45912ef39177c9ede26ea7c6","permalink":"https://sserl.github.io/publication/dblp-journalsisf-vreede-avgw-16/","publishdate":"2019-07-15T21:59:35.15383Z","relpermalink":"/publication/dblp-journalsisf-vreede-avgw-16/","section":"publication","summary":"","tags":null,"title":"Collaboration technology in teams and organizations: Introduction to the special issue","type":"publication"},{"authors":["Allan Blanchard","Nikolai Kosmatov","Matthieu Lemerre","Frédéric Loulergue"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"1f85a6f87328f96dd0f2d8d48f341f09","permalink":"https://sserl.github.io/publication/dblp-confscam-blanchard-kll-16/","publishdate":"2019-07-15T21:59:35.237611Z","relpermalink":"/publication/dblp-confscam-blanchard-kll-16/","section":"publication","summary":"","tags":null,"title":"Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs","type":"publication"},{"authors":["Mohammad Amin Alipour","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"e29b19252135b85e95cc88c6771d9498","permalink":"https://sserl.github.io/publication/dblp-journalscorr-alipour-g-16-a/","publishdate":"2019-07-15T21:59:35.213516Z","relpermalink":"/publication/dblp-journalscorr-alipour-g-16-a/","section":"publication","summary":"","tags":null,"title":"Data Poisoning: Lightweight Soft Fault Injection for Python","type":"publication"},{"authors":["Mauricio Finavaro Aniche","Marco Aurélio Gerosa","Christoph Treude"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"ad8b6fd6f08ac3909d507662da58ccb9","permalink":"https://sserl.github.io/publication/dblp-confsbes-aniche-gt-16/","publishdate":"2019-07-15T21:59:35.160934Z","relpermalink":"/publication/dblp-confsbes-aniche-gt-16/","section":"publication","summary":"","tags":null,"title":"Developers' Perceptions on Object-Oriented Design and Architectural Roles","type":"publication"},{"authors":["Mohammad Amin Alipour","August Shi","Rahul Gopinath","Darko Marinov","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"484f2e5e3a3069c010ce323a05a11065","permalink":"https://sserl.github.io/publication/dblp-confkbse-alipour-sgmg-16/","publishdate":"2019-07-15T21:59:35.208704Z","relpermalink":"/publication/dblp-confkbse-alipour-sgmg-16/","section":"publication","summary":"","tags":null,"title":"Evaluating non-adequate test-case reduction","type":"publication"},{"authors":["Mohammad Amin Alipour","Alex Groce","Chaoqiang Zhang","Anahita Sanadaji","Gokul Caushik"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"f4dafc8d00868db50fc44ef09e0f6413","permalink":"https://sserl.github.io/publication/dblp-journalscorr-alipour-gzsc-16/","publishdate":"2019-07-15T21:59:35.211881Z","relpermalink":"/publication/dblp-journalscorr-alipour-gzsc-16/","section":"publication","summary":"","tags":null,"title":"Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery","type":"publication"},{"authors":["Mohammad Amin Alipour","Alex Groce","Rahul Gopinath","Arpit Christi"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"50dca56d763696afada4dbd3e29ea495","permalink":"https://sserl.github.io/publication/dblp-confissta-alipour-ggc-16/","publishdate":"2019-07-15T21:59:35.20802Z","relpermalink":"/publication/dblp-confissta-alipour-ggc-16/","section":"publication","summary":"","tags":null,"title":"Generating focused random tests using directed swarm testing","type":"publication"},{"authors":["Luiz Felipe Dias","Igor Steinmacher","Gustavo Pinto","Daniel Alencar da Costa","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"923d67938925132f63d414e24ab82438","permalink":"https://sserl.github.io/publication/dblp-conficsm-dias-spcg-16/","publishdate":"2019-07-15T21:59:35.26226Z","relpermalink":"/publication/dblp-conficsm-dias-spcg-16/","section":"publication","summary":"","tags":null,"title":"How Does the Shift to GitHub Impact Project Collaboration?","type":"publication"},{"authors":["Elizamary Nascimento","Williamson Silva","Tayana Conte","Igor Steinmacher","Jobson L. Massollar","Guilherme Horta Travassos"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"a4c8121b170138662540964c88620b76","permalink":"https://sserl.github.io/publication/dblp-confsbes-nascimento-scsmt-16/","publishdate":"2019-07-15T21:59:35.262956Z","relpermalink":"/publication/dblp-confsbes-nascimento-scsmt-16/","section":"publication","summary":"","tags":null,"title":"Is a Picture worth a Thousand Words?: A Comparative Analysis of Using Textual and Graphical Approaches to Specify Use Cases","type":"publication"},{"authors":["Rahul Gopinath","Amin Alipour","Iftekhar Ahmed","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"5ffce61a60c3a9058cd9f1c582ba534b","permalink":"https://sserl.github.io/publication/dblp-conficst-gopinath-aajg-16/","publishdate":"2019-07-15T21:59:35.206978Z","relpermalink":"/publication/dblp-conficst-gopinath-aajg-16/","section":"publication","summary":"","tags":null,"title":"Measuring Effectiveness of Mutant Sets","type":"publication"},{"authors":["Josie Holmes","Alex Groce","Mohammad Amin Alipour"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"61a1e325a85bafb973bc8da91c2a453e","permalink":"https://sserl.github.io/publication/dblp-confsigsoft-holmes-ga-16/","publishdate":"2019-07-15T21:59:35.209326Z","relpermalink":"/publication/dblp-confsigsoft-holmes-ga-16/","section":"publication","summary":"","tags":null,"title":"Mitigating (and exploiting) test reduction slippage","type":"publication"},{"authors":["Gustavo Pinto","Igor Steinmacher","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"bc85827563472337a45d6a0357fec1bf","permalink":"https://sserl.github.io/publication/dblp-confwcre-pinto-sg-16/","publishdate":"2019-07-15T21:59:35.264742Z","relpermalink":"/publication/dblp-confwcre-pinto-sg-16/","section":"publication","summary":"","tags":null,"title":"More Common Than You Think: An In-depth Study of Casual Contributors","type":"publication"},{"authors":["Rahul Gopinath","Mohammad Amin Alipour","Iftekhar Ahmed","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"af80b26fa971e21e81a0b776f931a835","permalink":"https://sserl.github.io/publication/dblp-conficse-gopinath-aajg-16/","publishdate":"2019-07-15T21:59:35.204246Z","relpermalink":"/publication/dblp-conficse-gopinath-aajg-16/","section":"publication","summary":"","tags":null,"title":"On the limits of mutation reduction strategies","type":"publication"},{"authors":["Igor Steinmacher","Tayana Uchôa Conte","Christoph Treude","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"ce189df5f9059401da10c8a174b78bc9","permalink":"https://sserl.github.io/publication/dblp-conficse-steinmacher-ctg-16/","publishdate":"2019-07-15T21:59:35.259219Z","relpermalink":"/publication/dblp-conficse-steinmacher-ctg-16/","section":"publication","summary":"","tags":null,"title":"Overcoming open source project entry barriers with a portal for newcomers","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"abdca1c7256c15849ded649178d2fa46","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16-a/","publishdate":"2019-07-15T21:59:35.195082Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16-a/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"24615216655c0fdf83df6ba1063c5700","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16-b/","publishdate":"2019-07-15T21:59:35.196102Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16-b/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"2d9c054b578d82e8f18a9cba6fb85047","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16-c/","publishdate":"2019-07-15T21:59:35.198381Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16-c/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"5d6c1908b9897744adb63be661b75a29","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16-d/","publishdate":"2019-07-15T21:59:35.199393Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16-d/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"166e23a116acd8f446da600cc6eeedd2","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16-e/","publishdate":"2019-07-15T21:59:35.200657Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16-e/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"9d226ece06e6fa96604dcabe2b6fb20d","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-groce-16/","publishdate":"2019-07-15T21:59:35.19413Z","relpermalink":"/publication/dblp-journalssigsoft-groce-16/","section":"publication","summary":"","tags":null,"title":"Passages","type":"publication"},{"authors":["Ana Paula O. Bertholdo","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"0ee3e78c379a3b9a495350a7a52b85f2","permalink":"https://sserl.github.io/publication/dblp-confhci-bertholdo-g-16/","publishdate":"2019-07-15T21:59:35.157865Z","relpermalink":"/publication/dblp-confhci-bertholdo-g-16/","section":"publication","summary":"","tags":null,"title":"Promoting Engagement in Open Collaboration Communities by Means of Gamification","type":"publication"},{"authors":["Mauricio Finavaro Aniche","Christoph Treude","Andy Zaidman","Arie van Deursen","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"fcd806f81b850f9ddf2c14ecdcd1d697","permalink":"https://sserl.github.io/publication/dblp-confscam-aniche-tzdg-16/","publishdate":"2019-07-15T21:59:35.161804Z","relpermalink":"/publication/dblp-confscam-aniche-tzdg-16/","section":"publication","summary":"","tags":null,"title":"SATT: Tailoring Code Metric Thresholds for Different Software Architectures","type":"publication"},{"authors":["Eduardo Felipe Zambom Santana","Ana Paula Chaves","Marco Aurélio Gerosa","Fabio Kon","Dejan S. Milojicic"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"d18096892c96d3591684f77b74dfcdb5","permalink":"https://sserl.github.io/publication/dblp-journalscorr-santana-cgkm-16/","publishdate":"2019-07-15T21:59:35.162631Z","relpermalink":"/publication/dblp-journalscorr-santana-cgkm-16/","section":"publication","summary":"","tags":null,"title":"Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture","type":"publication"},{"authors":["John C. Georgas","James D. Palmer","Michael J. McCormick"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"240e7284c67c7ef6702c485f63ad201e","permalink":"https://sserl.github.io/publication/dblp-confcsee-georgas-pm-16/","publishdate":"2019-07-15T21:59:35.138888Z","relpermalink":"/publication/dblp-confcsee-georgas-pm-16/","section":"publication","summary":"","tags":null,"title":"Supporting Software Architecture Learning Using Runtime Visualization","type":"publication"},{"authors":["Rahul Gopinath","Carlos Jensen","Alex Groce"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"60405a2e3defe9552dc6b4b51d2565d9","permalink":"https://sserl.github.io/publication/dblp-conficse-gopinath-jg-16/","publishdate":"2019-07-15T21:59:35.205628Z","relpermalink":"/publication/dblp-conficse-gopinath-jg-16/","section":"publication","summary":"","tags":null,"title":"Topsy-Turvy: a smarter and faster parallelization of mutation analysis","type":"publication"},{"authors":["Anita Sarma","Marco Aurélio Gerosa","Igor Steinmacher","Rafael Leano"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"40372dd7d4e8ba6e4f1dbe35725d0e5d","permalink":"https://sserl.github.io/publication/dblp-confsigsoft-sarma-gsl-16/","publishdate":"2019-07-15T21:59:35.263645Z","relpermalink":"/publication/dblp-confsigsoft-sarma-gsl-16/","section":"publication","summary":"","tags":null,"title":"Training the future workforce through task curation in an OSS ecosystem","type":"publication"},{"authors":["Leônidas de Oliveira Brandão","Yorah Bosse","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"864bf549a92c92e7b913c5c1a12b6d59","permalink":"https://sserl.github.io/publication/dblp-conffie-brandao-bg-16/","publishdate":"2019-07-15T21:59:35.156663Z","relpermalink":"/publication/dblp-conffie-brandao-bg-16/","section":"publication","summary":"","tags":null,"title":"Visual programming and automatic evaluation of exercises: An experience with a STEM course","type":"publication"},{"authors":["Igor Scaliante Wiese","José Teodoro da Silva","Igor Steinmacher","Christoph Treude","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"f7345fd2554b2cd74ad31ac100fd0f9b","permalink":"https://sserl.github.io/publication/dblp-conficsm-wiese-sstg-16/","publishdate":"2019-07-15T21:59:35.261424Z","relpermalink":"/publication/dblp-conficsm-wiese-sstg-16/","section":"publication","summary":"","tags":null,"title":"Who is Who in the Mailing List? Comparing Six Disambiguation Heuristics to Identify Multiple Addresses of a Participant","type":"publication"},{"authors":["Yorah Bosse","Marco Aurélio Gerosa"],"categories":null,"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1451606400,"objectID":"dafc360929d019ac9bbed70a93f947c7","permalink":"https://sserl.github.io/publication/dblp-journalssigsoft-bosse-g-16/","publishdate":"2019-07-15T21:59:35.155692Z","relpermalink":"/publication/dblp-journalssigsoft-bosse-g-16/","section":"publication","summary":"","tags":null,"title":"Why is programming so difficult to learn?: Patterns of Difficulties Related to Programming Learning Mid-Stage","type":"publication"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"b8acbd440c77a4809a6f0fdb00ef5e56","permalink":"https://sserl.github.io/software/bsml/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/bsml/","section":"software","summary":"Bulk Synchronous Parallel ML: A library for functional parallel programming with OCaml","tags":null,"title":"BSML","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"c060c1215fe9aeb54f14d02f400852ea","permalink":"https://sserl.github.io/software/deepstate/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/deepstate/","section":"software","summary":"A unit test-like interface for fuzzing and symbolic execution","tags":null,"title":"DeepState","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"f43cd3ae26b86399702be93dd024c65c","permalink":"https://sserl.github.io/software/flosscoach/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/flosscoach/","section":"software","summary":"A portal to support newcomers onboarding to Open Source projects","tags":null,"title":"FLOSScoach","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"1f3b9889f1bcb6476c0b432022cb704b","permalink":"https://sserl.github.io/software/pyske/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/pyske/","section":"software","summary":"PySke: Algorithmic Skeleton Library for Python","tags":null,"title":"PySke","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"ff09c1f0995da9031dc9b69fe5b172c9","permalink":"https://sserl.github.io/software/sydpacc/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/sydpacc/","section":"software","summary":"A set of libraries for the Coq proof assistant for the systematic development of correct parallel programs","tags":null,"title":"SyDPaCC","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"450306ea806069914ad4be4acf6d6935","permalink":"https://sserl.github.io/software/tstl/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/tstl/","section":"software","summary":"The Template Scripting Testing Language","tags":null,"title":"TSTL","type":"software"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"c1e6681ee882be1354b820a95b6b6fff","permalink":"https://sserl.github.io/software/universalmutator/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/software/universalmutator/","section":"software","summary":"Regexp based tool for mutating generic source code across numerous languages","tags":null,"title":"universal mutator","type":"software"}]