ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Challenges and Opportunities in Model Checking Large-scale Distributed Systems

Abstract: I will give an outline of the Must project, a framework for modeling and state space exploration of distributed systems written in a mainstream programming language (Rust). I will describe some recent technical advances that allow us to scale to large state spaces, as well as our attempts to bridge the gap between model and code and between (randomized) state space exploration for fixed configurations and guarantees for unbounded systems. I will also describe the challenges of deploying modeling and model checking in an industrial context.

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems in Kaiserslautern, Germany and an Amazon Scholar at Amazon Web Services. His research interests are in the verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory.



Software Engineering in a World with Generative AI

Abstract: Large language models exhibit powerful capabilities that many see as the kind of flexible and adaptive intelligence that previously only humans could exhibit. I'll discuss three questions that arise with the advent of large language models: 1) How will large language models affect research into opportunities and problems that arise in traditional software engineering contexts? 2) What new classes of software systems will large language models enable? 3) How can we better understand the reasons behind the surprising capabilities of large language models? I'll present projects that highlight issues that arise in each of these areas and use these projects as a starting point for a broader discussion of particularly promising directions (as well as others that are less promising).

Martin Rinard is a Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics, including computer security, program analysis and compilation, machine learning and programming, approximate computing, and software robustness and reliability. Dr. Rinard's research has been recognized with many honors and awards. His students and postdocs have gone on to top positions in academia and industry.



Trustworthy by Design

Abstract: The relatively recent public release of generative artificial intelligence (AI) systems has ignited a significant leap in awareness of the capabilities of AI. In parallel, there has been a recognition of AI system limitations and the bias inherent in systems created by humans. Expectations are rising for more trustworthy, human-centered, and responsible software connecting humans to powerful systems that augment their abilities. There are decades of practice designing systems that work with, and for humans, that we can build upon to face the new challenges and opportunities brought by dynamic AI systems.

Carol Smith is the AI Division Trust Lab Lead and a Principal Research Scientist at the Carnegie Mellon University (CMU), Software Engineering Institute. She leads research focused on development practices that result in trustworthy, human-centered, and responsible AI systems. Ms. Smith has been conducting research to improve the human experience with complex systems across industries for over 20 years. Since 2015 she has led research to integrate ethics and improve human experiences with AI systems, autonomous vehicles, and other complex and emerging technologies. Ms. Smith is recognized globally as a leading researcher and user experience advocate and has presented over 250 talks and workshops in over 40 cities around the world. Her writing can be found in publications from organizations including AAAI, ACM, and the UXPA, and she has taught courses and lectured at CMU and other leading institutions. Ms. Smith is currently an ACM Distinguished Speaker and a Working Group member of the IEEE P7008™ Standard. Ms. Smith holds a Master of Science degree in Human-Computer Interaction from DePaul University.


Powered by



AI is making us rethink everything, including software development

Abstract: In this talk, we embark on a journey to explore the unique properties of the latest Generative AI systems, highlighting how their intelligence differs from human intelligence in significant ways. We then walk through the practical applications of this AI across various domains and tasks, providing a framework for understanding its current capabilities and limitations. Lastly, we apply the framing to software development and talk through how we should be rethinking software development.

Soumith Chintala is a Scientist and Engineer focused on AI, with more than 88,000 scientific citations and over 50 invited talks. Chintala has led and contributed to the creation of influential AI work such as PyTorch, DCGAN, and Torch-7 which is used by several institutions including NASA, Meta, Google, Tesla, Amazon, Microsoft, Walmart, Uber, Lyft, Disney, Genentech, and numerous other Fortune-500 companies. His work is a staple in the curriculum of hundreds of universities, including institutions like Stanford, Harvard, NYU, MIT, and Oxford. He currently leads PyTorch and works on AI at Meta, is a Visitor at New York University, and maintains advisory roles at various institutions. Chintala has earned a Master’s Degree in Computer Science from NYU, where his focus was on developing deep learning models for robotics and computer vision.


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

Tue 16 Apr

Displayed time zone: Lisbon change

12:30 - 14:00
JSS Board Meeting (lunch)Social Events at Glicínia Quartin
12:30
90m
Meeting
JSS Board Meeting (lunch)
Social Events

14:00 - 15:30
JSS Board Meeting (after lunch meeting)Social Events at Glicínia Quartin
14:00
90m
Meeting
JSS Board Meeting (after lunch meeting)
Social Events

17:30 - 18:30
Software Architecture Town HallSocial Events at Pequeno Auditório

Mandatory Registration Required: https://forms.gle/acCPoV4a9kvTCVee7

17:30
60m
Meeting
Software Architecture Town Hall
Social Events

18:30 - 21:00
ICSE SC meeting with dinnerSocial Events at Guelra
Chair(s): Arie van Deursen Delft University of Technology
18:30
2h30m
Meeting
ICSE SC meeting with dinner
Social Events

Wed 17 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto
09:00
45m
Talk
ICSE2024 Opening
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Abhik Roychoudhury National University of Singapore, Margaret-Anne Storey University of Victoria
09:45
45m
Keynote
Challenges and Opportunities in Model Checking Large-scale Distributed Systems
ICSE Keynotes
K: Rupak Majumdar MPI-SWS
12:30 - 14:00
TCSE executive committee meetingSocial Events at Eugénio de Andrade
Chair(s): Ladan Tahvildari University of Waterloo
12:30
90m
Meeting
TCSE executive committee meeting
Social Events

12:30 - 14:00
LGBTQI+@ICSE LunchSocial Events at Forest Pizza & Coffee Culture
Chair(s): Ronnie de Souza Santos University of Calgary
12:30
90m
Lunch
LGBTQI+@ICSE Lunch
Social Events

