HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://davisjam.github.io/service/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Mon, 29 Dec 2025 03:03:35 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 4857:2DDCFF:82DB42:931637:6951ED2F
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 02:53:35 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210050-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766976815.280220,VS0,VE205
vary: Accept-Encoding
x-fastly-request-id: ea98adbe6fe1cfbaa6c02d96ac6bcd9d997bfee0
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 24 Dec 2025 23:54:43 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"694c7d43-2242"
expires: Mon, 29 Dec 2025 03:03:35 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 7947:2BC55:82F2BE:933037:6951ED2C
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 02:53:35 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210050-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766976815.498470,VS0,VE207
vary: Accept-Encoding
x-fastly-request-id: d0079b8e89afb8ce21f43eb7e3150171164b416b
content-length: 2719
Service - Duality Lab I try to do my part to support the research community.
Conferences ISSTA 2024 program committee ESEC/FSE 2023 program committee LCTES 2023 program committee SCORED 2023 program committee ASE 2022 doctoral symposium committee SCORED 2022 program committee ASE 2021 program committee ICSE 2021 demonstrations committee ESEC/FSE 2021 artifact committee ESEC/FSE 2020 artifact committee CGO 2019 artifact committee Journals Reviewer, IEEE Transactions on Software Engineering (TSE) Reviewer, Springer Empirical Software Engineering (EMSE) Software My lab maintains software that assists in improving software quality.
Here are the tools we currently support:
safe-regex : Check if your regexes are linear-time. The npm module gets 76M downloads/month. The project has 5M dependents amongst GitHub projects.vuln-regex-detector : Ensemble-based approach to check if your regexes are linear-time. Includes variant testing.Writings My lab prepares writeups to summarize our research findings in ways that can benefit the practitioner community. You can read them here . These appear to be helpful — 68,000 visitors and counting!
