Brian Larson

11 papers A* 1A 1B 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.
ICLP
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2024 J jnl
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.
Theory Pract. Log. Program.
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 J jnl
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2017 — conf
Gender as a Variable in Natural-Language Processing: Ethical Considerations.
EthNLP@EACL
Brian Larson
2016 J jnl
GraphJet: Real-Time Content Recommendations at Twitter.
Proc. VLDB Endow.
Aneesh Sharma, Jerry Jiang, Praveen Bommannavar, Brian Larson, Jimmy Lin
2016 — conf
Use What You Choose: Applying Computational Methods to Genre Studies in Technical Communication.
SIGDOC
Brian Larson, William Hart-Davidson, Kenneth C. Walker, Douglas M. Walls, Ryan Omizo
2014 — conf
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.
HILT
Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz
2012 A* conf
Earlybird: Real-Time Search at Twitter.
ICDE
Michael Busch, Krishna Gade, Brian Larson, Patrick Lok, Samuel Luckenbill, Jimmy Lin
2002 — conf
Peer Pressure: Distributed Recovery from Attacks in Peer-to-Peer Systems.
NETWORKING Workshops
Pedram Keyani, Brian Larson, Muthukumar Senthil
1993 A conf
Load Testing Software Using Deterministic State Testing.
ISSTA
Alberto Avritzer, Brian Larson