Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich II
Floor0
Capacity50
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jul

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

09:00 - 10:30
Welcome & Keynote: TorlakISSTA Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
15m
Welcome
ISSTA Keynotes
Tijs van der Storm CWI, Frank Tip Northeastern University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15
60m
Talk
Solver-Aided Programming for All
ISSTA Keynotes
Emina Torlak University of Washington
11:00 - 12:30
Secure and SoundISSTA Technical Papers at Zurich II
Chair(s): Cristian Cadar Imperial College London
11:00
20m
Talk
Lightweight Verification of Array Indexing
ISSTA Technical Papers
Martin Kellogg University of Washington, Seattle, Vlastimil Dort Charles University, Suzanne Millstein University of Washington, Michael D. Ernst University of Washington, USA
11:20
20m
Talk
Eliminating Timing Side-channel Leaks Using Program Repair
ISSTA Technical Papers
Meng Wu Virginia Tech, Shengjian (Daniel) Guo Virginia Tech, Patrick Schaumont Virginia Tech, Chao Wang University of Southern California
11:40
20m
Talk
Symbolic Path Cost Analysis for Side-Channel Detection
ISSTA Technical Papers
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
12:00
20m
Talk
Safe and Sound Program Analysis with Flix
ISSTA Technical Papers
Magnus Madsen Aalborg University, Ondřej Lhoták University of Waterloo, Canada
12:20
10m
Q&A in groups
ISSTA Technical Papers

14:00 - 15:30
Testing and Fault LocalizationISSTA Technical Papers at Zurich II
Chair(s): Cindy Rubio-González University of California, Davis
14:00
20m
Talk
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
ISSTA Technical Papers
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
14:20
20m
Talk
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
ISSTA Technical Papers
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
14:40
20m
Talk
Automated Test Mapping and Coverage for Network Topologies
ISSTA Technical Papers
Per Erik Strandberg Westermo Research and Development AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Daniel Sundmark Mälardalen University, Wasif Afzal Mälardalen University
15:00
20m
Talk
Evaluating Test-Suite Reduction in Real-World Software Evolution
ISSTA Technical Papers
August Shi University of Illinois at Urbana-Champaign, Alex Gyori Facebook, Muhammad Suleman Mahmood University of Illinois at Urbana-Champaign, Peiyuan Zhao University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign
15:20
10m
Q&A in groups
ISSTA Technical Papers

16:00 - 17:30
Machine LearningISSTA Technical Papers at Zurich II
Chair(s): Alex Orso Georgia Institute of Technology
16:00
20m
Talk
Compiler Fuzzing through Deep LearningDistinguished Paper
ISSTA Technical Papers
Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
16:20
20m
Talk
Deep Specification Mining
ISSTA Technical Papers
Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University
16:40
20m
Talk
Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
ISSTA Technical Papers
Anurag Dwarakanath Accenture Labs, Manish Ahuja Accenture Labs, Samarth Sikand Accenture Labs, Raghotham M Rao Accenture Labs, R.P. Jagadeesh Chandra Bose Accenture Labs, Neville Dubash Accenture Labs, Sanjay Podder
17:00
20m
Talk
An Empirical Study on TensorFlow Program Bugs
ISSTA Technical Papers
Yuhao Zhang Peking University, Yifan Chen Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei Xiong Peking University, Lu Zhang Peking University
Pre-print
17:20
10m
Q&A in groups
ISSTA Technical Papers

Tue 17 Jul

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

09:00 - 10:30
MobileISSTA Technical Papers at Zurich II
Chair(s): Andreas Zeller Saarland University
09:00
20m
Talk
Automatically Translating Bug Reports into Test Cases for Mobile Apps
ISSTA Technical Papers
Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
09:20
20m
Talk
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
ISSTA Technical Papers
Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
09:40
20m
Talk
Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
ISSTA Technical Papers
Farnaz Behrang Georgia Institute of Technology, Alessandro Orso Georgia Tech
10:00
20m
Talk
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeDistinguished Paper
ISSTA Technical Papers
Lina Qiu University of British Columbia, Yingying Wang , Julia Rubin University of British Columbia
10:20
10m
Q&A in groups
ISSTA Technical Papers

