VarXplorer: Reasoning About Feature Interactions (* ICSE 2018 * - SRC - ACM Student Research Competition )

Track

* ICSE 2018 * SRC - ACM Student Research Competition

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 31 May 2018 09:00 - 18:00 at H - Exibition Hall - Poster Exhibition Chair(s): Olga Baysal, Jun Sun

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 31 May
Times are displayed in 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 BaysalCarleton University, Jun SunSingapore University of Technology and Design

	09:00 - 18:00 Talk		VarXplorer: Reasoning About Feature Interactions SRC - ACM Student Research Competition Larissa SoaresUniversidade Federal da Bahia
	09:00 - 18:00 Talk		Toward an Empirical Theory of Feedback-Driven Development SRC - ACM Student Research Competition Moritz BellerDelft University of Technology
	09:00 - 18:00 Talk		Automatically Finding Bugs in Commercial Cyber-Physical System Development Tool Chains SRC - ACM Student Research Competition Shafiul Azam ChowdhuryUniversity of Texas at Arlington
	09:00 - 18:00 Talk		Interactive and Automated Debugging for Big Data Analytics SRC - ACM Student Research Competition Muhammad Ali GulzarUniversity of California, Los Angeles
	09:00 - 18:00 Short-paper		Deadlock Detector and Solver (DDS) SRC - ACM Student Research Competition Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University DOI
	09:00 - 18:00 Talk		AutoModel: A Domain-specific Language for Automatic Modeling of Real-time Embedded Systems SRC - ACM Student Research Competition Nafiseh Kahani
	09:00 - 18:00 Talk		When to Extract Features: Towards a Recommender System SRC - ACM Student Research Competition Jacob KrügerHarz University of Applied Sciences, Germany
	09:00 - 18:00 Talk		Compiler-Assisted Test Acceleration Using GPUs SRC - ACM Student Research Competition Vanya YanevaUniversity of Edinburgh, UK
	09:00 - 18:00 Talk		Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem SRC - ACM Student Research Competition Asher TrockmanUniversity of Evansville
	09:00 - 18:00 Talk		Combining Symbolic Execution and Model Checking to Verify MPI Programs SRC - ACM Student Research Competition Hengbiao Yu

VarXplorer: Reasoning About Feature Interactions

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Larissa Soares

Universidade Federal da Bahia

Tracks

Co-hosted Conferences

Co-hosted Symposiums

VarXplorer: Reasoning About Feature Interactions

Program Display Configuration

Program Display Configuration

Thu 31 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Larissa Soares

Universidade Federal da Bahia

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change