Everything About ___
Live briefing

Everything about Interference freedom

Concurrent program verification method

In computer science, interference freedom is a technique for proving partial correctness of concurrent programs with shared variables. Hoare logic had been introduced earlier to prove the correctness of sequential programs. In her PhD thesis under advisor David Gries, Susan Owicki extended this work to apply to concurrent programs. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Interference freedomA 5-minute orientation
  2. Skim a recent paper: Degrees of Freedom of the K -User Interference Channel Assisted by Active and Passive IRSsInfluential work since 2022
  3. Pick up a classic book: The positive obligations of the state under the European Convention of Human RightsThe most-reprinted book on the subject
  4. Read the landmark paper: Interference Alignment and Degrees of Freedom of the $K$-User Interference ChannelCited 2,555 times
  5. Go sideways: Separation logicA closely related topic
  6. Go sideways: Predicate transformer semanticsA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics