Stephen Chong

1. Truthful Mechanisms for Agents that Value Privacy
   2011/11/23 by Yiling Chen, Stephen Chong, Chen, Yiling +7 · 2 citations
   Decision Sciences · Economics, Econometrics and Finance · Computer Science · #Auction Theory and Applications #Law, Economics, and Judicial Systems #Privacy-Preserving Technologies in Data
2. FormuLog: Datalog for static analysis involving logical formulae
   2018/09/17 by Aaron Bembenek, Stephen Chong, Bembenek, Aaron +1 · 1 voice
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
3. Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
   2024/08/26 by Aaron Bembenek, Bembenek, Aaron, Michael Greenberg +3 · 1 citation
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Programming Languages (cs.PL)