tosem@acm_tosem
Hi all! please salute Lauko et al. for their paper: "Verification of Programs Sensitive to Heap Layout" #verification #programAnalysis #heaps
002
Posts with #programanalysis
#programanalysis
Public posts on X that use #programanalysis.
Related hashtags
SOAP at PLDI '26@SOAP_WorkshopSOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 ( More info: #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder0351.1K
ISEC 2025@ISECConfG'day, #SE Folks! #ISEC2022 Introducing our first Keynote speaker: Professor Gail E. Kaiser from @Columbia University. Prof. Kaiser conducts research in software engineering and security from a systems perspective, focusing on #ProgramAnalysis and #SoftwareTesting
014- tosem@acm_tosemHi all! Share our congrats to Sattler et al. for their paper: "SEAL: Integrating Program Analysis and Repository Mining" accepted at #goTOSEM! #SoftwareEngineering #programAnalysis #repositoryMining003650
Ridwan Shariffdeen@rshariffdeenOur work on detecting supply-chain attacks using program analysis is accepted in @ICSEconf SEIP Track. We present an inter-package program analysis technique to detect malicious packages in the Python ecosystem. #SupplyChain #ProgramAnalysis #MalwareDetection #ICSE #SEIP
11151.2K
ACM India@IndiaacmLet's welcome Prof. Deepak D'Souza from @iiscbangalore as a #PhDclinic mentor in the areas of #FormalVerification and #ProgramAnalysis. Register at Contact Prof @ponguru if you have any questions. #KnowYourMentors #ACMIndia Cc @mnwsth @neeldharaPonnurangam Kumaraguru “PK” @ponguruProf. Deepak D'Souza @iiscbangalore joins the #phdlinic Mentors! #Thrilled Areas of work: #FormalVerification #ProgramAnalysis Register to seek advice #KnowYourMentors #ACMIndia \c @Indiaacm008
Ponnurangam Kumaraguru “PK”@ponguruProf. Deepak D'Souza @iiscbangalore joins the #phdlinic Mentors! #Thrilled Areas of work: #FormalVerification #ProgramAnalysis Register to seek advice #KnowYourMentors #ACMIndia \c @Indiaacm
008
David Korczynski@DavkorczNew video! SymCC: Symbolic execution by way of Compilation. Check it out! Tool and paper by @poeplau and @aurelsec #symbolicexecution #fuzzing #programanalysis #corner11463
ICSE@ICSEconfThe Codellm-Devkit: A Framework To Contextualize Code #LLMs with #ProgramAnalysis Insights Tool Demo #TechnicalBriefing at #icse2025 will present an open-source library that simplifies performing program analysis at various levels of granularity. See more:1171.2K
- @marcin_hoppe@marcin_hoppe @ronperris @liran_tal @manicode @github Couldn't agree more :) My experience with most of SAST tools so far was very disappointing... I'll be willing to pay some money (something cheaper compared to codeQL)100
Marcin Hoppe@marcin_hoppe@omerlh@omerlh @ronperris @liran_tal @manicode @github My personal prediction is that the role of #programanalysis will shift in the future. Instead of deploying turnkey #SAST solutions we will do more tool-assisted #codereview and #variantanalysis to scale manual security tests. Disclaimer: it's just my opinion. YMMV.203- SOAP at PLDI '26@SOAP_WorkshopSOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 ( More info here 👉 #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.047613
WSSB@Sch4BlindExcellent #learning opportunities on topics such as #accessibility, #ProgramAnalysis, #ExpandedCoreCurriculum, #StrategicPlanning, #collaboration, and more at #COSB19.003
Formal Methods 2026@FMsympFM Week 🆕 The Final Program of ➡️ SAS 2019 ⬅️ is out: 😀 For all final programs already available please visit #programanalysis #formalmethods @FormalMtds #formalverification002
babush@pmonteselFlex's data flow looking good. But I really don't want to do graph matching manually in Java T.T #killmepls #needsleep #programanalysis #neo4jlol
002- SOAP at PLDI '26@SOAP_WorkshopSOAP 2023 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 10th, 2023. ( More info here 👉 ( #SOAP2023 #CallForPapers #ProgramAnalysis036764
ADA Logics@ADALogicsHave you seen our course in LLVM for security engineering? It is designed to provide security researchers and low-level engineers with the skills and knowledge it takes to create sophisticated program analysis tools. @llvmorg #programanalysis003- Ponnurangam Kumaraguru “PK”@ponguruThrilled to have Prof. Uday Khedker from @iitbombay join the #phdlinic Mentors! Areas of work: #Compilers #ProgramAnalysis Register to interact #PhDClinic #KnowYourMentors #ACMIndia #AcademicTwitter \c @Indiaacm
0114 - ADA Logics@ADALogicsInterested in academic research on #ProgramAnalysis #fuzzing #malware #SymbolicExecution or #SoftwareSecurity in general then this repository keeps a nice collection of relevant papersDavid Korczynski @DavkorczWe started gathering a list of academic software security papers with links 300+ papers and many more to come - check it out and please submit PRs :)002
- David Korczynski@DavkorczWe started gathering a list of academic software security papers with links 300+ papers and many more to come - check it out and please submit PRs :)0939
- Formal Methods 2026@FMsymp📹 Watch the VECoS 2019 call for papers live on YouTube! #formalverification #programanalysis #formalmethods @FormalMtds012
Cristina Cifuentes@criscifuentesPostdoc opportunity in sunny Brisbane in the area of program synthesis as applied to runtime application self-protection with the excellent team at Oracle Labs, Australia #postdocjobs #oracle #programanalysis #programsynthesis #australiapaddy krishnan @paddy_krishnanPost-doc position in the area of application security analysis using a variety of techniques including program synthesis, dynamic analysis available at Oracle Labs, Australia. Details are available at079
paddy krishnan@paddy_krishnanPost-doc position in the area of application security analysis using a variety of techniques including program synthesis, dynamic analysis available at Oracle Labs, Australia. Details are available at014
Jonathan Aldrich@JAldrichPLHow to mix static and dynamic #programanalysis in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at #POPL2020 Workshop on Gradual Typing #wgt. Read the paper!0426- Show more posts
