PostersECOOP and ISSTA 2018

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