|
|
|
|
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 | Milijana Surbatovich, Limin Jia 0001, Brandon Lucia |
Automatically enforcing fresh and consistent inputs in intermittent systems.  |
PLDI  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benno Stein 0002, Bor-Yuh Evan Chang, Manu Sridharan |
Demanded abstract interpretation. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao 0013, Jihyun Ryoo, Mustafa Karaköy |
Distance-in-time versus distance-in-space. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang 0001 |
Automated conformance testing for JavaScript engines via deep compiler fuzzing. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza |
Specification synthesis with constrained Horn clauses. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshiki Takashima, Ruben Martins, Limin Jia 0001, Corina S. Pasareanu |
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | George Pîrlea, Amrit Kumar 0001, Ilya Sergey |
Practical smart contract sharding with ownership and commutativity analysis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze |
Reticle: a virtual machine for programming modern FPGAs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi |
Viaduct: an extensible, optimizing compiler for secure distributed programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay P. Lim, Santosh Nagarakatte |
High performance correctly rounded math libraries for 32-bit floating point representations. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Fischer, Giovanni Campagna, Euirim Choi, Monica S. Lam |
DIY assistant: a multi-modal end-user programmable virtual assistant. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Central moment analysis for cost accumulators in probabilistic programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, Fabrice Rastello |
IOOpt: automatic derivation of I/O complexity bounds for affine programs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
Concurrent deferred reference counting with constant-time overhead. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev |
Unqomp: synthesizing uncomputation in Quantum circuits. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal |
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Sotoudeh, Aditya V. Thakur |
Provable repair of deep neural networks. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
Beyond the elementary representations of program invariants over algebraic data types. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, Luke Ong |
On probabilistic termination of functional programs with continuous distributions. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen N. Freund, Eran Yahav (eds.) |
PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nilanjana Basu, Claudio Montanari, Jakob Eriksson |
Frequent background polling on a shared thread, using light-weight compiler interrupts. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Gram Kalhauge, Jens Palsberg |
Logical bytecode reduction. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Zhao 0002, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin |
AKG: automatic kernel generation for neural processing units using polyhedral transformations. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Niu 0002, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, Bin Ren |
DNNFusion: accelerating deep neural networks execution with advanced operator fusion. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Koenig, Zhong Shao |
CompCertO: compiling certified open C components. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg 0001 |
RefinedC: automating the foundational verification of C code with refined ownership types. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
RbSyn: type- and effect-guided program synthesis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zuo 0002, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David Castro-Perez, Francisco Ferreira 0001, Lorenzo Gheri, Nobuko Yoshida |
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He 0001, Zhihang Sun, Hongyu Fan |
Satisfiability modulo ordering consistency theory for multi-threaded program verification. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
Retrofitting effect handlers onto OCaml. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zuo 0002, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li 0006, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nengkun Yu, Jens Palsberg |
Quantum abstract interpretation. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum |
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala |
Integration verification across software and hardware for a simple embedded system. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Huaipan Jiang, Haibo Zhang 0005, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang |
Fluid: a framework for approximate concurrency via controlled dependency relaxation. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowen Hu, David Zhao 0001, Herbert Jordan, Bernhard Scholz |
An efficient interpreter for Datalog by de-specializing relations. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
Cyclic program synthesis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongpeng Xu 0001, Binbin Liu, Weijie Feng, Jiang Ming 0002, Qilong Zheng, Jing Li 0047, Qiaoyan Yu |
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Szabó, Sebastian Erdweg, Gábor Bergmann |
Incremental whole-program analysis in Datalog with lattices. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaowei Zhu 0001, Zachary Kincaid |
Termination analysis without the tears. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata, Shigeyuki Sato 0001 |
Reverse engineering for reduction parallelization via semiring polynomials. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar |
Task parallel assembly language for uncompromising parallelism. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh |
Filling typed holes with live GUIs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
Learning to find naming issues with big code and small supervision. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
CoStar: a verified ALL(*) parser. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury |
Concolic program repair. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gefei Zuo, Jiacheng Ma 0001, Andrew Quinn 0001, Pramod Bhatotia, Pedro Fonseca 0001, Baris Kasikci |
Execution reconstruction: harnessing failure reoccurrences for failure reproduction. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka |
SPPL: probabilistic programming with fast exact symbolic inference. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Montagu, Thomas P. Jensen |
Trace-based control-flow analysis. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjin Liang 0001, Xinyu Feng 0001 |
Abstraction for conflict-free replicated data types. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuandao Cai, Peisen Yao, Charles Zhang 0001 |
Canary: practical static detection of inter-thread value-flow bugs. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen |
Porcupine: a synthesizing compiler for vectorized homomorphic encryption. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
Robustness certification with generative models. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
Repairing serializability bugs in distributed database programs via automated schema refactoring. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolei Ren, Michael Ho, Jiang Ming 0002, Yu Lei 0001, Li Li 0029 |
Unleashing the hidden power of compiler optimization on binary code difference: an empirical study. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, Mikel Luján |
PMThreads: persistent memory threads harnessing versioned shadow copies. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf |
CacheQuery: learning replacement policies from hardware caches. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
Towards a verified range analysis for JavaScript JITs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
Validating SMT solvers via semantic fusion. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu |
Efficient handling of string-number conversion. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe |
Constant-time foundations for the new spectre era. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ori Lahav 0001, Udi Boker |
Decidable verification under a causally consistent shared memory. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ao Li 0009, Jemin Andrew Choi, Fan Long |
Securing smart contract with runtime validation. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano |
Debug information validation for optimized code. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang 0001, Murray Cole, Hugh Leather |
Effective function merging in the SSA form. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu 0001 |
On the principles of differentiable quantum programming languages. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan |
Type-directed scheduling of streaming accelerators. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
Inductive sequentialization of asynchronous programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Ritter 0002, Sebastian Hack |
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo |
Repairing and mechanising the JavaScript relaxed memory model. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, R. Kent Dybvig |
Compiler and runtime support for continuation marks. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis |
Ethainter: a smart contract security analyzer for composite vulnerabilities. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken |
First-order quantified separators. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello |
Automated derivation of parametric data movement lower bounds for affine programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Varot Premtoon, James Koppel, Armando Solar-Lezama |
Semantic code search via equational reasoning. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Xiang Gao 0012, Abhik Roychoudhury |
Binary rewriting without control flow recovery. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingxuan He, Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev |
Learning fast and precise numerical analysis. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
Templates and recurrences: better together. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Edelmann, Jad Hamza, Viktor Kuncak |
Zippy LL(1) parsing with derivatives. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis |
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Fast graph simplification for interleaved Dyck-reachability. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Porter, Girish Mururu, Prithayan Barua, Santosh Pande |
BlankIt library debloating: getting what you want instead of cutting what you don't. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella |
Detecting network load violations for distributed control planes. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner |
Gillian, part i: a multi-language platform for symbolic execution. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Hwan Lee 0001, Minki Cho, Anton Podkopaev, Soham Chakraborty 0001, Chung-Kil Hur, Ori Lahav 0001, Viktor Vafeiadis |
Promising 2.0: global optimizations in relaxed memory concurrency. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiaochu Chen, Xinyu Wang 0006, Xi Ye, Greg Durrett, Isil Dillig |
Multi-modal synthesis of regular expressions. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Juergen Boehm |
Towards an API for the real numbers. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrakana Nandi, Max Willsey, Adam Anderson 0004, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock |
Synthesizing structured CAD models with equality saturation and inverse transformations. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
Proving data-poisoning robustness in decision trees. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usman 0024, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid |
A study of the learnability of relational properties: model counting meets machine learning (MCML). |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai 0007, Kim Laine, Madan Musuvathi |
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind |
The essence of Bluespec: a core language for rule-based hardware design. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruyi Ji, Jingjing Liang, Yingfei Xiong 0001, Lu Zhang 0023, Zhenjiang Hu |
Question selection for interactive program synthesis. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Suchy, Simone Campanoni, Nikos Hardavellas, Peter A. Dinda |
CARAT: a case for virtual memory through compiler- and runtime-based address translation. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |
Silq: a high-level quantum language with safe uncomputation and intuitive semantics. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte |
Debugging and detecting numerical errors in computation with posits. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August |
SCAF: a speculation-aware collaborative dependence analysis framework. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license