Brian E. Aydemir

According to our database, Brian E. Aydemir authored at least 4 papers between 2003 and 2008.

Collaborative distances:

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

2008

Engineering formal metatheory.

Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2006

Nominal Reasoning Techniques in Coq: (Extended Abstract).

Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

MetaPRL - A Modular Logical Environment.

Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003