CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A

Source URL: www.ieee-security.org

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Computing
• Recursion
• Binary trees
• Data types
• Category theory
• Theoretical computer science
• Tree
• Linked list
• Predicate
• Anamorphism

Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

Learning + Synthesis Armando Solar-Lezama ML as Synthesis ML

Source URL: uclmr.github.io

D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction

Source URL: uclmr.github.io

• Computational neuroscience
• Software engineering
• Applied mathematics
• Computing
• Domain-specific language
• Artificial neural network
• Neural network
• Algorithm
• Fold
• Generative model
• Convolutional neural network

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

34 Revista Electrónica de Psicología Política Año 13, N°34 - Julio/Agosto de 2015 De la represión analítica a la represión de Estado. Apuntes para su discusión1 Armando Villegas2

Source URL: www.psicopol.unsl.edu.ar

DOI:A Differential Approach to Undefined Behavior Detection By Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama

Source URL: locore.cs.washington.edu