~/talks

Luis Garcia

what they talk about

all 9 in the filters

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 7 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Epistemic Logic for Polyglots (Short Paper)PEPM 20262026-01-11
Proposes using epistemic S4 modal logic as a propositions-as-types foundation for polyglot programs, mapping agents to languages and deriving a glue calculus…
Talk on
Design Principles for an Event-Driven ArchitectureCommit Conf 20192019-11-22
Covers design principles that connect microservices, Domain-Driven Design and event-driven architecture, with practical examples and governance considerations…
Talk in Spanish on
Who’s in Charge of Your Favorite Programming Language? 2019 Edition!Commit Conf 20192019-11-22
A comparative survey of programming languages (Java, JavaScript, Python, Go, Ruby, Groovy, Kotlin, PHP, Clojure, etc.) that evaluates each language’s…
Talk in Spanish on
See No Evil, Hear No Evil, Feel No Evil26th USENIX Security Symposium (USENIX Security '17)2017-08-16
Claims a firmware- and PC-independent verification scheme that combines Shazam-style peak constellations from microphone recordings, real-time spatial tracking…
Talk on
Accessibility Testing or: How I Learned to Stop Worrying and Ignore WCAGInclusive Design 24 (#id24) 20162016-05-19
Argues that knowing when not to apply WCAG is as important as applying it, and lists concrete exceptions, thresholds and fixes: controls need programmatic…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.