◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Keil

8 papers hereh-index 8123 citations15 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author8

Across the 8 of 8 papers where every author was matched, so the position is known.

fields
  • cs.PL7
  • cs.FL1
same name
  • M. Keil — 307 papers
  • M. Keil — 45 papers, h 71
  • M. Keil — 15 papers, h 32
  • M. Keil — 8 papers, h 13
  • M. Keil — 2 papers, h 22
  • M. Keil — 2 papers, h 16

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20132017
most citedTreatJS: Higher-Order Contracts for JavaScript

8 citations · 12 across the 7 of their papers we have counts for

collaborators
Showing 2013 · cs.PLShow all

3 papers · 2 filters

cs.PL2013

On the Proxy Identity Crisis

Matthias Keil, Peter Thiemann

A proxy, in general, is an object mediating access to an arbitrary target object. The proxy is then intended to be used in place of the target object. Ideally, a proxy is not disti…

cs.PL2013

Efficient Dynamic Access Analysis Using JavaScript Proxies

Matthias Keil, Peter Thiemann

JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular…

cs.PL2013★ 1 cited

Type-based Dependency Analysis for JavaScript

Matthias Keil, Peter Thiemann

Dependency analysis is a program analysis that determines potential data flow between program points. While it is not a security analysis per se, it is a viable basis for investiga…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.