FlashProfile: a framework for synthesizing data profiles von Padhi, Saswat, Jain, Prateek, Perelman, Daniel, Polozov, Oleksandr, Gulwani, Sumit, Millstein, Todd

Volltext

The SyGuS Language Standard Version 2.1 von Padhi, Saswat, Polgreen, Elizabeth, Raghothaman, Mukund, Reynolds, Andrew, Udupa, Abhishek

Volltext bestellen

Predicting User Experience on Laptops from Hardware Specifications von Padhi, Saswat, Bhasin, Sunil K, Ammu, Udaya K, Bergman, Alex, Knies, Allan

Volltext bestellen

A TABLET COMPOSITION OF MIRABEGRON von VEMULA, Sathyanarayana, PADHI, Saswat Abhishek, KASHID, Namdev

Volltext bestellen

Data-Driven Inference of Representation Invariants von Miltner, Anders, Padhi, Saswat, Millstein, Todd, Walker, David

Volltext bestellen

The SyGuS Language Standard Version 2.1 von Padhi, Saswat, Polgreen, Elizabeth, Raghothaman, Mukund, Reynolds, Andrew, Udupa, Abhishek

Volltext

On Scaling Data-Driven Loop Invariant Inference von Bhatia, Sahil, Padhi, Saswat, Natarajan, Nagarajan, Sharma, Rahul, Jain, Prateek

Volltext bestellen

Overfitting in Synthesis: Theory and Practice (Extended Version) von Padhi, Saswat, Millstein, Todd, Nori, Aditya, Sharma, Rahul

Volltext bestellen

SyGuS-Comp 2018: Results and Analysis von Alur, Rajeev, Fisman, Dana, Padhi, Saswat, Singh, Rishabh, Udupa, Abhishek

Volltext bestellen

LoopInvGen: A Loop Invariant Generator based on Precondition Inference von Padhi, Saswat, Sharma, Rahul, Millstein, Todd

Volltext bestellen

Systems, methods, and computer-readable media for improved table identification using a neural network von Singh, Rishabh, Padhi, Saswat, Zorn, Benjamin Goth, Brockschmidt, Marc Manuel Johannes, Choudhury, Pallavi, Polozov, Oleksandr

Volltext bestellen

Predicting User Experience on Laptops from Hardware Specifications von Padhi, Saswat, Bhasin, Sunil K, Ammu, Udaya K, Bergman, Alex, Knies, Allan

Volltext

Data-driven precondition inference with learned features von Padhi, Saswat, Sharma, Rahul, Millstein, Todd

Volltext

LoopInvGen: A Loop Invariant Generator based on Precondition Inference von Padhi, Saswat, Sharma, Rahul, Millstein, Todd

Volltext

FlashProfile: A Framework for Synthesizing Data Profiles von Padhi, Saswat, Jain, Prateek, Perelman, Daniel, Polozov, Oleksandr, Gulwani, Sumit, Millstein, Todd

Volltext

On Scaling Data-Driven Loop Invariant Inference von Bhatia, Sahil, Padhi, Saswat, Nagarajan Natarajan, Sharma, Rahul, Jain, Prateek

Volltext

IoT Event Detector Correctness Verification von Whalen, Michael William, Gupta, Rajat, Apicelli, Andrew, Padhi, Saswat, Pruzhanskiy, Roman, Sharma, Vaibhav Bhushan, Yadav, Raveesh, Das, Ankush, Gacek, Andrew Jude, Dias Pauer, Fernando, Bayless, Samuel, Shah, Harshil Rajeshkumar, Jaganathan, Dhivashini

Volltext bestellen

Data-Driven Inference of Representation Invariants von Miltner, Anders, Padhi, Saswat, Millstein, Todd, Walker, David

Volltext

IoT event detector correctness verification von Whalen, Michael William, Gupta, Rajat, Apicelli, Andrew, Padhi, Saswat, Pruzhanskiy, Roman, Sharma, Vaibhav Bhushan, Yadav, Raveesh, Das, Ankush, Gacek, Andrew Jude, Dias Pauer, Fernando, Bayless, Samuel, Shah, Harshil Rajeshkumar, Jaganathan, Dhivashini

Volltext bestellen

SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR IMPROVED TABLE IDENTIFICATION USING A NEURAL NETWORK von PADHI, Saswat, SINGH, Rishabh, POLOZOV, Oleksandr, BROCKSCHMIDT, Marc Manuel Johannes, ZORN, Benjamin Goth, CHOUDHURY, Pallavi

Volltext bestellen