Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
901.
Bluffs: Bluetooth Forward and Future Secrecy Attacks (dl.acm.org)
2 points
WelcomeShorty
3 years ago
discuss
902.
Bluffs: Bluetooth Forward and Future Secrecy Attacks and Defenses (dl.acm.org)
2 points
28304283409234
3 years ago
discuss
903.
Origins of the D Programming Language (2020) (dl.acm.org)
2 points
wrx100
3 years ago
discuss
904.
Frustration: Still a Common User Experience (dl.acm.org)
2 points
tokai
3 years ago
discuss
905.
A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing (dl.acm.org)
2 points
PaulHoule
3 years ago
discuss
906.
Towards Modern Development of Cloud Applications (dl.acm.org)
2 points
simonpure
3 years ago
discuss
907.
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog (dl.acm.org)
2 points
matt_d
3 years ago
discuss
908.
Microsecond-Scale Tail Latency with Approximate Optimal Scheduling [pdf] (dl.acm.org)
2 points
abhi9u
3 years ago
discuss
909.
Alternative Possibilities for Research and Futuring in Social Computing (dl.acm.org)
2 points
totetsu
3 years ago
discuss
910.
When Concurrency Matters: Behaviour-Oriented Concurrency [pdf] (dl.acm.org)
2 points
signa11
3 years ago
discuss
911.
Structured Programming with go to Statements (Knuth) (1974) (dl.acm.org)
2 points
thechao
3 years ago
discuss
912.
Choreographic Programming: Higher-Order Typed Functional Choreographies (dl.acm.org)
2 points
romes
3 years ago
discuss
913.
Xerox PARC: A Metaobject Protocol for C++ (1995) [pdf] (dl.acm.org)
2 points
mepian
3 years ago
discuss
914.
ReUpNix: Reconfigurable and Updateable Embedded Systems [pdf] (dl.acm.org)
2 points
ryangibb
3 years ago
discuss
915.
Testing the Compiler for a New-Born Programming Language (dl.acm.org)
2 points
matt_d
3 years ago
discuss
916.
Guaranteeing Õ(AGM/Out) Runtime for Uniform Sampling, Size Estimation over Joins (dl.acm.org)
2 points
rntn
3 years ago
discuss
917.
What does it mean to be a programming language, anyhow? (2021) [pdf] (dl.acm.org)
2 points
crowdhailer
3 years ago
discuss
918.
Why Johnny Can’t Prompt: How Non-AI Experts Try (and Fail) to Design LLM Prompts (dl.acm.org)
2 points
Anon84
3 years ago
discuss
919.
Symbolics Document Examiner: Delivery Interface for Hypertext Documents (1987) [pdf] (dl.acm.org)
2 points
mepian
3 years ago
discuss
920.
Why Johnny Can’t Prompt: How Non-AI Experts Try (and Fail) to Design LLM Prompts (dl.acm.org)
2 points
loganfrederick
3 years ago
discuss
921.
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages (dl.acm.org)
2 points
luu
3 years ago
discuss
922.
Programming Languages and Law: A Research Agenda (dl.acm.org)
2 points
hkhn
3 years ago
discuss
923.
Synthesizing MILP Constraints for Efficient and Robust Optimization (dl.acm.org)
2 points
yeesian
3 years ago
discuss
924.
Covering All the Bases: Type-Based Verification of Test Input Generators (dl.acm.org)
2 points
ghuntley
3 years ago
discuss
925.
Efficient Parallel Functional Programming with Effects (dl.acm.org)
2 points
matt_d
3 years ago
discuss
926.
Parallelising Control Flow in Dynamic-Scheduling High-Level Synthesis (dl.acm.org)
2 points
matt_d
3 years ago
discuss
927.
Generate correctly rounded math libraries for new floating point variants (dl.acm.org)
2 points
downvotetruth
3 years ago
discuss
928.
Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks (dl.acm.org)
2 points
wallrat
3 years ago
discuss
929.
Privacy Implications of Accelerometer Data: Review of Possible Inferences (2019) (dl.acm.org)
2 points
belter
3 years ago
discuss
930.
Hosting an object heap on manycore hardware: an exploration (dl.acm.org)
2 points
rbanffy
3 years ago
discuss
More