- Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan. Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Software Engineering Notes, 43(4):66, 2018.
- Megan Fowler, Tim Schwab. BeginToReason: Understanding the Purpose of Code. ACM SIGSOFT Software Engineering Notes, 43(3):18, 2018.
- Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid. A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Software Engineering Notes, 43(4):55, 2018.
- Steven Fraser 0001, Dennis Mancl. No Silver Bullet Reloaded: Report on XP 2017 Panel Session. ACM SIGSOFT Software Engineering Notes, 43(4):39-41, 2018.
- Steven Fraser 0001, Dennis Manci. Agile Culture: A Panels Report from XP 2017. ACM SIGSOFT Software Engineering Notes, 43(4):52, 2018.
- Alan Weide. Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs. ACM SIGSOFT Software Engineering Notes, 43(3):18, 2018.
- Paramvir Singh, Sheikh Umar Farooq, Saurabh Tiwari 0001, Ashish Sureka. An Experience Report on Workshop on Emerging Software Engineering Education. ACM SIGSOFT Software Engineering Notes, 43(2):12-23, 2018.
- Peter G. Neumann. Risks to the Public. ACM SIGSOFT Software Engineering Notes, 43(3):11-16, 2018.
- Eileen Kraemer, Aubrey Lawson. Reasoning About Concurrency: Scenarios for Activities. ACM SIGSOFT Software Engineering Notes, 43(3):18, 2018.
- Umaima Haider, John D. McGregor, Rabih Bashroush. The ALI Architecture Description Language. ACM SIGSOFT Software Engineering Notes, 43(4):52, 2018.