Brian Larson

According to our database, Brian Larson authored at least 11 papers between 1993 and 2025.

Collaborative distances:

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

2025

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025

2024

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Theory Pract. Log. Program., 2024

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

CoRR, 2024

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2017

Gender as a Variable in Natural-Language Processing: Ethical Considerations.

Brian Larson

Proceedings of the First ACL Workshop on Ethics in Natural Language Processing, 2017

2016

GraphJet: Real-Time Content Recommendations at Twitter.

Aneesh Sharma, Jerry Jiang, Praveen Bommannavar, Brian Larson, Jimmy Lin

Proc. VLDB Endow., 2016

Use What You Choose: Applying Computational Methods to Genre Studies in Technical Communication.

Brian Larson, William Hart-Davidson, Kenneth C. Walker, Douglas M. Walls, Ryan Omizo

Proceedings of the 34th ACM International Conference on the Design of Communication, 2016

2014

Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.

Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2012

Earlybird: Real-Time Search at Twitter.

Michael Busch, Krishna Gade, Brian Larson, Patrick Lok, Samuel Luckenbill, Jimmy Lin

Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

2002

Peer Pressure: Distributed Recovery from Attacks in Peer-to-Peer Systems.

Pedram Keyani, Brian Larson, Muthukumar Senthil

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

1993

Load Testing Software Using Deterministic State Testing.

Alberto Avritzer, Brian Larson

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993