An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss

Source URL: lara.epfl.ch

• Data types
• Higher-order functions
• Type theory
• Recursion
• Source code
• Algebraic data type
• Satisfiability Modulo Theories
• Map
• ALGOL 68
• Software engineering
• Computer programming
• Computing

Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore

Source URL: lara.epfl.ch

• Functional languages
• Procedural programming languages
• C++
• Snippet
• Source code
• Scala
• Eval
• Constructor
• ALGOL 68
• Computing
• Software engineering
• Computer programming

On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch

Source URL: lara.epfl.ch

• Data types
• Functional programming
• Type theory
• Algebraic data type
• Binary trees
• Procedural programming languages
• Pattern matching
• Guard
• Cons
• Software engineering
• Computing
• Computer programming

Javier Marcos de Prado Juan Galiana Lara Pwning Intranets with HTML5 OWASP AppSec USA 2011

Source URL: 2011.appsecusa.org

• Computer security
• Markup languages
• OWASP
• Security
• HTML5
• Cross-site scripting
• JavaScript
• Canvas element
• Computing
• HTML
• World Wide Web

Software Verification and Graph Similarity for Automated Evaluation of Students’ AssignmentsI Milena Vujoˇsevi´c-Janiˇci´ca,∗, Mladen Nikoli´ca , Duˇsan Toˇsi´ca , Viktor Kuncakb a Faculty of Mathematics, Un

Source URL: lara.epfl.ch

• Software testing
• LLVM
• Software bug
• Model checking
• Software development process
• Software verification
• Static single assignment form
• Software
• Programming language implementation
• Compilers

Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland

Source URL: lara.epfl.ch

• Mathematics
• Formal methods
• Nondeterministic finite automaton
• Linear temporal logic
• Finite-state machine
• Function
• Symbol
• Büchi automaton
• Automata theory
• Models of computation
• Theoretical computer science

MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL)

Source URL: lara.epfl.ch

• Logic in computer science
• Metalogic
• Model theory
• Multiset
• NP-complete problems
• Presburger arithmetic
• Satisfiability Modulo Theories
• Cardinality
• Generalized arithmetic progression
• Mathematics
• Mathematical logic
• Theoretical computer science

Certifying Solutions for Numerical Constraints Eva Darulova and Viktor Kuncak ? EPFL

Source URL: lara.epfl.ch

• Differential calculus
• Numerical analysis
• Functions and mappings
• Automatic differentiation
• Computer algebra
• Affine arithmetic
• Interval arithmetic
• Derivative
• Integral
• Mathematics
• Mathematical analysis
• Calculus

Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac

Source URL: lara.epfl.ch

• Model theory
• Logic in computer science
• Predicate logic
• Semantics
• NP-complete problems
• Satisfiability Modulo Theories
• Function
• First-order logic
• Quantifier elimination
• Mathematics
• Mathematical logic
• Logic

Fréttabréf Sta›lará›s Íslands 1. tbl. 16. árg. septemberJafnlaunastaðall -

Source URL: www.stadlar.is