11:00 - 12:30
Static AnalysisISSTA Technical Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
20m
Talk
Repositioning of Static Analysis Alarms
ISSTA Technical Papers
Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
11:20
20m
Talk
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
ISSTA Technical Papers
Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
11:40
20m
Talk
Static Analysis of Java Dynamic Proxies
ISSTA Technical Papers
George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
12:00
20m
Talk
Practical Detection of Concurrency Issues at Coding Time
ISSTA Technical Papers
Luc Bläser Hochschule für Technik Rapperswil
12:20
10m
Q&A in groups
ISSTA Technical Papers

14:00 - 15:30
Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik Bultan University of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nico Rosner University of California, Santa Barbara, Ben Hermann University of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid Bagheri University of Nebraska-Lincoln, USA, Kathryn Stolee North Carolina State University
16:00 - 17:30
Test and Oracle GenerationISSTA Technical Papers at Zurich II
Chair(s): Sarfraz Khurshid University of Texas at Austin
16:00
20m
Talk
Tests from Traces: Automated Unit Test Extraction for R
ISSTA Technical Papers
Filip Křikava Czech Technical University, Jan Vitek Northeastern University
16:20
20m
Talk
Translating Code Comments to Procedure Specifications
ISSTA Technical Papers
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 Pezzè University of Milano-Bicocca, Italy, Sergio Delgado Castellanos IMDEA Software Institute
16:40
20m
Talk
PerfFuzz: Automatically Generating Pathological InputsDistinguished Paper
ISSTA Technical Papers
Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:20
10m
Q&A in groups
ISSTA Technical Papers

Wed 18 Jul

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

09:00 - 10:30
Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00
60m
Talk
Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. Ernst University of Washington, USA
10:00
30m
ISSTA 2019 Preview
ISSTA Keynotes
Anders Møller Aarhus University, Dongmei Zhang Microsoft Research, China
11:00 - 12:30
Porting and RepairISSTA Technical Papers at Zurich II
Chair(s): Julian Dolby IBM Thomas J. Watson Research Center
11:00
20m
Talk
Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
ISSTA Technical Papers
Mohammad M. Almasi University of Manitoba, Hadi Hemmati University of Calgary, Gordon Fraser University of Passau, Phil McMinn University of Sheffield, Janis Benefelds SEB Life and Pensions Holding AB
11:20
20m
Talk
Making Data-Driven Porting Decisions with Tuscan
ISSTA Technical Papers
Kareem Khazem University College London, Earl T. Barr University College London, Petr Hosek Google, Inc.
11:40
20m
Talk
Comparing developer-provided to user-provided tests for fault localization and automated program repair
ISSTA Technical Papers
René Just University of Massachusetts, USA, Chris Parnin NCSU, Ian Drosos University of California, San Diego, Michael D. Ernst University of Washington, USA
12:00
20m
Talk
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA Technical Papers
Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University
Pre-print
12:20
10m
Q&A in groups
ISSTA Technical Papers

14:00 - 15:30
Optimization and PerformanceISSTA Technical Papers at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara
14:00
20m
Talk
Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
ISSTA Technical Papers
Yingjun Lyu University of Southern California, Ding Li NEC Labs, William G.J. Halfond University of Southern California
14:20
20m
Talk
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
ISSTA Technical Papers
Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
14:40
20m
Talk
Exploiting Community Structure for Floating-Point Precision Tuning
ISSTA Technical Papers
Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
15:00
20m
Talk
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
ISSTA Technical Papers
Karl Palmskog University of Texas at Austin, Ahmet Celik University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin
15:20
10m
Q&A in groups
ISSTA Technical Papers

16:00 - 17:00
Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba Alimadadi Northeastern University
16:00
10m
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
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
16:10
10m
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
16:20
10m
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu
16:30
10m
OASIs: Oracle Assessment and Improvement Tool
ISSTA Tool Demonstrations
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
16:40
10m
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
MalViz: An Interactive Visualization Tool for Tracing Malware
ISSTA Tool Demonstrations
Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University

