5 Events and TalksUpcoming Talk: Jens Dietrich of Victoria University of Wellington (Te Herenga Waka) on Static Program Analysis Blind Spots
We will host a talk on “Static Program Analysis Blind Spots” in FAU’s computer science colloquium. The talk is free and open to the public. Abstract: Static program analyses usually overapproximate program behaviour, i.e. they are sound but not precise, and research has traditionally focused on boosting precision and scalability. However, modern programming languages have […]We will host a talk on “Static Program Analysis Blind Spots” in FAU’s computer science colloquium. The talk is free and open to the public. Abstract: Static program analyses usually overapproximate program behaviour, i.e. they are sound but not precise, and research has traditionally focused on boosting precision and scalability. However, modern programming languages have […]
