Viewing Results for Category: Tech Talks (1 of 15 Pages)

Tech Talk: Sunroof and a Blank Canvas: A Tale of Two DSLs

Abstract Sunroof is an embedded Haskell Domain Specific Language (DSL) that compiles to JavaScript. Blank Canvas is an embedded Haskell DSL that provides direct access to the HTML5 JavaScript Canvas. Both DSLs superficially provide the same capabilities, but make different trade-offs in the DSL design space. Sunroof uses monadic reification to enable bindings in the […]

Read More

Tech Talk: Getting a Quick Fix on Comonads

Abstract While the monad abstraction has risen to a certain flavor of fame in the Haskell community and beyond, its equally fascinating dual, the comonad, remains relatively unknown. I’ll tell the tale of my exploration into comonadic structures and computation, which led me to the creation of a library for concisely and generically expressing efficient […]

Read More

Tech Talk: Haskell Bytes

Abstract We will take you on a guided tour through the memory of a running Haskell program and get to peek at the raw bytes of Haskell values. We’ll see how uniformity allows for polymorphic functions and data structures, where the garbage collector finds the information it needs and learn to predict how large certain values tend to become. With […]

Read More

Tech Talk: Formal Verification of Cyber-Physical Systems

Abstract Cyber-Physical Systems (CPS) refer to systems in which control, computation and communication converge to achieve complex functionalities. The ubiquitous deployment of cyber-physical systems in safety critical applications including aeronautics, automotive, medical devices and industrial process control, has pressurized the need for the development of automated analysis methods to aid the design of high-confidence systems. The talk will focus on an […]

Read More

Tech Talk: Correct-By-Construction Control Synthesis in Model-Based Design of Autonomous Systems

abstract: How can we affordably build trustworthy autonomous, networked systems? Partly motivated by this question, I describe a shift from the traditional “design+verify” approach to “specify+synthesize” in model-based engineering. I then discuss our recent results on automated synthesis of correct-by-construction, hierarchical control protocols. These results account for hybrid dynamics that are subject to rich temporal logic specifications and heterogenous uncertainties, and that […]

Read More

Tech Talk Video: A short examination on the intersection of security and usability (or How usable security could save us all)

We are pleased to announce the availability of a new tech talk video: “A short examination on the intersection of security and usability (or How usable security could save us all)”, presented by Morgan Miller. For more details, please visit the talk announcement page. For more videos, please visit our Vimeo channel.

Read More

Tech Talk: A Gentle Introduction to Hiding Usage Patterns

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: A Gentle Introduction to Hiding Usage Patterns speaker: Rafail Ostrovsky time: Friday, 25 April 2014, 10am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, […]

Read More

Tech Talk: A short examination on the intersection of security and usability (or How usable security could save us all)

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: A short examination on the intersection of security and usability (or How usable security could save us all) speaker: Morgan Miller time: Tuesday, 8 April 2014, […]

Read More

Tech Talk: Practical Challenges to Secure Computation

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Practical Challenges to Secure Computation speaker: John Launchbury time: Tuesday, 1 April 2014, 11am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Read More

Portland Linux/Unix Group Advanced Topics: Android App Collusion

Rogan Creswick will be giving the next Portland Linux/Unix Group’s (PLUG) Advanced Topics presentation, “Multi-App Security Analysis: Looking for Android App Collusion.” The event, hosted by PLUG, will be held next Tuesday, Nov. 19th at 7:00 p.m. at Free Geek, 1731 SE 10th Avenue, Portland, OR (map). Abstract The Android permission model opens up a number of opportunities […]

Read More