Explore >> Select a destination

You are here

 www.math.nagoya-u.ac.jp
FLOPS 2008 Conference Information
| | www.covingtoninnovations.com
Michael A. Covington
4.1 parsecs away

Travel
| | [AI summary] An academic bio page for Dr. Michael A. Covington detailing his career history, shift from academia to industry in 2013, and research interests in natural language understanding and computer science.
| | ojs.aaai.org
DeepFix: Fixing Common C Language Errors by Deep Learning | Proceedings of the AAAI Conference on Artificial Intelligence
2.6 parsecs away

Travel
| |
| | www.org.kobe-u.ac.jp
FLOPS 2012
1.6 parsecs away

Travel
| | FLOPS 2012, Eleventh International Symposium on Functional and Logic Programming
| | popl18.sigplan.org
Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities (PriSC 2018 - Principles of Secure Compilation) - POPL 2018
5.0 parsecs away

Travel
| News: All the speakers have made their slides available Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, 23:59 AoE. Workshop program is now available POPL/PriSC registration is open; early rate ends on 10 December 2017 List of presentations accepted at PriSC is now public Invited talk by Mathias Payer on Challenges For Compiler-backed Security: From Sanitizer to Mitigation Workshop description Today's computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabiliti ...