Filters








13 Hits in 4.7 sec

Configuration synthesis for programmable analog devices with Arco

Sara Achour, Rahul Sarpeshkar, Martin C. Rinard
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
PLDI '16 Month d-d, 2016, Santa Barbara, CA, USA Copyright c 2016 ACM 978-1-nnnn-nnnn-n/yy/mm. . . $15.00 DOI: http://dx.doi.org/10.1145/nnnnnnn.nnnnnnn system Table 2 . 2 Utilized Analog Hardware Components  ...  Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM.  ... 
doi:10.1145/2908080.2908116 dblp:conf/pldi/AchourSR16 fatcat:smjbedtlkrbztkazbs7unqlyt4

Event-driven network programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Černý
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Acknowledgments Many thanks to the anonymous PLDI reviewers for offering helpful and constructive comments, as well as Zach Tatlock for shepherding our paper and providing useful feedback.  ...  PLDI ' 16 , 16 June 13 -17, 2016, Santa Barbara, CA, USA Copyright c 2016 ACM 978-1-4503-4261-2/16/06. . . $15.00 DOI: http://dx.doi.org/10.1145/2908080.2908097 Figure 1 : 1 and s 4 are connected to  ...  Our main contributions are as follows. † The PLDI 2016 Artifact Evaluation Committee (AEC) found that our prototype system "met or exceeded expectations." • We propose a new semantic correctness condition  ... 
doi:10.1145/2908080.2908097 dblp:conf/pldi/McClurgHFC16 fatcat:yeb5gkkqkfaefpr4u22fthugx4

Input responsiveness: using canary inputs to dynamically steer approximation

Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, Lingjia Tang
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
PLDI'16, June 13-17, 2016, Santa Barbara, CA, USA c 2016 ACM. 978-1-4503-4261-2/16/06...$15.00 http://dx.doi.org/10.1145/2908080.2908087 Calibration computes both exact and approximate results, then compares  ... 
doi:10.1145/2908080.2908087 dblp:conf/pldi/LaurenzanoHSMMT16 fatcat:vnqayw7manffhd67ujannbtyyi

Event-driven network programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Černý
2016 SIGPLAN notices  
Acknowledgments Many thanks to the anonymous PLDI reviewers for offering helpful and constructive comments, as well as Zach Tatlock for shepherding our paper and providing useful feedback.  ...  PLDI ' 16 , 16 June 13 -17, 2016, Santa Barbara, CA, USA Copyright c 2016 ACM 978-1-4503-4261-2/16/06. . . $15.00 DOI: http://dx.doi.org/10.1145/2908080.2908097 Figure 1 : 1 and s 4 are connected to  ...  Our main contributions are as follows. † The PLDI 2016 Artifact Evaluation Committee (AEC) found that our prototype system "met or exceeded expectations." • We propose a new semantic correctness condition  ... 
doi:10.1145/2980983.2908097 fatcat:zuiktfwr2bctviz6wxgabd7sza

Statistical similarity of binaries

Yaniv David, Nimrod Partush, Eran Yahav
2016 SIGPLAN notices  
PLDI '16, June 13 -17, 2016, Santa Barbara, CA, USA Copyright c 2016 ACM 978-1-4503-4261-2/16/06. . . $15.00 DOI: http://dx.doi.org/10.1145/2908080.2908126 Figure 2 . 2 Heartbleed vulnerability code  ...  Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM.  ... 
doi:10.1145/2980983.2908126 fatcat:3stb4vrpvbci7kac4soik3irbm

Configuration synthesis for programmable analog devices with Arco

Sara Achour, Rahul Sarpeshkar, Martin C. Rinard
2016 SIGPLAN notices  
PLDI '16 Month d-d, 2016, Santa Barbara, CA, USA Copyright c 2016 ACM 978-1-nnnn-nnnn-n/yy/mm. . . $15.00 DOI: http://dx.doi.org/10.1145/nnnnnnn.nnnnnnn system Table 2 . 2 Utilized Analog Hardware Components  ...  Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM.  ... 
doi:10.1145/2980983.2908116 fatcat:6637cx2tgbac3ak65lm5myqdgu

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution [article]

Anders Miltner and Adrian Trejo Nuñez and Ana Brendel and Swarat Chaudhuri and Isil Dillig
2021 arXiv   pre-print
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (Santa Barbara, CA, USA) (PLDI ’16).  ...  In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (Portland, OR, USA) (PLDI ’15).  ... 
arXiv:2107.06253v2 fatcat:36h2qvwupbecrpyy7w3cys4pjy

[Front cover]

2020 2020 IEEE 6th World Forum on Internet of Things (WF-IoT)  
Moderators: Mehmet Can Panelists: Chandra Krintz, UC Santa Barbara Chandra Krintz is a Professor of Computer Science at the University of California, Santa Barbara (UCSB) and co-founder and Chief Scientist  ...  Callahan has worked for Xerox Corporation in Palo Alto, CA USA, NASA Goddard Space Flight Center in Greenbelt, MD USA, and IBM Corporation. Eric Simone, Founder and CEO of ClearBlade, Inc.  ... 
doi:10.1109/wf-iot48130.2020.9221244 fatcat:nfrea7jitzh4tpn5k4sg3bsnmq

TASO: Time and Space Optimization for Memory-Constrained DNN Inference [article]

Yuan Wen, Andrew Anderson, Valentin Radu, Michael F.P. O'Boyle, David Gregg
2020 arXiv   pre-print
In PLDI (Santa Barbara, CA, USA). 209-223. [22] H. Wang, R. K. Katzschmann, S. Teng, B. Araki, L. GiarrÃľ, and D. Rus. 2017.  ...  Courville. 2016. Towards End-to-End Speech Recognition with Deep Convolutional Neural Networks. In INTERSPEECH. Manuscript submitted to ACM  ... 
arXiv:2005.10709v1 fatcat:yrn62wc5ijd3rp5unr2kxwg2gi

SolType: Refinement Types for Solidity [article]

Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
2021 arXiv   pre-print
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (Santa Barbara, CA, USA) (PLDI '16).  ...  [cas 2018b].  ... 
arXiv:2110.00677v1 fatcat:zxdefj4dyrcxfpzbgpcdy4a7iu

A relational logic for higher-order programs

ALEJANDRO AGUIRRE, GILLES BARTHE, MARCO GABOARDI, DEEPAK GARG, PIERRE-YVES STRUB
2019 Journal of functional programming  
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. 57-69.  ...  In POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. 365-377.  ... 
doi:10.1017/s0956796819000145 fatcat:yxlwrfjjevgpxmo5ulbie5gsn4

A Relational Logic for Higher-Order Programs [article]

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2017 arXiv   pre-print
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. 57-69.  ...  In POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. 365-377.  ... 
arXiv:1703.05042v1 fatcat:o6w2un7m3zfrndpj2lagsc7zom

CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code [article]

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
2019 arXiv   pre-print
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Im- plementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pages 665-681, 2016. [58] G.  ...  In Proceed- ings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XI, pages 85-96, New York, NY, USA, 2004. ACM.  ... 
arXiv:1711.11396v3 fatcat:pv6jpzcytncjllnm7v76ae4viy