Advances in the ANaConDA Framework (ECOOP and ISSTA 2018 - Posters)

Who

Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, Tomáš Vojnar

Track

ECOOP and ISSTA 2018 Posters

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

Wed 18 Jul 2018 17:00 - 20:00 at Matterhorn - Poster session Chair(s): Lisa Nguyen Quang Do

Abstract

The paper presents advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ANaConDA comes with several built-in analysers, covering detection of data races, deadlocks, or contract violations, and allows for an easy creation of new analysers. To increase the variety of tested interleavings, ANaConDA offers various noise injection techniques. The framework performs the analysis on a binary level, thus not requiring the source code of the program to be available. Apart from many academic experiments, ANaConDA has also been successfully used to discover various errors in industrial code.

Jan Fiedor

Brno University of Technology

Monika Mužikovská

Brno University of Technology

Aleš Smrčka

Brno University of Technology

Czechia

Ondřej Vašíček

Brno University of Technology

Tomáš Vojnar

Brno University of Technology

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

Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 20:00	Poster sessionPosters at Matterhorn Chair(s): Lisa Nguyen Quang Do Paderborn University

17:00 3h Poster		Typed First-Class TraitsECOOP paper Posters Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
17:00 3h Poster		PerfFuzz: Automatically Generating Pathological InputsISSTA paper Posters Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:00 3h Poster		Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper Posters Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas
17:00 3h Poster		Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper Posters Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg
17:00 3h Poster		Targeted Test Generation for Actor SystemsECOOP paper Posters Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
17:00 3h Poster		Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk Posters Asanka Sayakkara University College Dublin, Nhien-An Le-Khac University College Dublin, Mark Scanlon University College Dublin
17:00 3h Poster		Practical Detection of Concurrency Issues at Coding TimeISSTA paper Posters Luc Bläser Hochschule für Technik Rapperswil
17:00 3h Poster		Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paper Posters Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
17:00 3h Poster		Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper Posters Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University
17:00 3h Poster		Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper Posters Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
17:00 3h Poster		Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper Posters Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
17:00 3h Poster		Making Data-Driven Porting Decisions with TuscanISSTA paper Posters Kareem Khazem University College London, Earl T. Barr , Petr Hosek Google, Inc.
17:00 3h Poster		Advances in the ANaConDA FrameworkISSTA demonstration Posters Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
17:00 3h Poster		Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper Posters Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy, Paolo Tonella Fondazione Bruno Kessler, Filippo Ricca DIBRIS, University of Genova, Italy
17:00 3h Poster		A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper Posters Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie
17:00 3h Poster		Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper Posters Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
17:00 3h Poster		ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsECOOP paper Posters Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia
17:00 3h Poster		Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersICOOOLPS paper Posters Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld HPI, University of Potsdam
17:00 3h Poster		OASIs: Oracle Assessment and Improvement ToolISSTA demonstration Posters Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
17:00 3h Poster		Deep Learning over CodeISSTA paper Posters Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
17:00 3h Poster		Translating Code Comments to Procedure SpecificationsISSTA paper Posters Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado Castellanos IMDEA Software Institute
17:00 3h Poster		Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper Posters Goran Piskachev Fraunhofer IEM
17:00 3h Poster		Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper Posters Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center
17:00 3h Poster		FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper Posters Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
17:00 3h Poster		Incrementalizing Lattice-Based Program AnalysesFTfJP paper Posters Tamás Szabó , Sebastian Erdweg TU Delft
17:00 3h Poster		Secure integration of cryptographic softwareECOOP paper Posters Stefan Krüger University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 3h Poster		Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paper Posters Lina Qiu University of British Columbia, Yingying Wang , Julia Rubin University of British Columbia
17:00 3h Poster		Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper Posters Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
17:00 3h Poster		Efficient Reflection String Analysis via Graph ColoringECOOP paper Posters Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
17:00 3h Poster		Tests from Traces: Automated Unit Test Extraction for RISSTA paper Posters Filip Křikava Czech Technical University, Jan Vitek Northeastern University
17:00 3h Poster		CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper Posters Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
17:00 3h Poster		Modelling infinite behaviour by corulesECOOP paper Posters Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
17:00 3h Poster		Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper Posters Andreas Schuler University of Applied Sciences Upper Austria, Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria
17:00 3h Poster		Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper Posters Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
17:00 3h Poster		Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper Posters Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
17:00 3h Poster		SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper Posters Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London
17:00 3h Poster		Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper Posters Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
17:00 3h Poster		Theory and Practice of Coroutines with SnapshotsECOOP paper Posters Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
17:00 3h Poster		Fault-tolerant Distributed Reactive ProgrammingECOOP paper Posters Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt
17:00 3h Poster		A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper Posters Dan Iorga Imperial College London, UK, Alastair F. Donaldson Imperial College London
17:00 3h Poster		Probabilistic Software ModelingDoctoral symposium paper Posters Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz
17:00 3h Demonstration		Mutode: Generic JavaScript and Node.js Mutation Testing ToolISSTA demonstration Posters Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
17:00 3h Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper Posters Jonathan Bell George Mason University, Luís Pina George Mason University Media Attached
17:00 3h Poster		Testing for Performance Issues in OS KernelsDoctoral symposium paper Posters Yiqun Chen
17:00 3h Poster		The Essence of Nested CompositionECOOP paper Posters Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
17:00 3h Poster		Generating software adaptations using machine learningML4PL talk Posters Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
17:00 3h Poster		Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper Posters Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
17:00 3h Poster		Repositioning of Static Analysis AlarmsISSTA paper Posters Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology