ISSTA Keynotes When: Mon 16 Jul 2018 09:15 - 10:15 People: Emina Torlak

… …

SALAD When: Thu 19 Jul 2018 14:00 - 14:30 People: Bjorn De Sutter

… …

ISAGT 2018 When: Fri 20 Jul 2018 11:05 - 11:30 People: Chris Laffra

… Project Auger (Automated Unittest Generator) watches your Python code while you write it and automatically generates all unit tests for your code, including all the mocks. Little or no work is required by the developer. Auger works like …

WoSSCA 2018 When: Wed 18 Jul 2018 11:45 - 12:30 People: Chris Palmer

… , they are trivially vulnerable to Spectre and other side channels. We need to motivate all …

Summer School When: Mon 16 Jul 2018 14:30 - 17:00 People: Corina S. Păsăreanu

… Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic path conditions over program paths. The technique has been recently extended …

COP When: Mon 16 Jul 2018 11:00 - 11:30 People: Toni Mattis, Robert Hirschfeld

… in a network and messages sent to the object are relayed to all network …

COP When: Mon 16 Jul 2018 15:00 - 15:30 People: Nicolás Cardozo

… for context activation in a uniform model. All existing mechanism in the literature …

DPA When: Wed 18 Jul 2018 16:30 - 17:00 People: Max Schaefer

… all commits on over 70,000 open-source projects, and includes an in-browser IDE …

ISSTA Artifacts People: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

… (relative to different dynamic executions): while it can never fully capture all …

Curry On Keynotes When: Tue 17 Jul 2018 09:30 - 10:20 People: Felienne Hermans

… We study all sorts of aspects of programming languages, their ease of use, type system, their level of abstractness, but we feel one aspect is overlooked, how a programming language sounds like when read aloud. Is reading aloud hard …

BenchWork When: Wed 18 Jul 2018 14:50 - 15:10 People: Petr Maj, François Gauthier, Celeste Hollenbeck, Jan Vitek, Cristina Cifuentes

… -data for all projects that use NPM on GitHub, collecting metrics … projects that have working test suites, pre-download all their dependencies, and build a harness that runs tests from all projects. Then, we build a test …

SOAP When: Fri 20 Jul 2018 15:00 - 15:15 People: François Gauthier, Behnaz Hassanshahi, Alexander Jordan

… evaluate AFFOGATO on a suite of Node.js modules and show how it can detect all …

WoSSCA 2018 When: Wed 18 Jul 2018 14:30 - 15:00 People: Chandler Carruth

… , and have specifically led all of our compiler-based mitigation efforts … are insufficient in many cases. They either cannot cover all of the attack …

SALAD When: Thu 19 Jul 2018 16:00 - 16:37 People: Mansour Alharthi, Hong Hu, Hyungon Moon, Taesoo Kim

… Linux kernel contains a large number of features that not all systems need, while Linux distributors enable as many features as possible to make their distributions generic, leading to severe bloating problem. Intuitively, we can use …

ISSTA Artifacts People: René Just, Chris Parnin, Ian Drosos, Michael D. Ernst

… -cluster) and maintained.

• All scripts within the artifact are modular, with core …

Doc Symposium When: Wed 18 Jul 2018 14:57 - 15:13 People: Timotej Kapus

… Junior Submission
Symbolic execution is an effective technique for exploring paths in a program and reasoning about all possible values on those paths … scheme instead, i.e. essentially merging all memory objects into one. To make …

Doc Symposium When: Wed 18 Jul 2018 14:25 - 14:41 People: Anastasios Antoniadis

… to provide a static model of a program’s heap, for all the possible executions …

Summer School When: Tue 17 Jul 2018 14:00 - 17:30 People: Amal Ahmed

… Verified compilers are typically proved correct under severe restrictions on what the compiled code may be linked with, from no linking at all to linking with only the output of the same compiler. Unfortunately, such assumptions don’t …

SALAD When: Thu 19 Jul 2018 17:52 - 18:30 People: Taddeus Kroes, Anil Altinay, Joseph Nash, Yeoul Na, Stijn Volckaert, Herbert Bos, Michael Franz, Cristiano Giuffrida