12:30 - 14:00
12:30
90m
Lunch
FSE SC Lunch
Social Events

17:30 - 18:30
Townhall meeting TCSE and SIGSOFTSocial Events at Pequeno Auditório
Chair(s): Marsha Chechik University of Toronto, Ladan Tahvildari University of Waterloo
17:30
60m
Meeting
Townhall meeting TCSE and SIGSOFT
Social Events

18:30 - 21:00
18:30
2h30m
Social Event
Welcome reception
Social Events

Thu 18 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Keynote 2 - Martin Rinard & SEIP Keynote: Soumith ChintalaICSE Keynotes / Social Events at Grande Auditório
Chair(s): Nachiappan Nagappan Meta Platforms, Inc., Abhik Roychoudhury National University of Singapore
09:00
45m
Keynote
Software Engineering in a World with Generative AI
ICSE Keynotes
K: Martin C. Rinard Massachusetts Institute of Technology
09:45
45m
Keynote
AI is making us rethink everything, including software development
ICSE Keynotes
10:30 - 11:30
Conversation Café on Equality, Diversity and Inclusion (EDI)Social Events at Amadeo de Souza-Cardoso
Chair(s): Alvine Boaye Belle York University, Ronnie de Souza Santos University of Calgary
10:30
60m
Social Event
Conversation Café on Equality, Diversity and Inclusion (EDI)
Social Events
Foutse Khomh École Polytechnique de Montréal, Muneera Bano CSIRO's Data61, Alexander Serebrenik Eindhoven University of Technology, Emerson Murphy-Hill Google, Sonja Hyrynsalmi LUT University
12:30 - 14:00
ICSE'25 OC MeetingSocial Events at Amadeo de Souza-Cardoso
Chair(s): Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Timothy Lethbridge University of Ottawa
12:30
90m
Meeting
ICSE'25 OC Meeting
Social Events

12:30 - 14:00
Women@ICSE LunchSocial Events at Eugénio de Andrade
Chair(s): Alvine Boaye Belle York University
12:30
90m
Lunch
Women@ICSE Lunch
Social Events

12:30 - 14:00
TSE Editorial Board Social Events at Glicínia Quartin
12:30
90m
Meeting
TSE Editorial Board
Social Events

12:30 - 14:00
ACM TOSEM Editorial board meetingSocial Events at Vianna da Motta
12:30
90m
Meeting
ACM TOSEM Editorial board meeting
Social Events

15:30 - 16:00
BIPOC@ICSE CaféSocial Events at Eugénio de Andrade
Chair(s): Alvine Boaye Belle York University, Ronnie de Souza Santos University of Calgary
15:30
30m
Social Event
BIPOC@ICSE Café
Social Events

16:00 - 17:30
MIP Award / SIGSOFT Outstanding Award / Harlan D. MIlls AwardMost Influential Paper ICSE N-10Social Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Walid Maalej University of Hamburg, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Paolo Tonella USI Lugano, Andre van der Hoek University of California, Irvine

Chairs:

  • Harlan D. Mills Award: Paolo Tonella
  • MIP ICSE N-10: Mauro Pezze and André van der Hoek
  • ACM SIGSOFT Outstanding Research Award: Walid Maalej

IEEE Computer Society Harlan D. Mills Award

Prem Thomas Devanbu , Distinguished Research Professor, Computer Science, UC Davis

Most influential paper ICSE N-10

Coverage is not strongly correlated with test suite effectiveness (ICSE 2014)
Laura Inozemtseva and Reid Holmes

ACM SIGSOFT Outstanding Research Award

Tsong Yueh Chen (Swinburne University of Technology, Australia) for contributions to software testing through the invention and development of metamorphic testing.

16:00
30m
Awards
IEEE Computer Society Harlan D. Mills Award
Social Events

16:30
30m
Awards
Most influential paper ICSE N-10
Social Events

17:00
30m
Awards
ACM SIGSOFT Outstanding Research Award
Social Events

19:00 - 22:30
19:00
3h30m
Dinner
Conference Banquet
Social Events

Fri 19 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Keynote 3 - Carol Smith & Award session: TCSE and SIGSOFTICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto
09:00
30m
Awards
Award session: TCSE and SIGSOFT
Social Events
Ladan Tahvildari University of Waterloo, David Lo Singapore Management University, Marsha Chechik University of Toronto, Federica Sarro University College London
09:30
15m
Talk
Preview of ICSE2025
Social Events
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Timothy Lethbridge University of Ottawa
09:45
45m
Keynote
Trustworthy by Design
ICSE Keynotes
K: Carol J. Smith Software Engineering Institute - Carnegie Mellon University, Margaret-Anne Storey University of Victoria
12:30 - 14:00
2025 PC MeetingSocial Events at Almada Negreiros
Chair(s): David Lo Singapore Management University, Corina S. Păsăreanu Carnegie Mellon University
12:30
90m
Meeting
2025 PC Meeting
Social Events

17:30 - 18:00
Awards (Distinguished Papers, Reviewers, ACM Student Research Competition Awards)Social Events / SRC - ACM Student Research Competition at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto
17:30
10m
Talk
Distinguished Papers
Social Events

17:40
10m
Talk
Distinguished Reviewers
Social Events

17:50
10m
Talk
ACM Student Research Competition Awards
SRC - ACM Student Research Competition

18:00 - 18:20
Closing cerimonySocial Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto
18:00
10m
Talk
ICSE 2024 Closing
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Arie van Deursen Delft University of Technology