Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: mebsout.github.io

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: cubicle.lri.fr

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡

Source URL: cubicle.lri.fr

• 120-cell
• Reachability
• FO
• Tiny Encryption Algorithm
• Mathematics
• Discrete mathematics
• Mathematical logic

Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡

Source URL: mebsout.github.io

• 120-cell
• Reachability
• FO
• Tiny Encryption Algorithm
• Mathematics
• Discrete mathematics
• Mathematical logic

Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach Aston Zhang∗1 , Amit Goyal2 , Ricardo Baeza-Yates2 Yi Chang2 , Jiawei Han1 , Carl A. Gunter1 , Hongbo Deng2 1

Source URL: gdac.uqam.ca

SymPy: symbolic computing in Python Aaron Meurer1 , Christopher P. Smith2 , Mateusz Paprocki3 , Ondřej Čertík4 , Sergey B. Kirpichev5 , Matthew Rocklin3 , AMiT Kumar6 , Sergiu Ivanov7 , Jason K. Moore8 , Sartaj Singh9

Source URL: peerj.com

• Mathematics
• Algebra
• Mathematical software
• Computer algebra
• SymPy
• Orthogonal polynomials
• Elementary algebra
• SageMath
• Grbner basis
• Polynomial
• Numerical analysis
• Chebyshev polynomials

Philip Levis (for Amit Levy) Platform Lab Retreat, June 8, 2018 Tock: A Secure Operating System for Microcontrollers

Source URL: platformlab.stanford.edu

• Microcontrollers
• Computer architecture
• Computing
• Embedded systems
• Computer hardware
• ARM architecture
• Embedded microprocessors
• STM32
• USB
• Mbed
• Firmware

Private Circuits II: Keeping Secrets in Tamperable Circuits Yuval Ishai? , Manoj Prabhakaran?? , Amit Sahai? ? ? , and David Wagner† Abstract. Motivated by the problem of protecting cryptographic hardware, we continue

Source URL: mmp.cs.illinois.edu

Demonstration: Real-Time Semantic Analysis of Sensor Streams Harshal Patni, Cory Henson, Michael Cooney, Amit Sheth, Krishnaprasad Thirunarayan Kno.e.sis – Ohio Center of Excellence in Knowledge-enabled Computing Depar

Source URL: iswc2011.semanticweb.org

www.regionalscience.org/2018worldcongress Special Session (SS12) on: Transforming Metropolitan Regions: Ideas and Examples Organiser: Amit Chatterjee - School of Planning and Architecture, Bhopal, India. Email:

Source URL: www.regionalscience.org