Методы оптимизации статического анализа помеченных данных.доклад на конференции