Max Taylor

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 5

Top Topics

Information Flow

Dynamic Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
Cocoon: Static Information Flow Control in Rust. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. CoRR (2022)
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. ASE (2022)
Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles. DSN (2021)
Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles. CoRR (2021)
Ethel Quayle, Max Taylor
Corrigendum to "Social networking as a nexus for engagement and exploitation of young people" [Inform Secur Tech Rep 16 (2) (2011) 44-50]. Inf. Secur. Tech. Rep. 17 (1-2) (2012)
Ethel Quayle, Max Taylor
Social networking as a nexus for engagement and exploitation of young people. Inf. Secur. Tech. Rep. 16 (2) (2011)
Ethel Quayle, Max Taylor
Model of Problematic Internet Use in People with a Sexual Interest in Children. Cyberpsychology Behav. Soc. Netw. 6 (1) (2003)
Ethel Quayle, Max Taylor
Child Seduction and Self-Representation on the Internet. Cyberpsychology Behav. Soc. Netw. 4 (5) (2001)