Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–60) DECIDABILITY IN LOCAL AND GLOBAL FIELDS Jochen Koenigsmann

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Field theory
• Algebraic number theory
• Model theory
• Algebraic structures
• Rational point
• Local field
• Elliptic curve
• AxKochen theorem
• Field

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Source URL: zhang-sai.github.io

• Abstract algebra
• Estimation theory
• Extreme programming
• Software testing
• Mathematics
• Debugging
• Delta debugging
• Regression analysis
• Regression testing
• Localization

Weakly Equivalent Arrays J¨ urgen Christ Jochen Hoenicke

Source URL: smt2014.it.uu.se

• Software engineering
• Computing
• Computer programming
• Array data type
• Array data structure
• D

PDF Document

Source URL: jochen-hoenicke.de

PDF Document

Source URL: jochen-hoenicke.de

PDF Document

Source URL: jochen-hoenicke.de

PDF Document

Source URL: jochen-hoenicke.de

PDF Document

Source URL: jochen-hoenicke.de