Search Results - boon+loo

3 Results
Sort By:

NetSpec: An Automatic And Fast Network Specification Synthesis Toolkit

A specification-by-example toolkit that generates formal network specifications using only input-output examples.

Published: 11/19/2024
Inventor(s):
Boon Loo, Haoxian Chen, Mayur Naik, Chenyuan Wu, Mukund Raghothaman
Keywords(s):
Software
Category(s):
Technology Classifications > Computer Information Systems

Efficient Data Processing: TeShu Unleashes Speed, Adaptability, And Simplified Optimization

A versatile system that optimizes and adapts data shuffling in distributed systems, simplifying complex operations and enhancing overall performance.

Published: 6/18/2024
Inventor(s):
Boon Loo, Vincent Liu, Qizhen Zhang, Jiacheng Wu
Keywords(s):
Data Science, Software
Category(s):
Technology Classifications > Computer Information Systems

NetEgg: Automated code generation for software-defined networks

Software synthesis for fast and easy network configuration

Published: 10/16/2023
Inventor(s):
Boon Loo
Keywords(s):
 
Category(s):
Technology Classifications > Computer Information Systems