Thu 19 Jul

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

09:00 - 10:30
Welcome & Keynote: De MoorECOOP Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
15m
Welcome
ECOOP Keynotes
Tijs van der Storm CWI, Frank Tip Northeastern University, Todd Millstein University of California, Los Angeles
09:15
60m
Talk
Program Analysis for Everyone
ECOOP Keynotes
11:00 - 12:40
Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd Millstein University of California, Los Angeles
11:00
25m
Research paper
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
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
DOI
11:25
25m
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
DOI
11:50
25m
Research paper
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
DOI
12:15
25m
Research paper
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London
DOI
13:50 - 15:30
TestingECOOP Research Papers at Zurich II
Chair(s): Alastair F. Donaldson Imperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
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 , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
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
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
DOI
16:00 - 17:15
LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David Liu State University of New York, Binghamton
16:00
25m
Research paper
Typed First-Class Traits
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
16:25
25m
Research paper
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
ECOOP Research Papers
Stefan Krüger University of Paderborn, Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira Mezini TU Darmstadt
DOI
16:50
25m
Research paper
Safe Transferable Regions
ECOOP Research Papers
Gowtham Kaki Purdue University, G. Ramalingam Microsoft Research
DOI

Fri 20 Jul

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

09:00 - 10:30
Awards & Keynote: XuECOOP Keynotes at Zurich II
Chair(s): Eric Jul University of Oslo
09:00
3m
Awards
Distinguished Paper Award
ECOOP Keynotes
Todd Millstein University of California, Los Angeles
09:03
3m
Awards
Distinguished Artifact Award
ECOOP Keynotes
Philipp Haller KTH Royal Institute of Technology, Marianna Rapoport University of Waterloo, Maria Christakis MPI-SWS
09:06
3m
Awards
Test of Time Award
ECOOP Keynotes
Eric Jul University of Oslo, Davide Ancona University of Genova
09:09
6m
Awards
Dahl-Nygaard Awards
ECOOP Keynotes
Eric Jul University of Oslo
09:15
60m
Talk
Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design
ECOOP Keynotes
Harry Xu University of California, Los Angeles
11:00 - 12:40
TypesECOOP Research Papers at Zurich II
Chair(s): Philipp Haller KTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana Campos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin, Italy
DOI
13:50 - 15:30
Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian Hammer University of Potsdam
13:50
25m
Research paper
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
Mohaned Qunaibit University of California, Irvine, Stefan Brunthaler Bundeswehr University Munich, Yeoul Na , Stijn Volckaert University of California, Irvine, Michael Franz University of California, Irvine
DOI
14:15
25m
Research paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
Jonathan Bell George Mason University, Luís Pina George Mason University
DOI Pre-print Media Attached
14:40
25m
Research paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
ECOOP Research Papers
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
DOI
15:05
25m
Research paper
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
ECOOP Research Papers
Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
DOI
16:00 - 17:15
Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi Igarashi Kyoto University, Japan
16:00
25m
Research paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
DOI
16:25
25m
Research paper
Modeling infinite behaviour by corules
ECOOP Research Papers
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
DOI
16:50
25m
Research paper
The Essence of Nested Composition
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
DOI

Sat 21 Jul

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

09:00 - 10:30
Keynote: Zeller & ECOOP 2019 PreviewECOOP Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
60m
Talk
Parser-Directed Test Generation
ECOOP Keynotes
Andreas Zeller Saarland University
10:00
15m
ECOOP 2019 Preview
ECOOP Keynotes
Jan Vitek Northeastern University
11:00 - 12:40
Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
25m
Research paper
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
DOI
11:25
25m
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
DOI Pre-print
11:50
25m
Research paper
Definite Reference Mutability
ECOOP Research Papers
Ana Milanova Rensselaer Polytechnic Institute
DOI
12:15
25m
Research paper
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI

Mon 16 Jul

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

Tue 17 Jul

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

Wed 18 Jul

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

Thu 19 Jul

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

Fri 20 Jul

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

Sat 21 Jul

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

Mon 16 Jul

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

Tue 17 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zurich II

Wed 18 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Zurich II