… program including all of its dependencies, but we can also determine which …

ISSTA Artifacts People: Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen

… Automated program repair (APR) has great potential to reduce bug-fixing effort and many approaches have been proposed in recent years. APRs are often treated as a search problem where the search space consists of all the possible …

Curry On Talks When: Tue 17 Jul 2018 15:55 - 16:35 People: Tyler McMullen

… , and VMs are all forms of SFI. SFI is a deeply important part of not only … handling, memory sandboxing, and how it all integrates into an existing system. This is all based on a real compiler and sandbox, currently in development …

Curry On Talks When: Tue 17 Jul 2018 16:45 - 17:25 People: Faraz Babar

… discovery acting as the glue that binds it all together. We will show …

Doc Symposium When: Wed 18 Jul 2018 14:00 - 14:25 People: Olivier Flückiger

… , if they are not that different after all? Non-refutable facts are hard to come by, even in universe …

ECOOP Research Papers When: Thu 19 Jul 2018 14:15 - 14:40 People: Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

… accelerate symbolic execution for any program do not exist at all. Therefore …, outperforming the default KLEE configurations (i.e., turning on/off all compiler … improvement rate on all programs is 46.48%/88.92% in terms of line coverage …

BenchWork When: Wed 18 Jul 2018 14:30 - 14:50 People: Petr Maj, Celeste Hollenbeck, Shabbir Hussain, Jan Vitek

… thanks to the node.js framework. Our analysis included all non-forked JavaScript …

ISSTA Technical Papers When: Tue 17 Jul 2018 11:20 - 11:40 People: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

… dynamic executions): while it can never fully capture all program behaviors (i.e. …

BenchWork When: Wed 18 Jul 2018 15:10 - 15:30 People: Li Sui, Jens Dietrich, Michael Emery, Amjed Tahir, Shawn Rasheed

… that a static analysis models the entire program behaviour for all possible executions …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

… accelerate symbolic execution for any program do not exist at all. Therefore …, outperforming the default KLEE configurations (i.e., turning on/off all compiler … improvement rate on all programs is 46.48%/88.92% in terms of line coverage …

Curry On Talks When: Mon 16 Jul 2018 16:45 - 17:25 People: Yulia Startsev

… A language like JavaScript, with a large diverse user space, is half designed, and half reverse engineered. Like all web standards, JavaScript is developed in conjunction with the realities of the web and user decisions in how the language …

Curry On Talks When: Mon 16 Jul 2018 16:45 - 17:25 People: Simon Belak

… and batch settings; all drawing from practical examples of using Clojure …

ISSTA Technical Papers When: Mon 16 Jul 2018 16:40 - 17:00 People: Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M Rao, R.P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder

… We have recently witnessed tremendous success of Machine Learning (ML) in practical applications. Computer vision, speech recognition and language translation have all seen a near human level performance. We expect, in the near future …

ISSTA Technical Papers When: Tue 17 Jul 2018 10:00 - 10:20 People: Lina Qiu, YINGYING WANG, Julia Rubin

… combined with ICCTA, AMANDROID, and DROIDSAFE. We evaluate all tools under the same …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

… dynamic executions): while it can never fully capture all program behaviors (i.e. …

ECOOP Keynotes When: Thu 19 Jul 2018 09:15 - 10:15 People: Oege de Moor

… of lgtm is running at lgtm.com, continuously analysing all commits …

ECOOP Research Papers When: Sat 21 Jul 2018 11:50 - 12:15 People: Ana Milanova

… . Our results show that approximately 86.5% of all potentially mutable references …

Curry On Talks When: Mon 16 Jul 2018 14:40 - 15:20 People: Ron Pressler

… the answer to any question. It would end disputes among men and convince all … of Trinitarianism in favor of monism, and believed that the unity of all things …

ECOOP Research Papers When: Sat 21 Jul 2018 11:25 - 11:50 People: John Toman, Dan Grossman

… and correctly. Dealing with all possible resource update scenarios is difficult … reasoning about concurrency. The at-most-once condition requires that all values …

ISSTA Technical Papers When: Tue 17 Jul 2018 16:40 - 17:00 People: Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

… for all program locations. This enables PerfFuzz to (1) find a variety of inputs …

ISSTA Technical Papers When: Mon 16 Jul 2018 16:00 - 16:20 People: Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather

… discover bugs in all of them, submitting 67 bug reports.

Our test cases …

ISSTA Technical Papers When: Wed 18 Jul 2018 12:00 - 12:20 People: Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen

… Automated program repair (APR) has great potential to reduce bug-fixing effort and many promising approaches have been proposed in recent years. APRs are often treated as a search problem where the search space consists of all the possible …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Lina Qiu, YINGYING WANG, Julia Rubin

… combined with ICCTA, AMANDROID, and DROIDSAFE. We evaluate all tools under the same …

Curry On Talks When: Tue 17 Jul 2018 15:55 - 16:35 People: Manuel Chakravarty

… the model and view components of a Cocoa app. All of this is illustrated …

Curry On Talks When: Mon 16 Jul 2018 11:00 - 11:40 People: Jesse Alama

… , but should, and to take the opportunity to make it. That all sounds good, but does …

ECOOP Research Papers When: Sat 21 Jul 2018 11:00 - 11:25 People: Yannis Smaragdakis, George Kastrinis

… We present a defensive may-point-to analysis approach, which offers soundness even in the presence of arbitrary opaque code: all non-empty points-to sets computed are guaranteed to be over-approximations of the sets of values arising …

ECOOP Research Papers When: Fri 20 Jul 2018 11:25 - 11:50 People: Joana Campos, Vasco T. Vasconcelos

… to read off an implementation. Moreover, all the examples in the paper have been run …

ECOOP Research Papers When: Fri 20 Jul 2018 15:05 - 15:30 People: Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu

… the new version of all methods in the history to get the desired new state. AOTES …

ECOOP Research Papers When: Fri 20 Jul 2018 16:00 - 16:25 People: Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

… . Furthermore, unlike all existing inheritance models, our model supports hierarchical …

ISSTA Technical Papers When: Mon 16 Jul 2018 11:40 - 12:00 People: Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Păsăreanu

… component. Symbolic cost expressions provide an over-approximation of all possible …

ISSTA Technical Papers When: Mon 16 Jul 2018 15:00 - 15:20 People: August Shi, Alex Gyori, Muhammad Suleman Mahmood, Peiyuan Zhao, Darko Marinov

… where the reduced test suite misses to detect all the faults called FBDL. We …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Yannis Smaragdakis, George Kastrinis

… We present a defensive may-point-to analysis approach, which offers soundness even in the presence of arbitrary opaque code: all non-empty points-to sets computed are guaranteed to be over-approximations of the sets of values arising …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

… for all program locations. This enables PerfFuzz to (1) find a variety of inputs …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather

… discover bugs in all of them, submitting 67 bug reports.

Our test cases …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu

… the new version of all methods in the history to get the desired new state. AOTES …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

… . Furthermore, unlike all existing inheritance models, our model supports hierarchical …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen

… Automated program repair (APR) has great potential to reduce bug-fixing effort and many promising approaches have been proposed in recent years. APRs are often treated as a search problem where the search space consists of all the possible …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Fabio Niephaus, Robert Hirschfeld

… . Since all supported languages run on the same runtime environment, FFI calls … capabilities for all languages. This consequently results in a better programming …

Curry On Talks When: Mon 16 Jul 2018 14:40 - 15:20 People: Tamás Szabó, Sebastian Erdweg

… ), and to provide sophisticated edit actions (refactorings). IDEs must provide all …

ECOOP Research Papers When: Fri 20 Jul 2018 13:50 - 14:15 People: Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz

… are instead handled by a construct that we call a mega guard which checks all …

Posters When: Wed 18 Jul 2018 17:00 - 20:00 People: Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Păsăreanu

… component. Symbolic cost expressions provide an over-approximation of all possible …