* ICSE 2018 * (series) / SRC - ACM Student Research Competition /
AutoModel: A Domain-specific Language for Automatic Modeling of Real-time Embedded Systems
Thu 31 May 2018 09:00 - 18:00 at H - Exibition Hall - Poster Exhibition Chair(s): Olga Baysal, Jun Sun
Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 18:00 | Poster ExhibitionSRC - ACM Student Research Competition at H - Exibition Hall Chair(s): Olga Baysal Carleton University, Jun Sun Singapore University of Technology and Design | ||
09:00 9hTalk | VarXplorer: Reasoning About Feature Interactions SRC - ACM Student Research Competition Larissa Soares Universidade Federal da Bahia | ||
09:00 9hTalk | Toward an Empirical Theory of Feedback-Driven Development SRC - ACM Student Research Competition Moritz Beller Delft University of Technology | ||
09:00 9hTalk | Automatically Finding Bugs in Commercial Cyber-Physical System Development Tool Chains SRC - ACM Student Research Competition Shafiul Azam Chowdhury University of Texas at Arlington | ||
09:00 9hTalk | Interactive and Automated Debugging for Big Data Analytics SRC - ACM Student Research Competition Muhammad Ali Gulzar University of California, Los Angeles | ||
09:00 9hShort-paper | Deadlock Detector and Solver (DDS) SRC - ACM Student Research Competition Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University DOI | ||
09:00 9hTalk | AutoModel: A Domain-specific Language for Automatic Modeling of Real-time Embedded Systems SRC - ACM Student Research Competition | ||
09:00 9hTalk | When to Extract Features: Towards a Recommender System SRC - ACM Student Research Competition Jacob Krüger Harz University of Applied Sciences, Germany | ||
09:00 9hTalk | Compiler-Assisted Test Acceleration Using GPUs SRC - ACM Student Research Competition Vanya Yaneva University of Edinburgh, UK | ||
09:00 9hTalk | Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem SRC - ACM Student Research Competition Asher Trockman University of Evansville | ||
09:00 9hTalk | Combining Symbolic Execution and Model Checking to Verify MPI Programs SRC - ACM Student Research Competition | ||