Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

Source URL: arieg.bitbucket.io

Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED

Source URL: www.voelter.de

• Language workbench
• Computing
• Software engineering
• Software
• Itemis
• Domain-specific language
• Xtext
• JetBrains MPS
• JetBrains
• Software development
• OOPSLA
• Model-driven engineering

Planning with PDDL3.0 Preferences by Compilation into STRIPS with Action Costs Percassi Francesco University of Brescia Department of Information Engineering

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Temporal logic
• Computation tree logic
• Logic in computer science
• STRIPS
• Planning Domain Definition Language
• Theoretical computer science
• Computing

SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook Master’s Degree in Information Technology (MSIT)

Source URL: www.africa.engineering.cmu.edu

• Carnegie Mellon Silicon Valley
• Education
• Carnegie Mellon University
• Master of Science in Information Technology
• Course credit
• Carnegie Mellon School of Computer Science
• Tepper School of Business

Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

Source URL: www.ieee-security.org

• Mathematical analysis
• Special functions
• Mathematics
• Trigonometry
• Angle
• Dimensionless numbers
• Ratios
• Analytic functions
• Trigonometric functions
• Sine
• Taylor series
• Polynomial

Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

LeadWise: Using Online Bots to Recruit and Guide Expert Volunteers Claudia Flores-Saviaga Computer Engineering, Universidad Nacional Autonomade Mexico (UNAM)

Source URL: nitens.org

• Digital media
• Computing
• Software
• Bots
• Social information processing
• Wikimedia projects
• Social networking services
• Twitter bot
• Wikipedia
• Internet bot
• Twitter
• Video game bot