Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore an invited talk from PEPM 2025 where William J. Bowman from the University of British Columbia examines the intersection of ethics and compiler design. Delve into the philosophical "is-ought gap" in moral philosophy and how it applies to programming language design. Learn why ethical considerations are fundamental to program correctness and how language designers must enable programmers to express not just computational content but also their values and beliefs about how programs ought to behave. Discover a framework for ethical language design and implementation that respects the distinction between factual statements about programs and normative judgments about their intended behavior. This 46-minute presentation from the ACM SIGPLAN conference challenges conventional thinking about type safety, correctness, and the ethical dimensions of compiler implementation.
