Aleksey Nogin

According to our database, Aleksey Nogin authored at least 24 papers between 2000 and 2023.

Collaborative distances:

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

2023

Assured Point Cloud Perception.

Christopher R. Serrano, Aleksey Nogin, Michael A. Warren

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2021

Semantics and Axiomatization for Stochastic Differential Dynamic Logic.

Michael Roberts, Alexei Kopylov, Aleksey Nogin

CoRR, 2021

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.

Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren

Proceedings of the Formal Methods - 24th International Symposium, 2021

2017

A verified messaging system.

William Mansky, Andrew W. Appel, Aleksey Nogin

Proc. ACM Program. Lang., 2017

2014

HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters.

Kirill Minkovich, Corey M. Thibeault, Michael John O'Brien, Aleksey Nogin, Youngkwan Cho, Narayan Srinivasa

IEEE Trans. Neural Networks Learn. Syst., 2014

2012

Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler.

Kirill Minkovich, Narayan Srinivasa, Jose M. Cruz-Albrecht, Youngkwan Cho, Aleksey Nogin

IEEE Trans. Neural Networks Learn. Syst., 2012

2008

On Dynamic Topological Logic of the Real Line.

Maria Nogin, Aleksey Nogin

J. Log. Comput., 2008

2006

Formal compiler construction in a logical framework.

Jason Hickey, Aleksey Nogin

High. Order Symb. Comput., 2006

Formalizing Type Operations Using the "Image" Type Constructor.

Aleksey Nogin, Alexei Kopylov

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

Practical Reflection for Sequent Logics.

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov

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

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

: Designing a Scalable Build Process.

Jason Hickey, Aleksey Nogin

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

A computational approach to reflective meta-reasoning about languages with bindings.

Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Extensible Hierarchical Tactic Construction in a Logical Framework.

Jason Hickey, Aleksey Nogin

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Mechanism for Sequential Consistency in a Distributed Objects System.

Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

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

Compiler implementation in a formal logical framework.

Jason Hickey, Aleksey Nogin, Adam Granicz

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Theory and Implementation of an Efficient Tactic-Based Logical Framework.

Aleksey Nogin

PhD thesis, 2002

Sequent Schema for Derived Rules.

Aleksey Nogin, Jason Hickey

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Quotient Types: A Modular Approach.

Aleksey Nogin

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Markov's Principle for Propositional Type Theory.

Alexei Kopylov, Aleksey Nogin

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Writing Constructive Proofs Yielding Efficient Extracted Programs.

Aleksey Nogin

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

Fast Tactic-Based Theorem Proving.

Jason Hickey, Aleksey Nogin

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000