A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Rajani, Vineet, Barthe, Gilles, Garg, Deepak
Published in Proceedings of ACM on programming languages (08.10.2024)
Published in Proceedings of ACM on programming languages (08.10.2024)
Get full text
Journal Article
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Drosos, Georgios-Petros, Sotiropoulos, Thodoris, Alexopoulos, Georgios, Mitropoulos, Dimitris, Su, Zhendong
Published in Proceedings of ACM on programming languages (08.10.2024)
Published in Proceedings of ACM on programming languages (08.10.2024)
Get full text
Journal Article
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis
Quiring, Benjamin, Van Horn, David
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
Beck, Calvin, Yoon, Irene, Chen, Hanxi, Zakowski, Yannick, Zdancewic, Steve
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
How to Bake a Quantum Π
Carette, Jacques, Heunen, Chris, Kaarsgaard, Robin, Sabry, Amr
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
Abstract Interpreters: A Monadic Approach to Modular Verification
Michelland, Sébastien, Zakowski, Yannick, Gonnord, Laure
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
Ethereum query language
Bragagnolo, Santiago, Rocha, Henrique, Denker, Marcus, Ducasse, Stéphane
Published in 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) (27.05.2018)
Published in 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) (27.05.2018)
Get full text
Conference Proceeding
Learning-based Widget Matching for Migrating GUI Test Cases
Zhang, Yakun, Zhang, Wenjie, Ran, Dezhi, Zhu, Qihao, Dou, Chengfeng, Hao, Dan, Xie, Tao, Zhang, Lu
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
Near-threshold voltage (NTV) design: opportunities and challenges
Kaul, Himanshu, Anders, Mark, Hsu, Steven, Agarwal, Amit, Krishnamurthy, Ram, Borkar, Shekhar
Published in Proceedings of the 49th Annual Design Automation Conference (03.06.2012)
Published in Proceedings of the 49th Annual Design Automation Conference (03.06.2012)
Get full text
Conference Proceeding
What Does a Downvote Do? Performing Complementary and Competing Knowledge Practices on an Online Platform
Seredko, Alena, Hillman, Thomas
Published in Computer Supported Cooperative Work (CSCW) (23.04.2024)
Published in Computer Supported Cooperative Work (CSCW) (23.04.2024)
Get full text
Conference Proceeding
GenderMag Improves Discoverability in the Field, Especially for Women: An Multi-Year Case Study of Suggest Edit, a Code Review Feature
Murphy-Hill, Emerson, Elizondo, Alberto, Murillo, Ambar, Harbach, Marian, Vasilescu, Bogdan, Carlson, Delphine, Dessloch, Florian
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
SCVHUNTER: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
Luo, Feng, Luo, Ruijie, Chen, Ting, Qiao, Ao, He, Zheyuan, Song, Shuwei, Jiang, Yu, Li, Sixing
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
Scalable Relational Analysis via Relational Bound Propagation
Stevens, Clay, Bagheri, Hamid
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
Demystifying and Detecting Misuses of Deep Learning APIs
Wei, Moshi, Harzevili, Nima Shiri, Huang, YueKai, Yang, Jinqiu, Wang, Junjie, Wang, Song
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
Shedding Light on Software Engineering-Specific Metaphors and Idioms
Imran, Mia Mohammad, Chatterjee, Preetha, Damevski, Kostadin
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
Investigating White-Box Attacks for On-Device Models
Zhou, Mingyi, Gao, Xiang, Wu, Jing, Liu, Kui, Sun, Hailong, Li, Li
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
Improving Testing Behavior by Gamifying IntelliJ
Straubinger, Philipp, Fraser, Gordon
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles
Wang, Dinghua, Li, Shuqing, Xiao, Guanping, Liu, Yepang, Sui, Yulei, He, Pinjia, Lyu, Michael R.
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding
A First Look at the Inheritance-Induced Redundant Test Execution
Kim, Dong Jae, Chen, Tse-Hsun Peter, Yang, Jinqiu
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Conference Proceeding