Robert J. Simmons

According to our database, Robert J. Simmons authored at least 22 papers between 2008 and 2025.

Collaborative distances:

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

2025

Finite-Choice Logic Programming.

Chris Martens, Robert J. Simmons, Michael Arntzenius

Proc. ACM Program. Lang., 2025

2021

Inbox Games: Poetics and Authoring Support.

Chris Martens, Robert J. Simmons

Proceedings of the Interactive Storytelling, 2021

2014

Structural Focalization.

Robert J. Simmons

ACM Trans. Comput. Log., 2014

2013

A logical correspondence between natural semantics and abstract machines.

Robert J. Simmons, Ian Zerny

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Profile Jeff Dean: Big data at Google.

Edward Z. Yang, Robert J. Simmons

XRDS, 2012

Leah Busque: herding TaskRabbits.

Robert J. Simmons

XRDS, 2012

Dickie George: looking back on 40 years at the NSA.

Robert J. Simmons

XRDS, 2012

Relating Reasoning Methodologies in Linear Logic and Process Algebra

Yuxin Deng, Iliano Cervesato, Robert J. Simmons

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

Constructive Provability Logic

Robert J. Simmons, Bernardo Toninho

CoRR, 2012

2011

Products of weighted logic programs.

Shay B. Cohen, Robert J. Simmons, Noah A. Smith

Theory Pract. Log. Program., 2011

Logical approximation for program analysis.

Robert J. Simmons, Frank Pfenning

High. Order Symb. Comput., 2011

Cameron Wilson: ACM's man in Washington.

Robert J. Simmons

XRDS, 2011

Ed Boyden: the synthetic neurobiologist.

Robert J. Simmons

XRDS, 2011

Rob Bernard: Microsoft's green commitment.

Robert J. Simmons

XRDS, 2011

2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

Profile Luis von Ahn: ReCaptcha, games with a purpose.

Robert J. Simmons

XRDS, 2010

2009

Linear logical approximations.

Robert J. Simmons, Frank Pfenning

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Substructural Operational Semantics as Ordered Logic Programming.

Frank Pfenning, Robert J. Simmons

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Proofs from tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Dynamic Programming Algorithms as Products of Weighted Logic Programs.

Shay B. Cohen, Robert J. Simmons, Noah A. Smith

Proceedings of the Logic Programming, 24th International Conference, 2008

SASyLF: an educational proof assistant for language theory.

Jonathan Aldrich, Robert J. Simmons, Key Shin

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

Linear Logical Algorithms.

Robert J. Simmons, Frank Pfenning

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008