ECOOP and ISSTA Posters

The poster session is an excellent opportunity for researchers to present and discuss their recent or ongoing work with a broad audience. The ECOOP and ISSTA poster sessions will be co-located. Students attending both conferences are strongly encouraged to participate, as this will allow them to present themselves and their work to the community and receive feedback in an interactive, laid-back setting.

Posters can be either:

• Independent presentations that will be reviewed by the Poster Committee for acceptance,
• or associated with work to be presented at the ECOOP or ISSTA research tracks or Doctoral Symposium. The Posters Committee will not review those submissions, as they illustrate work that has been thoroughly scrutinized by other committees.

Authors of accepted posters will also have the opportunity to present demos using their laptops.

Call for associated posters

Authors of accepted papers at ECOOP, ISSTA, and their co-located events are invited to present a poster to further increase the visibility of their work and spark interesting one-on-one conversations. Interested authors are required to express their interest in participating to the session by registering through an online form, so that we can provide for poster boards and other supplies.

Registrations are done through https://goo.gl/forms/NDes4OckSSwE7XP33. The submission deadline is June 22nd, 2018 AoE. Posters associated with the ECOOP and ISSTA events are accepted by default, so there will be no author notification.

Authors of posters associated with other events do not need to submit anything on EasyChair. The poster format should be of A0 or smaller, in portrait orientation.

Call for independent posters

The submission deadline has been extended to May 25th, 2018, AoE.

We encourage submissions embracing a broad range of topics related to object orientation, which:

• identify new research problems and propose possible approaches to solve them,
• describe software artifacts and tools developed by the authors and accessible to the community,
• or present work not yet ready for submission to conferences and journal in its current form.

Interested authors should submit a poster abstract describing their work along with the poster in pdf format. The abstract is limited to one page, including references, in the official "2017 ACM Master article template”, as can be obtained from the ACM Proceedings Template pages. Submitted abstracts will be reviewed based on originality and quality. Poster sizes of up to A0, portrait format will be accepted.

Submissions are done through https://easychair.org/conferences/?conf=ecoopissta18posters. The submission deadline is May 18th, 2018 AoE, with the author notification on June 13th, 2018.

Authors of accepted posters do not need to register through the Google form.

Accepted posters

	Title
	A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie
	A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper Dan Iorga, Alastair Donaldson
	Advances in the ANaConDA FrameworkISSTA demonstration Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, Tomas Vojnar
	Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paper Lina Qiu, YINGYING WANG, Julia Rubin
	Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper Matteo Biagiola, Paolo Tonella, Filippo Ricca
	Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso
	Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu
	Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper Yannic Noller, Rody Kersten, Corina S Pasareanu
	Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon
	CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper Jonathan Bell, Luís Pina Media Attached
	CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper Li Li, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein
	Deep Learning over CodeISSTA paper Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather
	Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paper Yannis Smaragdakis, George Kastrinis
	Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper Pascal Weisenburger, Guido Salvaneschi
	Efficient Reflection String Analysis via Graph ColoringECOOP paper Neville Grech, George Kastrinis, Yannis Smaragdakis
	FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
	Fault-tolerant Distributed Reactive ProgrammingECOOP paper Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
	Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper Benoît Duhoux, Kim Mens, Bruno Dumas
	Generating software adaptations using machine learningML4PL talk Nicolás Cardozo, Ivana Dusparic
	Incrementalizing Lattice-Based Program AnalysesFTfJP paper Tamás Szabó, Sebastian Erdweg
	Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang
	Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk Asanka Sayakkara, Nhien-An Le-Khac, Mark Scanlon
	Making Data-Driven Porting Decisions with TuscanISSTA paper Kareem Khazem, Earl T. Barr, Petr Hosek
	Modelling infinite behaviour by corulesECOOP paper Davide Ancona, Francesco Dagnino, Elena Zucca
	Mutode: Generic JavaScript and Node.js Mutation Testing ToolISSTA demonstration Diego Rodríguez-Baquero, Mario Linares-Vásquez
	OASIs: Oracle Assessment and Improvement ToolISSTA demonstration Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
	PerfFuzz: Automatically Generating Pathological InputsISSTA paper Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
	Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersICOOOLPS paper Fabio Niephaus, Robert Hirschfeld
	Practical Detection of Concurrency Issues at Coding TimeISSTA paper Luc Bläser
	Probabilistic Software ModelingDoctoral symposium paper Hannes Thaller
	Repositioning of Static Analysis AlarmsISSTA paper Tukaram Muske, Rohith Talluri, Alexander Serebrenik
	SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
	Secure integration of cryptographic softwareECOOP paper Stefan Krüger, Eric Bodden
	Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen
	Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
	Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S Pasareanu
	Targeted Test Generation for Actor SystemsECOOP paper Sihan Li, Farah Hariri, Gul Agha
	Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer
	Testing for Performance Issues in OS KernelsDoctoral symposium paper Yiqun Chen
	Tests from Traces: Automated Unit Test Extraction for RISSTA paper Filip Krikava, Jan Vitek
	The Essence of Nested CompositionECOOP paper Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
	Theory and Practice of Coroutines with SnapshotsECOOP paper Aleksandar Prokopec, Fengyun Liu
	ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsECOOP paper Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman
	Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper Andreas Schuler, Gabriele Anderst-Kotsis
	Translating Code Comments to Procedure SpecificationsISSTA paper Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezze, Sergio Delgado Castellanos
	Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper Goran Piskachev
	Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
	Typed First-Class TraitsECOOP paper Xuan Bi, Bruno C. d. S. Oliveira