73 entries « 2 of 4 »
53.

Lu, Yanxin; Chaudhuri, Swarat; Jermaine, Chris; Melski, David

Program splicing Inproceedings

In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 338–349, 2018.

Links | BibTeX | Tags:

52.

Valkov, Lazar; Chaudhari, Dipak; Srivastava, Akash; Sutton, Charles; Chaudhuri, Swarat

HOUDINI: Lifelong Learning as Program Synthesis Inproceedings

In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada, pp. 8701–8712, 2018.

Links | BibTeX | Tags: Data-Efficient Learning, Neurosymbolic Programming

51.

Gehr, Timon; Mirman, Matthew; Drachsler-Cohen, Dana; Tsankov, Petar; Chaudhuri, Swarat; Vechev, Martin T.

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation Inproceedings

In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA, pp. 3–18, 2018.

Links | BibTeX | Tags: Safe Systems

50.

Wang, Yue; Chaudhuri, Swarat; Kavraki, Lydia E.

Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives Inproceedings

In: Algorithmic Foundations of Robotics XIII, Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics, WAFR 2018, Mérida, Mexico, December 9-11, 2018, pp. 127–143, 2018.

Links | BibTeX | Tags:

49.

Feng, Yu; Martins, Ruben; Geffen, Jacob Van; Dillig, Isil; Chaudhuri, Swarat

Component-based synthesis of table consolidation and transformation tasks from examples Inproceedings

In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 422–436, 2017.

Links | BibTeX | Tags:

48.

Murali, Vijayaraghavan; Chaudhuri, Swarat; Jermaine, Chris

Bayesian specification learning for finding API usage errors Inproceedings

In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 151–162, 2017.

Links | BibTeX | Tags:

47.

Wang, Yue; Dantam, Neil T.; Chaudhuri, Swarat; Kavraki, Lydia E.

Task and Motion Policy Synthesis as Liveness Games Inproceedings

In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pp. 536, 2016.

Links | BibTeX | Tags:

46.

Yaghmazadeh, Navid; Klinger, Christian; Dillig, Isil; Chaudhuri, Swarat

Synthesizing transformations on hierarchically structured data Inproceedings

In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 508–521, 2016.

Links | BibTeX | Tags:

45.

Dantam, Neil T.; Kingston, Zachary K.; Chaudhuri, Swarat; Kavraki, Lydia E.

Incremental Task and Motion Planning: A Constraint-Based Approach Inproceedings

In: Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18 - June 22, 2016, 2016.

Links | BibTeX | Tags: Robotics and Cyber-Physical Systems

44.

Kido, Kengo; Chaudhuri, Swarat; Hasuo, Ichiro

Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis Inproceedings

In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 229–249, 2016.

Links | BibTeX | Tags:

43.

Chaudhuri, Swarat; Farzan, Azadeh (Ed.)

Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I Proceeding

Springer, vol. 9779, 2016, ISBN: 978-3-319-41527-7.

Links | BibTeX | Tags:

42.

Chaudhuri, Swarat; Farzan, Azadeh (Ed.)

Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II Proceeding

Springer, vol. 9780, 2016, ISBN: 978-3-319-41539-0.

Links | BibTeX | Tags:

41.

Kido, Kengo; Chaudhuri, Swarat; Hasuo, Ichiro

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Inproceedings

In: 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015, pp. 11–22, 2015.

Links | BibTeX | Tags:

40.

Huang, Zhenqi; Wang, Yu; Mitra, Sayan; Dullerud, Geir E.; Chaudhuri, Swarat

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm Inproceedings

In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 7434–7439, 2015.

Links | BibTeX | Tags:

39.

Feser, John K.; Chaudhuri, Swarat; Dillig, Isil

Synthesizing data structure transformations from input-output examples Inproceedings

In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 229–239, 2015.

Links | BibTeX | Tags: Program Synthesis

38.

Beyene, Tewodros A.; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey

Recursive Games for Compositional Program Synthesis Inproceedings

In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, pp. 19–39, 2015.

Links | BibTeX | Tags:

37.

Lu, Yanxin; Warren, Joe; Jermaine, Christopher M.; Chaudhuri, Swarat; Rixner, Scott

Grading the Graders: Motivating Peer Graders in a MOOC Inproceedings

In: Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015, pp. 680–690, 2015.

Links | BibTeX | Tags:

36.

Dillig, Thomas; Dillig, Isil; Chaudhuri, Swarat

Optimal Guard Synthesis for Memory Safety Inproceedings

In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 491–507, 2014.

Links | BibTeX | Tags:

35.

Drummond, Anna; Lu, Yanxin; Chaudhuri, Swarat; Jermaine, Christopher M.; Warren, Joe; Rixner, Scott

Learning to Grade Student Programs in a Massive Open Online Course Inproceedings

In: 2014 IEEE International Conference on Data Mining, ICDM 2014, Shenzhen, China, December 14-17, 2014, pp. 785–790, 2014.

Links | BibTeX | Tags:

34.

Nedunuri, Srinivas; Prabhu, Sailesh; Moll, Mark; Chaudhuri, Swarat; Kavraki, Lydia E.

SMT-based synthesis of integrated task and motion plans from plan outlines Inproceedings

In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 655–662, 2014.

Links | BibTeX | Tags: Robotics and Cyber-Physical Systems

73 entries « 2 of 4 »