Complex event recognition languages: Tutorial

A Artikis, A Margara, M Ugarte… - Proceedings of the 11th …, 2017 - dl.acm.org
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems:
Complex Event Recognition Languages Page 1 Tutorial: Complex Event Recognition Languages …

Fast and precise sanitizer analysis with {BEK}

P Hooimeijer, B Livshits, D Molnar, P Saxena… - 20th USENIX Security …, 2011 - usenix.org
Web applications often use special string-manipulating sanitizers on untrusted user data, but
it is difficult to reason manually about the behavior of these functions, leading to errors. For …

Symbolic finite state transducers: Algorithms and applications

M Veanes, P Hooimeijer, B Livshits, D Molnar… - Proceedings of the 39th …, 2012 - dl.acm.org
Finite automata and finite transducers are used in a wide range of applications in software
engineering, from regular expressions to specification languages. We extend these classic …

Rex: Symbolic regular expression explorer

M Veanes, P De Halleux… - 2010 Third International …, 2010 - ieeexplore.ieee.org
Constraints in form regular expressions over strings are ubiquitous. They occur often in
programming languages like Perl and C#, in SQL in form of LIKE expressions, and in web …

The power of symbolic automata and transducers

L D'Antoni, M Veanes - … , CAV 2017, Heidelberg, Germany, July 24-28 …, 2017 - Springer
Symbolic automata and transducers extend finite automata and transducers by allowing
transitions to carry predicates and functions over rich alphabet theories, such as linear …

Minimization of symbolic automata

L D'Antoni, M Veanes - Proceedings of the 41st ACM SIGPLAN-SIGACT …, 2014 - dl.acm.org
Symbolic Automata extend classical automata by using symbolic alphabets instead of finite
ones. Most of the classical automata algorithms rely on the alphabet being finite, and …

Hebrew computational linguistics: Past and future

S Wintner - Artificial intelligence review, 2004 - Springer
This paper reviews the current state of the art in Natural LanguageProcessing for Hebrew,
both theoretical and practical. The Hebrewlanguage, like other Semitic languages, poses …

[PDF][PDF] Shallow processing with unification and typed feature structures–foundations and applications

J Piskorski, U Schäfer, F Xu - Knstliche Intelligenz, 2004 - researchgate.net
Nowadays, we are witnessing an ever-growing trend of deploying lightweight linguistic
analysis for solving problems that deal with the conversion of the vast bulk of raw textual …

Unsupervised language acquisition: Theory and practice

A Clark - arXiv preprint cs/0212024, 2002 - arxiv.org
In this thesis I present various algorithms for the unsupervised machine learning of aspects
of natural languages using a variety of statistical models. The scientific object of the work is …

Dyna: Extending datalog for modern AI

J Eisner, NW Filardo - International Datalog 2.0 Workshop, 2010 - Springer
Modern statistical AI systems are quite large and complex; this interferes with research,
development, and education. We point out that most of the computation involves database …