Matterhorn -

Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song

17:00 - 20:00
Poster

Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper

Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas

17:00 - 20:00
Poster

Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper

Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg

17:00 - 20:00
Poster

Targeted Test Generation for Actor SystemsECOOP paper

Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA

17:00 - 20:00
Poster

Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk

Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin

17:00 - 20:00
Poster

Practical Detection of Concurrency Issues at Coding TimeISSTA paper

Luc BläserHochschule für Technik Rapperswil

17:00 - 20:00
Poster

Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paper

Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens

17:00 - 20:00
Poster

Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper

Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University

17:00 - 20:00
Poster

Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper

Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University

17:00 - 20:00
Poster

Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper

Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom

17:00 - 20:00
Poster

Making Data-Driven Porting Decisions with TuscanISSTA paper

Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.

17:00 - 20:00
Poster

Advances in the ANaConDA Framework

ISSTA demonstration

Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology

17:00 - 20:00
Poster

Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper

Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy

17:00 - 20:00
Poster

A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper

Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie

17:00 - 20:00
Poster

Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper

Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens

17:00 - 20:00
Poster

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

ECOOP paper

Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia

17:00 - 20:00
Poster

Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers

ICOOOLPS paper

Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam

17:00 - 20:00
Poster

OASIs: Oracle Assessment and Improvement Tool

ISSTA demonstration

Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler

17:00 - 20:00
Poster

Deep Learning over CodeISSTA paper

Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh

17:00 - 20:00
Poster

Translating Code Comments to Procedure SpecificationsISSTA paper

Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute

17:00 - 20:00
Poster

Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper

Goran PiskachevFraunhofer IEM

17:00 - 20:00
Poster

Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper

Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center

17:00 - 20:00
Poster

FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper

Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington

17:00 - 20:00
Poster

Incrementalizing Lattice-Based Program AnalysesFTfJP paper

Tamás Szabó, Sebastian ErdwegTU Delft

17:00 - 20:00
Poster

Secure integration of cryptographic software

ECOOP paper

Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

17:00 - 20:00
Poster

Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paper

Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia

17:00 - 20:00
Poster

Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper

Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center

17:00 - 20:00
Poster

Efficient Reflection String Analysis via Graph ColoringECOOP paper

Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

17:00 - 20:00
Poster

Tests from Traces: Automated Unit Test Extraction for RISSTA paper

Filip KrikavaCzech Technical University, Jan VitekNortheastern University

17:00 - 20:00
Poster

CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper

Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT

17:00 - 20:00
Poster

Modelling infinite behaviour by corulesECOOP paper

Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova

17:00 - 20:00
Poster

Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper

Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria

17:00 - 20:00
Poster

Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper

Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University

17:00 - 20:00
Poster

Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper

Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt

17:00 - 20:00
Poster

SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper

Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London

17:00 - 20:00
Poster

Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper

Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University

17:00 - 20:00
Poster

Theory and Practice of Coroutines with SnapshotsECOOP paper

Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland

17:00 - 20:00
Poster

Fault-tolerant Distributed Reactive ProgrammingECOOP paper

Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt

17:00 - 20:00
Poster

A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper

Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London

17:00 - 20:00
Poster

Probabilistic Software ModelingDoctoral symposium paper

Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz

17:00 - 20:00
Demonstration

Mutode: Generic JavaScript and Node.js Mutation Testing Tool

ISSTA demonstration

Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia

17:00 - 20:00
Poster

CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper

Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University

Media Attached

17:00 - 20:00
Poster

Testing for Performance Issues in OS KernelsDoctoral symposium paper

Yiqun Chen

17:00 - 20:00
Poster

The Essence of Nested CompositionECOOP paper

Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven

17:00 - 20:00
Poster

Generating software adaptations using machine learningML4PL talk

Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland

17:00 - 20:00
Poster

Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper

Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech

17:00 - 20:00
Poster

Repositioning of Static Analysis AlarmsISSTA paper

Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology

18:00 - 20:00: Catering - Poster Reception at Matterhorn

18:00 - 20:00
Poster

Poster reception

Mon 16 Jul 2018


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Matterhorn				CurryOn Curry On Keynotes Keynote 09:15 - 10:20																																																																																					CurryOn Curry On Keynotes Keynote 17:50 - 18:40

Tue 17 Jul 2018


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Matterhorn				CurryOn Curry On Keynotes Keynote 09:15 - 10:20																																																																																					CurryOn Curry On Keynotes Keynote 17:50 - 18:40

Wed 18 Jul 2018


Room	17:00						30						18:00						30						19:00						30						20:00						30
Matterhorn	ECOOP and ISSTA Posters Poster session ECOOP and ISSTA Catering Poster Reception 17:00 - 20:00

