Hacker News new | past | comments | ask | show | jobs | submit | from login
Psyche-C: automatic compilation of partially-available C programs (dcc.ufmg.br)
56 points by PaulHoule 74 days ago | past | 7 comments
Psyche-C: automatic compilation of partially-available sources (dcc.ufmg.br)
2 points by fanf2 79 days ago | past
Understanding code smells in Elixir functional language [pdf] (dcc.ufmg.br)
7 points by clessg on July 10, 2023 | past
Understanding Code Smells in Elixir Functional Language [pdf] (dcc.ufmg.br)
3 points by todsacerdoti on May 23, 2023 | past | 1 comment
Brazilian Telegram Monitoring System (dcc.ufmg.br)
3 points by matheusmoreira on April 28, 2023 | past
How and Why We End Up with Complex Methods: A Multi-Language Study [pdf] (dcc.ufmg.br)
2 points by henrik_w on June 4, 2022 | past
Cvc5: Versatile and Industrial-Strength SMT Solver [pdf] (dcc.ufmg.br)
40 points by ingve on March 5, 2022 | past | 17 comments
Googling for Software Development: What Developers Search for and What They Find [pdf] (dcc.ufmg.br)
1 point by rbanffy on Nov 26, 2021 | past
Psyche-c – Automatic Compilation of Partially-Available C Sources (dcc.ufmg.br)
37 points by vkazanov on May 1, 2019 | past | 6 comments
A System for Monitoring Public Political Groups in WhatsApp [pdf] (dcc.ufmg.br)
1 point by rbanffy on Sept 28, 2018 | past
Automatic compilation of partially available C source code (dcc.ufmg.br)
129 points by vivagn on April 21, 2017 | past | 17 comments
Psyche-c completes missing parts of C programs (dcc.ufmg.br)
3 points by kazinator on Nov 9, 2016 | past
Flow Tracker: Making programs safe though static flow analyses (dcc.ufmg.br)
2 points by anon1385 on Feb 23, 2015 | past
Data Mining and Analysis: Fundamental Concepts and Algorithms [pdf] (dcc.ufmg.br)
158 points by rawfael on Sept 15, 2013 | past | 12 comments
APIMiner: Android SDK documentation instrumented with source code examples (dcc.ufmg.br)
1 point by mtov on Jan 28, 2013 | past
Distributed Perfect Hashing for Very Large Key Sets (dcc.ufmg.br)
1 point by codexon on Jan 9, 2010 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: