- SQLizer: Query Synthesis from Natural Language . Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig. In OOPSLA’17.
- Bottom-up Context-Sensitive Pointer Analysis for Java. Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig. In APLAS 2015.
- Optimal Guard Synthesis for Memory Safety. Thomas Dillig, Isil Dillig, Swarat Chaudhuri. CAV 2014.
- Consolidation of Queries with User-Defined Functions . Marcelo Sousa, Isil Dillig, Dimitrios Vytionitis, Thomas Dillig, Christos Gkantsidis. PLDI 2014.
- Automated Inference of Library Specifications for Source-Sink Property Verification. Haiyan Zhu, Thomas Dillig, Isil Dillig. APLAS 2013.
- Inductive Invariant Generation via Abductive Inference .
Isil Dillig, Thomas Dillig, Boyang Li, Ken McMillan. OOPSLA 2013. - EXPLAIN: A Tool for Performing Abductive Inference .
Isil Dillig, Thomas Dillig. CAV 2013. - Synthesis of Circular Compositional Program Proofs via Abduction .
Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv. TACAS 2013. - Minimum Satisfying Assignments for SMT. Isil Dillig, Thomas Dillig, Ken McMillan, Alex Aiken. Computer Aided Verification (CAV) 2012.
- Automated Error Diagnosis Using Abductive Inference. Isil Dillig, Thomas Dillig, Alex Aiken. In Programming Languages Design and Implementation (PLDI) 2012.
- Simplifying Loop Invariant Generation Using Splitter Predicates Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the International Conference on Computer Aided Verification (CAV) 2011.
- Precise and Compact Modular Procedure Summaries for Heap
Manipulating Programs Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv. Programming Language Design and
Implementation (PLDI) 2011. - Precise Reasoning for Programs Using Containers Isil Dillig, Thomas Dillig, Alex Aiken. Principles of Programming Languages (POPL) 2011. Austin, TX.
- Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants Isil Dillig, Thomas Dillig, Alex Aiken. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2010.
- Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Isil Dillig, Thomas Dillig, Alex Aiken. Static Analysis Symposium (SAS) 2010. Perpignan, France. - Reasoning About the Unknown in Static Analysis Isil Dillig, Thomas Dillig, Alex Aiken. Research highlight, Communications of the ACM (CACM), August 2010.
- Fluid Updates: Beyond Strong vs. Weak Updates Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the European
Symposium on Programming (ESOP) 2010. Paphos, Cyprus. (Conference version without appendix) - Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of Computer Aided Verification (CAV) 2009. Grenoble, France.
- SAIL: Static Analysis Intermediate Language with a Two-Level Representation Isil Dillig, Thomas Dillig, Alex Aiken. Technical Report, Stanford University 2009.
- Sound, Complete, and Scalable Path-Sensitive AnalysisIsil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation (PLDI), June 2008. Tucson, AZ.
- The CLOSER: Automating Resource Management in Java Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra. Proceedings of the International Symposium on Memory Management (ISMM), June 2008. Tucson, AZ.
- Static Error Detection Using Semantic Inconsistency Inference Isil Dillig,
Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 435-446, June 2007. San Diego, CA. - Biasing simple choices by manipulating relative visual attention. Armel, K. Carrie, Aurelie Beaumel, and Antonio Rangel. Judgment and Decision making 3.5 (2008): 396-403.
We developed groundbreaking, AI-powered ERP synthesis technology based on years of academic research. We are pushing the innovation frontier of AI, beyond Machine Learning, and revolutionizing total cost of ownership.
We do things differently
Our ERP is a custom platform assembled from basic building blocks using AI, not a list of monolithic features. This is how we can support every possible ERP use case and customization – and provide a fixed, up-front price.
We leverage our custom AI technology to automatically combine specified building blocks into a customized ERP. While other ERP companies pay consultants to write the same code blocks over and over again, our technology automates coding, so we can spend time to truly understand your business goals and custom build your ERP exactly to your needs, passing the cost savings on to you.
How we do it
Starting with your ERP Blu-Print, we build a precise model of your company and its processes, specifying displays, reports and analytics. Next, we use our AI-powered synthesis technology to automatically generate your customized ERP using our building blocks.
Benefits
• Value of an affordable, custom ERP at the ease of a configured ERP.
• Our model enables advanced analytics and modeling.
• As our platform evolves and is upgraded, the model stays the same and you’re always using the latest version.
We developed groundbreaking, AI-powered ERP synthesis technology based on years of academic research. We are pushing the innovation frontier of AI, beyond Machine Learning, and revolutionizing total cost of ownership.
An ERP for everyone
Blu Sphinx ERP runs on anything you run your business on – Windows, MacOS, Linux, mobile devices, and any combination. Blu Sphinx is a full-featured desktop application automatically updated and tailored to your business. You get optimal performance on any hardware, without relying on second-rate web apps.

Publications
Our technology is based on scientific research. The list of publications below features some of our academic work related to the technology we developed for Blu Sphinx.
Thought leadership
We are experts in AI and ERP technologies, and are frequently invited to give presentations to other experts in the field. Here are some of our recent talks:
TITLE
AUDIENCE
Constraint-Based Analysis in the Presence of Uncertainty and Imprecision
Invited talk at Microsoft Research Redmond (MSR) attended by top 100 MSR researchers and executives
The future of Cyber Security
Private high-profile committee on cyber security including Director of the NSA, commander of US Cyber Command, military leaders and executives of large industrial groups.
AI & Data: Strategic IT perspective
300 IT executives and managers of global financial services firm
Cyber Security Strategic Workshop
Top 15 IT executives (incl. SVP, CTO, CISO, Risk, Cyber Security) of global company
Concrete steps to increase Cyber Security and Productivity of your business
200 Accounting and Tax professionals at annual tax conference in Texas
AI: Myths & realities, applications, and key issues
20 senior officers from French military Joint Staff (Air Force, Navy, Army)
Quantum Computing: Myths & Realities
20 senior executives, military leaders, and entrepreneurs at private seminar
Cognitive Science: Definitions and Practical Applications
80 expert officers from French Army and 20 faculty from top French higher-education institutions
Inductive Invariant Generation via Abductive Inference
300+ top academic and industrial researchers in Programming Languages and Program Verification at OOPSLA scientific conference