Karl Mazurak

According to our database, Karl Mazurak authored at least 4 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Lightweight linear types in system fdegree.

Karl Mazurak, Jianzhou Zhao, Steve Zdancewic

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Lolliproc: to concurrency from classical linear logic via curry-howard and control.

Karl Mazurak, Steve Zdancewic

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008

AURA: a programming language for authorization and audit.

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Evidence-Based Audit.

Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008