Mon 16 Jul 2018


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Matterhorn				CurryOn Curry On Keynotes Opening Remarks 09:15 - 09:30			CurryOn Curry On KeynotesKEYNOTE WebAssembly, Past, Present, and Future 09:30 - 10:20																																																																																		CurryOn Curry On KeynotesKEYNOTE Linear Haskell: practical linearity in a higher-order polymorphic language 17:50 - 18:40

Tue 17 Jul 2018


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Matterhorn				CurryOn Curry On Keynotes Opening Remarks 09:15 - 09:30			CurryOn Curry On KeynotesKEYNOTE How does code sound? 09:30 - 10:20																																																																																		CurryOn Curry On KeynotesKEYNOTE Go: building on the shoulders of giants and stepping on a few toes 17:50 - 18:40

Wed 18 Jul 2018


Room	17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Matterhorn	ECOOP and ISSTA PostersECOOP paper Typed First-Class Traits ISSTA paper PerfFuzz: Automatically Generating Pathological Inputs COP paper Feature Visualiser: an Inspection Tool for Programmers in Context-Orien ... ISSTA paper Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ... ECOOP paper Targeted Test Generation for Actor Systems WoSSCA talk Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics ISSTA paper Practical Detection of Concurrency Issues at Coding Time ECOOP paper Defensive Points-To Analysis: Effective Soundness via Laziness ISSTA paper Shaping Program Repair Space with Existing Patches and Similar Code ECOOP paper Type Regression Testing to Detect Breaking Changes in Node.js Libraries ISSTA paper Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ... ISSTA paper Making Data-Driven Porting Decisions with Tuscan ISSTA demonstration Advances in the ANaConDA Framework Doctoral symposium paper Automated End To End Testing of Single Page Web Applications ECOOP paper A Characteristic Study of Parameterized Unit Tests in .NET Open Source ... ISSTA paper Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots ECOOP paper ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ... ICOOOLPS paper Polyglot Programming - Opportunities of Language Implementation Framewo ... ISSTA demonstration OASIs: Oracle Assessment and Improvement Tool ISSTA paper Deep Learning over Code ISSTA paper Translating Code Comments to Procedure Specifications Doctoral symposium paper Transparent Static Analysis for the Detection of Security Vulnerabilities ISSTA paper Symbolic Path Cost Analysis for Side-Channel Detection ECOOP paper FHJ: A Formal Model for Hierarchical Dispatching and Overriding FTfJP paper Incrementalizing Lattice-Based Program Analyses ECOOP paper Secure integration of cryptographic software ISSTA paper Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe ISSTA paper Badger: Complexity Analysis with Fuzzing and Symbolic Execution ECOOP paper Efficient Reflection String Analysis via Graph Coloring ISSTA paper Tests from Traces: Automated Unit Test Extraction for R ISSTA paper CiD: Automating the Detection of API-related Compatibility Issues in An ... ECOOP paper Modelling infinite behaviour by corules SOAP paper Towards a Framework for Detecting Energy Drain in Mobile Applications - ... ECOOP paper Learning to Accelerate Symbolic Execution via Code Transformation FTfJP paper Distributed Multitier Programming with Placement Types using ScalaLoci ICOOOLPS paper SHAPES: Adding memory layouts and SIMD capabilities to high-level languages ECOOP paper Automating Object Transformations for Dynamic Software Updating via Onl ... ECOOP paper Theory and Practice of Coroutines with Snapshots ECOOP paper Fault-tolerant Distributed Reactive Programming Doctoral symposium paper A Portable Framework for Multi-core Interference Tuning and Analysis Doctoral symposium paper Probabilistic Software Modeling ISSTA demonstration Mutode: Generic JavaScript and Node.js Mutation Testing Tool ECOOP paper CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ... Doctoral symposium paper Testing for Performance Issues in OS Kernels ECOOP paper The Essence of Nested Composition ML4PL talk Generating software adaptations using machine learning ISSTA paper Automatically Translating Bug Reports into Test Cases for Mobile Apps ISSTA paper Repositioning of Static Analysis Alarms ECOOP and ISSTA Catering Poster reception 17:00 - 20:00

Room information: Matterhorn

Mon 16 Jul

Tue 17 Jul

Wed 18 Jul

Mon 16 Jul 2018

CurryOn Curry On Keynotes

CurryOn Curry On Keynotes

Tue 17 Jul 2018

CurryOn Curry On Keynotes

CurryOn Curry On Keynotes

Wed 18 Jul 2018

ECOOP and ISSTA Posters

ECOOP and ISSTA Catering

Mon 16 Jul 2018

Tue 17 Jul 2018

Wed 18 Jul 2018

Tracks

Co-hosted Conferences

Workshops