#programAnalysis - Twitter Hashtag

8 months ago

SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (https://t.co/AyFoWuxYD2). More info: https://t.co/zKZfwR6MtV #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder

0

5

3

0

1K

Tech At Bloomberg @TechAtBloomberg

over 1 year ago

#CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Submission Deadline: Friday, July 18, 2025 (11:59 PM AoE) https://t.co/ciGNZAkv8d #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding

0

13

12

7

15K

SOAP at PLDI '26 @SOAP_Workshop

over 1 year ago

SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 (https://t.co/BwDlSodQDY). More info here 👉 https://t.co/M8NNkf3f4T #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.

0

7

4

0

612

Chicago Java 🇺🇸 @cjug

over 1 year ago

Kicking off 2025 this coming Thursday, Jan 23, with a talk full of practical advice for #SystemUpgrade by @DarrenPMeyer from @EndorLabs at @Microsoft-Chicago #DevSecOps #OpenSourceSecurity #ProgramAnalysis #DependencyUpgrade https://t.co/aW2hBIEo34

cjug's tweet photo. Kicking off 2025 this coming Thursday, Jan 23, with a talk full of practical advice for #SystemUpgrade by @DarrenPMeyer from @EndorLabs at @Microsoft-Chicago #DevSecOps #OpenSourceSecurity #ProgramAnalysis #DependencyUpgrade
https://t.co/aW2hBIEo34 https://t.co/Vb5aT3Bd2X

0

2

1

0

264

Ridwan Shariffdeen @rshariffdeen

almost 2 years ago

Our 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

rshariffdeen's tweet photo. Our 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 https://t.co/yneneDbqwa

1

15

1

5

1K

ICSE @ICSEconf

almost 2 years ago

The 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: https://t.co/dXM31hYgsS

1

7

1

2

1K

reverseame @reverseame

about 2 years ago

angr for real-world use cases #angr #realworld #debugging #windows #programanalysis https://t.co/98SxI6ZD4P

0

53

13

17

3K

ACSAC @ACSAC_Conf

almost 3 years ago

For #ACSAC2023 we have seven different pre-conference workshop with topics ranging from #IndustrialControlSystems, IoT, #ThreatIntelligence, #ProgramAnalysis, # ProgramVerification, #Forensics, #IncidentResponse, #BlockchainSecurity, to #InsiderThreats. https://t.co/BVYDpMylhh

0

3

2

0

732

Blue Team News

@blueteamsec1

over 3 years ago

Fuzztruction - Prototype Of A Fuzzer That Does Not Directly Mutate Inputs (As Most Fuzzers Do) But Instead Uses A So-Called Generator Application To Produce An Input For Our Fuzzing Target #Fuzztruction #ProgramAnalysis #Scripts #Shells https://t.co/FiRW0WX7g5

blueteamsec1's tweet photo. Fuzztruction - Prototype Of A Fuzzer That Does Not Directly Mutate Inputs (As Most Fuzzers Do) But Instead Uses A So-Called Generator Application To Produce An Input For Our Fuzzing Target #Fuzztruction #ProgramAnalysis #Scripts #Shells https://t.co/FiRW0WX7g5 https://t.co/9Yk7Ed0RGM

0

19

5

4

4K

tosem @acm_tosem

over 3 years ago

Hi all! Share our congrats to Sattler et al. for their paper: "SEAL: Integrating Program Analysis and Repository Mining" accepted at #goTOSEM! #SoftwareEngineering #programAnalysis #repositoryMining

0

3

0

650

SOAP at PLDI '26 @SOAP_Workshop

over 3 years ago

SOAP 2023 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 10th, 2023. (https://t.co/YBLKBQJipT) More info here 👉 (https://t.co/wBmMCZD7iF) #SOAP2023 #CallForPapers #ProgramAnalysis

0

6

3

0

763

Lorenzo Cavallaro @lcavallaro

almost 4 years ago

Intrigued by #ML and #ProgramAnalysis for #Security? Fancy exploring its challenges and opportunities through a PhD? I’d like to recruit 1+ PhD student(s) through #ELLISPhD! Deadline’s Nov 15! Tune your material, list me as supervisor, check https://t.co/2cbshpJAYL and RT pls :-)

ELLIS @ELLISforEurope

almost 4 years ago

Looking for PhD opportunities in #MachineLearning or related fields? The #ELLISPhD Program is now accepting applications! Apply until November 15, 2022. #JoinELLISforEurope #phdlife #phd #AI https://t.co/Aq76eYquHl

0

210

129

38

0

9

5

0

Ponnurangam Kumaraguru “PK” @ponguru

about 4 years ago

Thrilled to have Prof. Uday Khedker from @iitbombay join the #phdlinic Mentors! Areas of work: #Compilers #ProgramAnalysis Register to interact https://t.co/HHJRjETRbz #PhDClinic #KnowYourMentors #ACMIndia #AcademicTwitter \c @Indiaacm

$ponguru's tweet photo. Thrilled to have Prof. Uday Khedker from @iitbombay join the #phdlinic Mentors! Areas of work: #Compilers #ProgramAnalysis Register to interact https://t.co/HHJRjETRbz #PhDClinic #KnowYourMentors #ACMIndia #AcademicTwitter \c @Indiaacm https://t.co/djUuLFtLm8$

0

14

1

0

Achim D. Brucker @adbrucker

over 4 years ago

The application deadline extension to 3 May. The application is down. Testing and verification skills shortage. #softwaresecurity #applicationsecurity #isabellehol #verification #phdposition #programanalysis #formalmethods #cyber #security #verification https://t.co/Txoa0EIdfd

Achim D. Brucker @adbrucker

over 4 years ago

Only 5 days to apply. Note that security testing, fuzzing, program analysis are equally in scope as formal methods and formal verification, e.g. using @isaprover

0

3

5

0

2

3

0

ETH CS Department @CSatETH

over 4 years ago

Thank you @shw3ta_shinde for yesterday's insightful inaugural lecture titled “Trust, but Verify: Building the Foundations for Secure Software”. Watch the recording here https://t.co/MnSsVOa1Sd @UCBerkeley @NUSingapore @ETH_en #trustedcomputing #systemsecurity #programanalysis

CSatETH's tweet photo. Thank you @shw3ta_shinde for yesterday's insightful inaugural lecture titled “Trust, but Verify: Building the Foundations for Secure Software”. Watch the recording here https://t.co/MnSsVOa1Sd @UCBerkeley @NUSingapore @ETH_en #trustedcomputing #systemsecurity #programanalysis https://t.co/fIvgQfZCah

0

33

3

1

0

ETH CS Department @CSatETH

over 4 years ago

„Can we do any better“? @shw3ta_shinde Shweta leads the Secure & Trustworthy Systems (Sectrs) group. Her research lies at the intersection of #trustedcomputing, #systemsecurity, #programanalysis, and #formalverification.

CSatETH's tweet photo. „Can we do any better“? @shw3ta_shinde Shweta leads the Secure & Trustworthy Systems (Sectrs) group. Her research lies at the intersection of #trustedcomputing, #systemsecurity, #programanalysis, and #formalverification. https://t.co/2SWewOWL2c

0

8

1

0

Oracle Labs @oraclelabs

over 4 years ago

New publication available: "Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications": https://t.co/9qTrdxKb8t #research #security #websecurity #javascript #programanalysis

oraclelabs's tweet photo. New publication available: "Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications": https://t.co/9qTrdxKb8t
#research #security #websecurity #javascript #programanalysis https://t.co/1s2ZSKCyMQ

0

4

0

Cristina Cifuentes @criscifuentes

over 4 years ago

Postdoc 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 #australia

paddy krishnan @paddy_krishnan

over 4 years ago

Post-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 at https://t.co/7wcH1FiZ7u

0

4

1

0

9

7

0

tosem @acm_tosem

over 4 years ago

Hi all! please salute Lauko et al. for their paper: "Verification of Programs Sensitive to Heap Layout" #verification #programAnalysis #heaps

0

2

0

ISEC 2025 @ISECConf

almost 5 years ago

G'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

ISECConf's tweet photo. G'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 https://t.co/JRG5hC64Gq

0

4

1

0

Top Tweets for #programAnalysis

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users