SEmotion '18- Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering
SESSION: Sentiment analysis in open source
The evolution of emotional displays in open source software development teams: an individual growth curve analysis
Software developers communicate and interact with each other in order to solve complex problems. Such communication often includes emotional displays that have been shown to influence team processes and performance. Yet, little is known about the evolution of team emotional displays. Hence, we investigate a sample of 1121 Open Source Software (OSS) projects from GitHub, using longitudinal data analysis. The results from growth curve analysis shows that the team emotional display decrease over time. This negative linear trend decelerates mid-term as suggested by a positive quadratic trend of time. Such deceleration diminishes toward the end as a negative cubic trend suggests.
ACM SIGSOFT Software Engineering Notes: Vol. 44, No. 1. 2019
SESSION: Columns
Passages
In every larger-scale endeavor, or at least in most larger-scale endeavors, there comes a time to evaluate progress, solicit opinion, ask your public, survey your customers -- in short, to find out if what you are doing is actually worth doing. In some cases, this step may be omitted, or the results ignored: it is possible that if Herman Melville had shown people Moby Dick when he was half-done with it, everyone except Nathaniel Hawthorne would have said "Er, we're not sure what this is all about. Where's the nice adventure of Omoo? Just what are you up to, Sir?" He should not have therefore ditched the manuscript and gone on to something else; also, Nathaniel Hawthorne gets 50,000 votes. However, in general, you (and I) are not Melville writing Moby Dick. Scientific projects tend to publish some papers before they are "complete" and if these are universally derided and rejected, or receive no citations, it is often the case that they are doing nothing of much interest. There are exceptions, but they are rarer, perhaps, than we might think. Most things that are ignored are ignored for a good reason.
SERF 2017- Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics
Building forensics in: supporting the investigation of digital criminal activities (invited talk)
Use of organisational topologies for forensic investigations
Sustainable automated data recovery: a research roadmap
Snap forensics: a tradeoff between ephemeral intelligence and persistent evidence collection
SER&IP '18- Proceedings of the 5th International Workshop on Software Engineering Research and Industrial Practice
Decoding technology transfer through experiences at microsoft
Technology transfer is an important form of collaboration between software engineering researchers and industrial practitioners. Despite benefits to both parties, it remains a huge challenge to carry out a technology transfer successfully. Based on the experiences at Microsoft, this talk discusses some key aspects in technology transfer, including technology readiness, partnership building, and one team as collaboration model.
SER&IPs 2014- Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices
Confessions of an industrial researcher: a typical bollywood story (invited talk)
Certus: glimpses of a centre for research-based innovation in software verification and validation
Making sense of academia-industry gap in the evolving cloud service brokerage
Overcoming challenges in collaboration between research and practice: the agile research network
An exploratory study on reuse at google
Why is dynamic analysis not used as extensively as static analysis: an industrial study
A formal systems engineering approach in practice: an experience report
SEsCPS '18- Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems
SESSION: Keynote
Multi-paradigm modelling of cyber-physical systems: extended abstract
The networking of multi-physics (mechanical, electical, hydraulic, biochemical, ...) with computational systems (control systems, signal processing, logical inferencing, planning, ...) processes, interacting with often uncertain environments, with human actors, in a socio-economic context, leads to so-called Cyber-Physical Systems (CPS).
SESoS '18- Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems
SESSION: Modelling, adaptation and reconfiguration of SoS
A meta-model for representing system-of-systems ontologies
A System-of-Systems (SoS) is a large-scale complex system that integrates multiple constituent systems, which have managerial and operational independence. In order to achieve higher-level common goals of an SoS, it is important to systematically integrate independent constituent systems by thoroughly analyzing and designing the target SoS as a whole. But before conducting these engineering activities, a number of various SoS stakeholders and engineers should be able to understand their SoS. In order to provide a holistic view as a common knowledge base, this paper focuses on developing a conceptual meta-model that represents SoS ontologies. By investigating several documents for Mass Casualty Incident (MCI) response systems, we identified essential objects and required features for SoS descriptions. Based on the investigation, we generalized the objects into SoS entities, and we develop a meta-model, called M2SoS (Meta-model for System-of-Systems). To design our M2SoS, we borrowed organizational concepts from meta-models for multi-agent systems, and entities and relationships are redefined to specify SoS concepts in M2SoS. Finally, M2SoS is analyzed with respect to SoS characteristics, and we evaluate if M2SoS can represent high-level ontologies for two SoS case scenarios.
SoHeal '18- Proceedings of the 1st International Workshop on Software Health
SESSION: Keynote
Lessons learned from the linux kernel: creating sustained healthy communities
The Linux Kernel is one of the most successful open source projects to date. After 26 years, the rate of code contribution continues to be high, new developers are still being attracted to participating, and the code is in widespread use. By analyzing the contributions, we can see how individuals impact the kernel's evolution as a whole, as do the organizations in the kernel ecosystem. So what lessons can we learn from this information? What information is relevant to software community health in general that is not being caught in traditional health metrics? This keynote will discuss how the insights from the Linux kernel are being applied to other Linux Foundation open source projects to create healthy vibrant communities producing useful code for us all.
SPIN 2014- Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
SESSION: Research Papers
Approximating happens-before order: interplay between static analysis and state space traversal
Local state space construction for compositional verification of concurrent systems
Exploiting synchronization in the analysis of shared-memory asynchronous programs
Certification for configurable program analysis
Incremental bounded software model checking
An improvement of the piggyback algorithm for parallel model checking
Satisfiability modulo abstraction for separation logic with linked lists
Is there a best büchi automaton for explicit model checking?
Generic and efficient attacker models in SPIN
Towards a GPGPU-parallel SPIN model checker
SESSION: Short Papers
Automatic handling of native methods in Java PathFinder
CTL+FO verification as constraint solving
Quantifying information leaks using reliability analysis
Toward parameterized verification of synchronous distributed applications
Towards a test automation framework for alloy
SpinCause: a tool for causality checking
Verige: verification with invariant generation engine
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker
TravMC2: higher-order model checking for alternating parity tree automata
Unit testing for SPIN: runspin and parsepan
SPIN 2017- Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
SESSION: Invited Papers
Cobra: fast structural code checking (keynote)
Automated formal reasoning about amazon web services (keynote)
SunDew: systematic automated security testing (keynote)
SESSION: Reports
The RERS 2017 challenge and workshop (invited paper)
SESSION: Symbolic Verification
Distributed binary decision diagrams for symbolic reachability
SESSION: Model Checking I
Addressing challenges in obtaining high coverage when model checking Android applications
LeeTL: LTL with quantifications over model objects
Explicit state model checking with generalized Büchi and Rabin automata
SESSION: Code Verification
Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners
SESSION: Runtime Enforcement
Runtime enforcement using Büchi games
Runtime enforcement of reactive systems using synchronous enforcers
SESSION: Model Checking - Short Papers
SIMPAL: a compositional reasoning framework for imperative programs
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study
Formal verification of data-intensive applications through model checking modulo theories
SESSION: Program Synthesis
Practical controller synthesis for MTL<sub>0,∞</sub>
An ordered approach to solving parity games in quasi polynomial time and quasi linear space
A hot method for synthesising cool controllers
SESSION: Model Checking II
Backward coverability with pruning for lossy channel systems
Model learning and model checking of SSH implementations
CARET model checking for malware detection
SESSION: Program Sketching
EdSketch: execution-driven sketching for Java
SESSION: Testing
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
Optimizing parallel Korat using invalid ranges
SESSION: Testing - Short Papers
Guided test case generation for mobile apps in the TRIANGLE project: work in progress
ExpoSE: practical symbolic execution of standalone JavaScript
Copyright (c) 2020 - 2025, SIGSOFT; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.
