Abstract is missing.
- "Womenomics" and gender-inclusive software: what software engineers need to know (invited talk)Margaret M. Burnett. 1 [doi]
- Building a socio-technical theory of coordination: why and how (outstanding research award)James Herbsleb. 2-10 [doi]
- Correct or usable? the limits of traditional verification (impact paper award)Daniel Jackson, Mandana Vaziri. 11 [doi]
- Continuous deployment of mobile software at facebook (showcase)Chuck Rossi, Elisa Shibley, Shi Su, Kent Beck, Tony Savor, Michael Stumm. 12-23 [doi]
- Model, execute, and deploy: answering the hard questions in end-user programming (showcase)Shan Shan Huang. 24 [doi]
- Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase)Gazi Mahmud. 25 [doi]
- Developer workflow at google (showcase)Caitlin Sadowski. 26 [doi]
- Titanium: efficient analysis of evolving alloy specificationsHamid Bagheri, Sam Malek. 27-38 [doi]
- Mining performance specificationsMarc Brünink, David S. Rosenblum. 39-49 [doi]
- Designing minimal effective normative systems with the help of lightweight formal methodsJianye Hao, Eunsuk Kang, Jun Sun 0001, Daniel Jackson. 50-60 [doi]
- Proteus: computing disjunctive loop summary via path dependency analysisXiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li. 61-72 [doi]
- A cross-tool communication study on program analysis tool notificationsBrittany Johnson, Rahul Pandita, Justin Smith, Denae Ford, Sarah Elder, Emerson R. Murphy-Hill, Sarah Heckman, Caitlin Sadowski. 73-84 [doi]
- Factors influencing code review processes in industryTobias Baum, Olga Liskin, Kai Niklas, Kurt Schneider. 85-96 [doi]
- Foraging and navigations, fundamentally: developers' predictions of value and costDavid Piorkowski, Austin Z. Henley, Tahmid Nabi, Scott D. Fleming, Christopher Scaffidi, Margaret M. Burnett. 97-108 [doi]
- How to break an API: cost negotiation and community values in three software ecosystemsChristopher Bogart, Christian Kästner, James D. Herbsleb, Ferdian Thung. 109-120 [doi]
- Python predictive analysis for bug detectionZhaogui Xu, Peng Liu 0010, Xiangyu Zhang, Baowen Xu. 121-132 [doi]
- Crash consistency validation made easyYanyan Jiang 0001, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu. 133-143 [doi]
- Discovering bug patterns in JavaScriptQuinn Hanam, Fernando Santos De Mattos Brito, Ali Mesbah. 144-156 [doi]
- Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised modelsYibiao Yang, Yuming Zhou, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu 0003, Baowen Xu, Hareton Leung. 157-168 [doi]
- Detecting sensitive data disclosure via bi-directional text correlation analysisJianJun Huang, Xiangyu Zhang, Lin Tan. 169-180 [doi]
- Multi-representational security analysisEunsuk Kang, Aleksandar Milicevic, Daniel Jackson. 181-192 [doi]
- String analysis for side channels with segmented oraclesLucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan. 193-204 [doi]
- WebRanz: web page randomization for better advertisement delivery and web-bot preventionWeihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster. 205-216 [doi]
- A discrete-time feedback controller for containerized cloud applicationsLuciano Baresi, Sam Guinea, Alberto Leva, Giovanni Quattrocchi. 217-228 [doi]
- Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systemsStepan Shevtsov, Danny Weyns. 229-241 [doi]
- Automated change impact analysis between SysML models of requirements and designShiva Nejati, Mehrdad Sabetzadeh, Chetan Arora 0002, Lionel C. Briand, Felix Mandoux. 242-253 [doi]
- Parameter-free probabilistic API mining across GitHubJaroslav M. Fowkes, Charles A. Sutton. 254-265 [doi]
- API deprecation: a retrospective analysis and detection method for code examples on the webJing Zhou, Robert J. Walker. 266-277 [doi]
- When should internal interfaces be promoted to public?André C. Hora, Marco Tulio Valente, Romain Robbes, Nicolas Anquetil. 278-289 [doi]
- POLLUX: safely upgrading dependent application librariesSukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare. 290-300 [doi]
- Extracting instruction semantics via symbolic execution of code generatorsNiranjan Hasabnis, R. Sekar. 301-313 [doi]
- Efficient generation of inductive validity cores for safety propertiesElaheh Ghassabani, Andrew Gacek, Michael W. Whalen. 314-325 [doi]
- Correctness witnesses: exchanging verification results between verifiersDirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann. 326-337 [doi]
- SMT-based verification of parameterized systemsArie Gurfinkel, Sharon Shoham, Yuri Meshman. 338-348 [doi]
- On-the-fly decomposition of specifications in software model checkingSven Apel, Dirk Beyer 0001, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer. 349-361 [doi]
- On well-separation of GR(1) specificationsShahar Maoz, Jan Oliver Ringert. 362-372 [doi]
- Lightweight specification and analysis of dynamic systems with rich configurationsNuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg. 373-383 [doi]
- Gray links in the use of requirements traceabilityNan Niu, Wentao Wang, Arushi Gupta. 384-395 [doi]
- Understanding and detecting wake lock misuses for Android applicationsYepang Liu, Chang Xu, Shing-Chi Cheung, Valerio Terragni. 396-409 [doi]
- DiagDroid: Android performance diagnosis via anatomizing asynchronous executionsYu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu. 410-421 [doi]
- Minimizing GUI event tracesLazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken. 422-434 [doi]
- Causal impact analysis for app releases in google playWilliam Martin, Federica Sarro, Mark Harman. 435-446 [doi]
- Static DOM event dependency analysis for testing web applicationsChungha Sung, Markus Kusano, Nishant Sinha, Chao Wang 0001. 447-459 [doi]
- On-demand strong update analysis via value-flow refinementYulei Sui, Jingling Xue. 460-473 [doi]
- Call graph construction for Java librariesMichael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini. 474-486 [doi]
- Revamping JavaScript static analysis via localization and remediation of root causes of imprecisionShiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby. 487-498 [doi]
- What would users change in my app? summarizing app reviews for recommending software changesAndrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Junji Shimagaki, Corrado Aaron Visaggio, Gerardo Canfora, Harald C. Gall. 499-510 [doi]
- API code recommendation using statistical learning from fine-grained changesAnh Tuan Nguyen, Michael Hilton, Mihai Codoban, Hoan Anh Nguyen, Lily Mast, Eli Rademacher, Tien N. Nguyen, Danny Dig. 511-522 [doi]
- TIPMerge: recommending experts for integrating changes across branchesCatarina Costa, Jair Figueiredo, Leonardo Murta, Anita Sarma. 523-534 [doi]
- Interactive and guided architectural refactoring with search-based recommendationYun Lin, Xin Peng, Yuanfang Cai, Danny Dig, Diwen Zheng, Wenyun Zhao. 535-546 [doi]
- Can testedness be effectively measured?Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen. 547-558 [doi]
- A large-scale empirical comparison of static and dynamic test case prioritization techniquesQi Luo, Kevin Moran, Denys Poshyvanyk. 559-570 [doi]
- Analyzing the validity of selective mutation with dominator mutantsBob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe. 571-582 [doi]
- An extensive study of static regression test selection in modern software evolutionOwolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov. 583-594 [doi]
- PerfGuard: binary-centric application performance monitoring in production environmentsChung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu. 595-606 [doi]
- Python probabilistic type inference with natural language supportZhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu. 607-618 [doi]
- Detecting and fixing precision-specific operations for measuring floating-point errorsRan Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang 0001. 619-630 [doi]
- Deep API learningXiaodong Gu, Hongyu Zhang, Dongmei Zhang, Sunghun Kim. 631-642 [doi]
- Build system with lazy retrieval for Java projectsAhmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric. 643-654 [doi]
- iGen: dynamic interaction inference for configurable softwareThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter. 655-665 [doi]
- CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applicationsTse-Hsun Chen, Weiyi Shang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora. 666-677 [doi]
- BinGo: cross-architecture cross-OS binary searchMahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, Hee Beng Kuan Tan. 678-689 [doi]
- Relationship-aware code search for JavaScript frameworksXuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, Hong Mei. 690-701 [doi]
- Code relatives: detecting similarly behaving softwareFang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail E. Kaiser, Tony Jebara. 702-714 [doi]
- Understanding and generating high quality patches for concurrency bugsHaopeng Liu, Yuxi Chen, Shan Lu. 715-726 [doi]
- Anti-patterns in search-based program repairShin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury. 727-738 [doi]
- Semi-supervised verified feedback generationShalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani. 739-750 [doi]
- WATERFALL: an incremental approach for repairing record-replay tests of web applicationsMouna Hammoudi, Gregg Rothermel, Andrea Stocco. 751-762 [doi]
- Efficiency of projectional editing: a controlled experimentThorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund. 763-774 [doi]
- ECHO: instantaneous in situ race detection in the IDESheng Zhan, Jeff Huang 0001. 775-786 [doi]
- Detecting table clones and smells in spreadsheetsWensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei. 787-798 [doi]
- Flow-sensitive composition of thread-modular abstract interpretationMarkus Kusano, Chao Wang 0001. 799-809 [doi]
- A deployable sampling strategy for data race detectionYan Cai, Jian Zhang, Lingwei Cao, Jian Liu. 810-821 [doi]
- Online shared memory dependence reduction via bisectional coordinationYanyan Jiang 0001, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu. 822-832 [doi]
- Parallel data race detection for task parallel programs with locksAdarsh Yoga, Santosh Nagarakatte, Aarti Gupta. 833-845 [doi]
- Paradise unplugged: identifying barriers for female participation on stack overflowDenae Ford, Justin Smith, Philip J. Guo, Chris Parnin. 846-857 [doi]
- Why we refactor? confessions of GitHub contributorsDanilo Silva, Nikolaos Tsantalis, Marco Tulio Valente. 858-870 [doi]
- Effectiveness of code contribution: from patch-based to pull-request-based toolsJiaxin Zhu, Minghui Zhou, Audris Mockus. 871-882 [doi]
- Isomorphic regression testing: executing uncovered branches without test augmentationJie Zhang, Yiling Lou, Lingming Zhang, Dan Hao, Lu Zhang, Hong Mei. 883-894 [doi]
- Directed test generation to detect loop inefficienciesMonika Dhok, Murali Krishna Ramanathan. 895-907 [doi]
- Field-exhaustive testingPablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser. 908-919 [doi]
- Sustainable software designMartin P. Robillard. 920-923 [doi]
- Designing for dystopia: software engineering research for the post-apocalypseTitus Barik, Rahul Pandita, Justin Middleton, Emerson R. Murphy-Hill. 924-927 [doi]
- Disrupting developer productivity one bot at a timeMargaret-Anne D. Storey, Alexey Zagalsky. 928-931 [doi]
- Training the future workforce through task curation in an OSS ecosystemAnita Sarma, Marco Aurélio Gerosa, Igor Steinmacher, Rafael Leano. 932-935 [doi]
- Reaching the masses: a new subdiscipline of app programmer educationCharles Weir, Awais Rashid, James Noble. 936-939 [doi]
- Studying developer gaze to empower software engineering research and practiceBonita Sharif, Benjamin Clark, Jonathan I. Maletic. 940-943 [doi]
- DeepSoft: a vision for a deep model of softwareHoa Khanh Dam, Truyen Tran, John C. Grundy, Aditya K. Ghose. 944-947 [doi]
- Budgeted testing through an algorithmic lensMyra B. Cohen, Aduri Pavan, N. V. Vinodchandran. 948-951 [doi]
- Reasoning with imprecise privacy preferencesInah Omoronyia. 952-955 [doi]
- Bing developer assistant: improving developer productivity by recommending sample codeHongyu Zhang, Anuj Jain, Gaurav Khandelwal, Chandrashekhar Kaushik, Scott Ge, Wenxiang Hu. 956-961 [doi]
- Cluster-based test suite functional analysisMarcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill. 962-967 [doi]
- A portable interface for runtime energy monitoringConnor Imes, Lars Bergstrom, Henry Hoffmann. 968-974 [doi]
- Learning for test prioritization: an industrial case studyBenjamin Busjaeger, Tao Xie. 975-980 [doi]
- Combinatorial generation of structurally complex test inputs for commercial software applicationsHua Zhong, Lingming Zhang, Sarfraz Khurshid. 981-986 [doi]
- Automated test input generation for Android: are we really there yet in an industrial case?Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie. 987-992 [doi]
- NonDex: a tool for detecting and debugging wrong assumptions on Java API specificationsAlex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov. 993-997 [doi]
- TIPMerge: recommending developers for merging branchesCatarina Costa, Jair Figueiredo, Anita Sarma, Leonardo Murta. 998-1002 [doi]
- Time-travel debugging for JavaScript/Node.jsEarl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth. 1003-1007 [doi]
- PUMConf: a tool to configure product specific use case and domain models in a product lineInes Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany. 1008-1012 [doi]
- T2API: synthesizing API code usage templates from English texts with statistical translationThanh Van Nguyen, Peter C. Rigby, Anh Tuan Nguyen, Mark Karanfil, Tien N. Nguyen. 1013-1017 [doi]
- JBSE: a symbolic executor for Java programs with complex heap inputsPietro Braione, Giovanni Denaro, Mauro Pezzè. 1018-1022 [doi]
- ARdoc: app reviews development oriented classifierSebastiano Panichella, Andrea Di Sorbo, Emitza Guzman, Corrado Aaron Visaggio, Gerardo Canfora, Harald C. Gall. 1023-1027 [doi]
- Hunter: next-generation code reuse for JavaYuepeng Wang 0001, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss. 1028-1032 [doi]
- BigDebug: interactive debugger for big data analytics in Apache SparkMuhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim. 1033-1037 [doi]
- Visualizing code and coverage changes for code reviewSebastiaan Oosterwaal, Arie van Deursen, Roberta Coelho, Anand Ashok Sawant, Alberto Bacchelli. 1038-1041 [doi]
- End-to-end memory behavior profiling with DINAMITESvetozar Miucin, Conor Brady, Alexandra Fedorova. 1042-1046 [doi]
- Validate your SPDX files for open source license violationsDemetris Paschalides, Georgia M. Kapitsaki. 1047-1051 [doi]
- FSX: a tool for fine-grained incremental unit test generation for C/C++ programsHiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara. 1052-1056 [doi]
- Refactoring and migration of cascading style sheets: towards optimization and improved maintainabilityDavood Mazinanian. 1057-1059 [doi]
- Developing a reusable control-based approach to build self-adaptive software systems with formal guaranteesStepan Shevtsov. 1060-1062 [doi]
- Automating repetitive code changes using examplesReudismam Rolim. 1063-1065 [doi]
- Understanding and improving continuous integrationMichael Hilton. 1066-1067 [doi]
- Guided code synthesis using deep neural networksCarol V. Alexandru. 1068-1070 [doi]
- Generating interactive web pages from storyboardsPavel Panchekha. 1071-1072 [doi]
- Data structure synthesisCalvin Loncaric. 1073-1075 [doi]
- Understanding behavioural patterns in JavaScriptSaba Alimadadi. 1076-1078 [doi]
- Regression testing of web applications using Record/Replay toolsMouna Hammoudi. 1079-1081 [doi]
- Supporting change in product lines within the context of use case-driven development and testingInes Hajri. 1082-1084 [doi]
- Input-sensitive performance testingQi Luo. 1085-1087 [doi]
- On the utility of dominator mutants for mutation testingBob Kurtz. 1088-1090 [doi]
- Effective assignment and assistance to software developers and reviewersMotahareh Bahrami Zanjani. 1091-1093 [doi]
- RABIEF: range analysis based integer error fixingXi Cheng. 1094-1096 [doi]
- Fine-grained binary code authorship identificationXiaozhu Meng. 1097-1099 [doi]
- Identifying participants for collaborative mergeCatarina Costa. 1100-1102 [doi]
- Cozy: synthesizing collection data structuresCalvin Loncaric. 1103-1105 [doi]
- Constraint-based event trace reductionJie Wang. 1106-1108 [doi]
- Automatic trigger generation for end user written rules for home automationChandrakana Nandi. 1109-1111 [doi]
- Hotspot symbolic execution of floating-point programsMinghui Quan. 1112-1114 [doi]
- Evaluation of fault localization techniquesSpencer Pearson. 1115-1117 [doi]
- How should static analysis tools explain anomalies to developers?Titus Barik. 1118-1120 [doi]
- Repairing test dependenceWing Lam. 1121-1123 [doi]
- Combining bug detection and test case generationMartin Kellogg. 1124-1126 [doi]
- SmartDebug: an interactive debug assistant for JavaXinrui Guo. 1127-1129 [doi]
- Static loop analysis and its applicationsXie Xiaofei. 1130-1132 [doi]
- Social health cues developers use when choosing open source packagesAndrew Head. 1133-1135 [doi]
- Finding and breaking test dependencies to speed up test executionSebastian Kappler. 1136-1138 [doi]
- Automatic performance testing using input-sensitive profilingQi Luo. 1139-1141 [doi]
- Enforcing correct array indexes with a type systemJoseph Santino. 1142-1144 [doi]
- Discovering additional violations of Java API invariantsWaylon Huang. 1145-1147 [doi]
- Preventing signedness errors in numerical computations in JavaChristopher A. Mackie. 1148-1150 [doi]
- Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modelingFelipe R. Monteiro. 1151-1153 [doi]
- Atlas: an intelligent, performant framework for web-based grid computingSachith Gullapalli. 1154-1156 [doi]