|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1256 occurrences of 615 keywords
|
|
|
|
|
Results
Found 1518 publication records. Showing 1518 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu |
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters.  |
PLDI  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
Can reactive synthesis and syntax-guided synthesis be friends? |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vito Kortbeek, Souradip Ghosh, Josiah D. Hester, Simone Campanoni, Przemyslaw Pawelczak |
WARio: efficient code generation for intermittent computing. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink 0003, Redha Gouicem, Tom Spink, Soham Chakraborty 0001, Pramod Bhatotia |
Lasagne: a static binary translator for weak memory model architectures. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers |
PDL: a high-level hardware design language for pipelined processors. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
Efficient approximations for cache-conscious data placement. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Danya Lette, Victor Nicolet |
Recursion synthesis with unrealizability witnesses. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxiang Peng, Mingsheng Ying, Xiaodi Wu 0001 |
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
Finding typing compiler bugs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta |
Hardening attack surfaces with formally proven binary format parsers. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Sound sequentialization for concurrent program verification. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko |
RunTime-assisted convergence in replicated data types. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen 0033, Xinyu Wang 0006 |
WebRobot: web robotic process automation using interactive programming-by-demonstration. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan |
Modular information flow through ownership. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenhao Zhang 0003, Jason D. Hartline, Christos Dimoulas |
Karp: a language for NP reductions. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell 0001, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg 0001, Peter Sewell |
Islaris: verification of machine code against authoritative ISA semantics. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bachir Bendrissou, Rahul Gopinath, Andreas Zeller |
"Synthesizing input grammars": a replication study. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky |
Checking robustness to weak persistency models. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan |
Certified mergeable replicated data types. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Guo 0003, David Cao, Davin Tjong, Jean Yang 0001, Cole Schlesinger, Nadia Polikarpova |
Type-directed program synthesis for RESTful APIs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Karuna Grewal, Loris D'Antoni, Justin Hsu |
P4BID: information flow control in p4. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
Turning manual concurrent memory reclamation into automatic reference counting. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Patterson 0001, Noble Mushtak, Andrew Wagner, Amal Ahmed 0001 |
Semantic soundness for language interoperability. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Milind Chabbi, Murali Krishna Ramanathan |
A study of real-world data races in Golang. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Matsushita 0002, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer |
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
Abstract interpretation repair. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
ANOSY: approximated knowledge synthesis with refinement types for declassification. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Connor, Oskar Wickström |
Quickstrom: property-based acceptance testing with LTL specifications. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
Differential cost analysis with simultaneous potentials and anti-potentials. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Junpeng Zha, Hongjin Liang 0001, Xinyu Feng 0001 |
Verifying optimizations of concurrent programs in the promising semantics. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Greenman |
Deep and shallow types for gradual languages. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao |
Adore: atomic distributed objects with certified reconfiguration. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Canberk Morelli, Jan Reineke 0001 |
Warping cache simulation of polyhedral programs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte |
Progressive polynomial approximations for fast correctly rounded math libraries. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Minki Cho, Sung-Hwan Lee 0001, Dongjae Lee, Chung-Kil Hur, Ori Lahav 0001 |
Sequential reasoning for optimizing compilers under weak memory concurrency. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Polito, Stéphane Ducasse, Pablo Tesone |
Interpreter-guided differential JIT compiler unit testing. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mae Milano, Joshua Turcotti, Andrew C. Myers |
A flexible type system for fearless concurrency. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer |
Compass: strong and compositional library specifications in relaxed memory separation logic. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang |
Synthesizing analytical SQL queries from computation demonstration. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay |
CycleQ: an efficient basis for cyclic equational reasoning. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley |
Low-latency, high-throughput garbage collection. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia |
Quartz: superoptimization of Quantum circuits. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng 0001, Zhenhao Yuan, Chen Zhang |
FreeTensor: a free-form DSL with holistic optimizations for irregular tensor programs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laxman Dhulipala, Guy E. Blelloch, Yan Gu 0001, Yihan Sun 0001 |
PaC-trees: supporting parallel and compressed purely-functional collections. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Yadav, Alex Aiken, Fredrik Kjolstad |
DISTAL: the distributed tensor algebra compiler. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ike Mulder, Robbert Krebbers, Herman Geuvers |
Diaframe: automated verification of fine-grained concurrent programs in Iris. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishen Chen, Charith Mendis, Saman P. Amarasinghe |
All you need is superword-level parallelism: systematic control-flow vectorization with SLP. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanju Chen, Xifeng Yan, Yu Feng 0001 |
Visualization question answering using introspective program synthesis. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingzhe Wang, Jie Liang 0006, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang 0001 |
Odin: on-demand instrumentation with on-the-fly recompilation. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, C.-H. Luke Ong, Fabian Zaiser |
Guaranteed bounds for posterior inference in universal probabilistic programming. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Greenberg 0002, Ryan Beckett, Eric Hayden Campbell |
Kleene algebra modulo theories: a framework for concrete KATs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani |
Hamband: RDMA replicated data types. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su 0001, Tobias Grosser |
IRDL: an IR definition language for SSA compilers. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek |
Deoptless: speculation with dispatched on-stack replacement and specialized continuations. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth 0001, Michael F. P. O'Boyle |
Bind the gap: compiling real software to hardware FFT accelerators. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Christensen 0001, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf |
PyLSE: a pulse-transfer level language for superconductor electronics. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lehmann 0002, Michael Pradel |
Finding the dwarf: recovering precise types from WebAssembly binaries. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Briggs, Pavel Panchekha |
Choosing mathematical function implementations for speed and accuracy. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
Formally verified lifting of C-compiled x86-64 binaries. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Isil Dillig (eds.) |
PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022 |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley |
Exocompilation for productive programming of hardware accelerators. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos |
Computing correctly with inductive relations. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang 0001 |
Software-hardware codesign for efficient in-memory regular pattern matching. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
Landmarks and regions: a robust approach to data extraction. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett |
Leapfrog: certified equivalence for protocol parsers. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Willow Ahrens, Fredrik Kjolstad, Saman P. Amarasinghe |
Autoscheduling for sparse tensor algebra with an asymptotic cost model. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu |
Giallar: push-button verification for the qiskit Quantum compiler. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller 0003, Klaus Ostermann |
A typed continuation-passing translation for lexical effect handlers. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
Scooter & Sidecar: a domain-specific approach to writing secure database migrations. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni 0001 |
Vectorized secure evaluation of decision forests. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski |
Test-case reduction and deduplication almost for free with transformation-based compiler testing. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Reinking, Ningning Xie, Leonardo de Moura 0001, Daan Leijen |
Perceus: garbage free reference counting with reuse. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyeongmin Cho, Sung-Hwan Lee 0001, Azalea Raad, Jeehoon Kang |
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Victor Nicolet |
Phased synthesis of divide and conquer programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Friedman 0001, Erez Petrank, Pedro Ramalhete |
Mirror: making lock-free data structures persistent. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Christensen 0001, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
Wire sorts: a language abstraction for safe hardware composition. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones |
Hashing modulo alpha-equivalence. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Minki Cho, Sung-Hwan Lee 0001, Chung-Kil Hur, Ori Lahav 0001 |
Modular data-race-freedom guarantees in the promising semantics. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Pailoor, Yuepeng Wang 0001, Xinyu Wang 0006, Isil Dillig |
Synthesizing data structure refinements from integrity constraints. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang 0006, Greg Durrett, Osbert Bastani, Isil Dillig |
Web question answering with neurosymbolic program synthesis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang 0001 |
When threads meet events: efficient and precise static race detection with origins. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang 0001 |
Path-sensitive sparse analysis without path conditions. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyi Wang, Yican Sun, Hongfei Fu 0001, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
Quantitative analysis of assertion violations in probabilistic programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu 0003, John Regehr |
Alive2: bounded translation validation for LLVM. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
Gleipnir: toward practical error analysis for Quantum programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Dorde Zikelic |
Proving non-termination by program reversal. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason R. Koenig, Oded Padon, Alex Aiken |
Adaptive restarts for stochastic synthesis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, Devesh Tiwari |
Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner |
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruslan Nikolaev 0001, Binoy Ravindran |
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather |
Developer and user-transparent compiler optimization for interactive applications. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Sound probabilistic inference via guide types. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman |
Proof repair across type equivalences. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wookeun Jung, Thanh Tuan Dao, Jaejin Lee |
DeepCuts: a deep learning optimization framework for versatile GPU workloads. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso |
Compiler-assisted object inlining with value fields. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Erdweg, Tamás Szabó, André Pacak |
Concise, type-safe, and efficient structural diffing. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady, Mohammad Mahdavi |
Polynomial reachability witnesses via Stellensätze. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
Example-guided synthesis of relational queries. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev |
Fast and precise certification of transformers. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1518 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license