WP_Query Object
(
[query] => Array
(
[post_type] => tribe_events
[posts_per_page] => 5
[post_status] => publish
[orderby] => Array
(
[post_date] => ASC
[tec_event_start_date] => ASC
)
[order] => DESC
[tax_query] => Array
(
[0] => Array
(
[taxonomy] => post_tag
[field] => term_id
[terms] => 1541
)
)
[meta_query] => Array
(
[tec_event_start_date] => Array
(
[key] => _EventStartDate
[compare] => EXISTS
)
[tec_event_end_date] => Array
(
[key] => _EventEndDate
[value] => 2025-08-30 02:18:30
[compare] => >=
[type] => DATETIME
)
)
)
[query_vars] => Array
(
[post_type] => tribe_events
[posts_per_page] => 5
[post_status] => publish
[orderby] => Array
(
[post_date] => ASC
[tec_event_start_date] => ASC
)
[order] => DESC
[tax_query] => Array
(
[0] => Array
(
[taxonomy] => post_tag
[field] => term_id
[terms] => 1541
)
)
[error] =>
[m] =>
[p] => 0
[post_parent] =>
[subpost] =>
[subpost_id] =>
[attachment] =>
[attachment_id] => 0
[name] =>
[pagename] =>
[page_id] => 0
[second] =>
[minute] =>
[hour] =>
[day] => 0
[monthnum] => 0
[year] => 0
[w] => 0
[category_name] =>
[tag] =>
[cat] =>
[tag_id] => 1541
[author] =>
[author_name] =>
[feed] =>
[tb] =>
[paged] => 0
[meta_key] =>
[meta_value] =>
[preview] =>
[s] =>
[sentence] =>
[title] =>
[fields] => all
[menu_order] =>
[embed] =>
[category__in] => Array
(
)
[category__not_in] => Array
(
)
[category__and] => Array
(
)
[post__in] => Array
(
)
[post__not_in] => Array
(
)
[post_name__in] => Array
(
)
[tag__in] => Array
(
)
[tag__not_in] => Array
(
)
[tag__and] => Array
(
)
[tag_slug__in] => Array
(
)
[tag_slug__and] => Array
(
)
[post_parent__in] => Array
(
)
[post_parent__not_in] => Array
(
)
[author__in] => Array
(
)
[author__not_in] => Array
(
)
[search_columns] => Array
(
)
[meta_query] => Array
(
[tec_event_start_date] => Array
(
[key] => _EventStartDate
[compare] => EXISTS
)
[tec_event_end_date] => Array
(
[key] => _EventEndDate
[value] => 2025-08-30 02:18:30
[compare] => >=
[type] => DATETIME
)
)
[ignore_sticky_posts] =>
[suppress_filters] =>
[cache_results] => 1
[update_post_term_cache] => 1
[update_menu_item_cache] =>
[lazy_load_term_meta] => 1
[update_post_meta_cache] => 1
[nopaging] =>
[comments_per_page] => 50
[no_found_rows] =>
)
[tax_query] => WP_Tax_Query Object
(
[queries] => Array
(
[0] => Array
(
[taxonomy] => post_tag
[terms] => Array
(
[0] => 1541
)
[field] => term_id
[operator] => IN
[include_children] => 1
)
)
[relation] => AND
[table_aliases:protected] => Array
(
[0] => wp_term_relationships
)
[queried_terms] => Array
(
[post_tag] => Array
(
[terms] => Array
(
[0] => 1541
)
[field] => term_id
)
)
[primary_table] => wp_posts
[primary_id_column] => ID
)
[meta_query] => WP_Meta_Query Object
(
[queries] => Array
(
[tec_event_start_date] => Array
(
[key] => _EventStartDate
[compare] => EXISTS
)
[tec_event_end_date] => Array
(
[key] => _EventEndDate
[value] => 2025-08-30 02:18:30
[compare] => >=
[type] => DATETIME
)
[relation] => AND
)
[relation] => AND
[meta_table] => wp_postmeta
[meta_id_column] => post_id
[primary_table] => wp_posts
[primary_id_column] => ID
[table_aliases:protected] => Array
(
[0] => wp_postmeta
[1] => mt1
)
[clauses:protected] => Array
(
[tec_event_start_date] => Array
(
[key] => _EventStartDate
[compare] => EXISTS
[compare_key] => =
[alias] => wp_postmeta
[cast] => CHAR
)
[tec_event_end_date] => Array
(
[key] => _EventEndDate
[value] => 2025-08-30 02:18:30
[compare] => >=
[type] => DATETIME
[compare_key] => =
[alias] => mt1
[cast] => DATETIME
)
)
[has_or_relation:protected] =>
)
[date_query] =>
[request] => SELECT SQL_CALC_FOUND_ROWS wp_posts.ID
FROM wp_posts LEFT JOIN wp_term_relationships ON (wp_posts.ID = wp_term_relationships.object_id) INNER JOIN wp_postmeta ON ( wp_posts.ID = wp_postmeta.post_id ) INNER JOIN wp_postmeta AS mt1 ON ( wp_posts.ID = mt1.post_id )
WHERE 1=1 AND (
wp_term_relationships.term_taxonomy_id IN (1546)
) AND (
wp_postmeta.meta_key = '_EventStartDate'
AND
( mt1.meta_key = '_EventEndDate' AND CAST(mt1.meta_value AS DATETIME) >= '2025-08-30 02:18:30' )
) AND wp_posts.post_type = 'tribe_events' AND ((wp_posts.post_status = 'publish'))
GROUP BY wp_posts.ID
ORDER BY wp_posts.post_date ASC, CAST(wp_postmeta.meta_value AS CHAR) ASC
LIMIT 0, 5
[posts] => Array
(
[0] => WP_Post Object
(
[ID] => 81216
[post_author] => 1
[post_date] => 2025-08-29 06:08:51
[post_date_gmt] => 2025-08-29 06:08:51
[post_content] => Abstract: OCaml is a 25+ year old, industrial-strength functional programming language used widely in the industry and academia. OCaml is particularly favoured for its ability to write correct and efficient programs easily. Notable open-source projects using OCaml include the Rocq theorem prover, MirageOS Unikernel libraries, and static analysis tools and programming languages such as Hack, Flow, Infer, CompCert, etc. Some notable industrial users include Jane Street, Meta, Ahrefs and Docker. Despite its age, the OCaml community is strong and growing, bringing cutting-edge programming language research and language tooling to its users without breaking critical legacy code. In this talk, I will present how the OCaml community approaches this difficult task, reflecting upon the development of the recent major release OCaml 5, which brought native support for concurrency and parallelism to the language and developing state-of-the-art platform tools to help our users be effective at using OCaml. I'll include a deep dive into the new concurrency mechanism in OCaml that lets users seamlessly build rich concurrency abstractions on top of the core language.
About the Speaker: KC Sivaramakrishnan is an Assistant Professor in the Department of Computer Science and Engineering at IIT Madras and the CTO at Tarides. He is interested in the intersection of programming languages and (concurrent, distributed, parallel, operating, secure) systems. He led the work on Multicore OCaml, a decade-long project to add concurrency and parallelism to the OCaml programming language. Multicore OCaml was merged into the OCaml language and released as part of OCaml 5.0. In the past, KC was a senior research fellow at the University of Cambridge Computer Lab, and he obtained his PhD and MS from Purdue University. His awards include the SIGPLAN Programming Languages Software Award, Royal Commission for the Exhibition of 1851 Fellowship, Darwin College Cambridge research fellowship, Maurice H. Halstead Memorial award for outstanding research in software engineering, and distinguished paper awards at ICFP and PADL.
We look forward to your active participation.
[post_title] => CS Colloquium: Evolving the OCaml programming language
[post_excerpt] =>
[post_status] => publish
[comment_status] => closed
[ping_status] => closed
[post_password] =>
[post_name] => cs-colloquium-evolving-the-ocaml-programming-language
[to_ping] =>
[pinged] =>
[post_modified] => 2025-08-29 06:08:51
[post_modified_gmt] => 2025-08-29 06:08:51
[post_content_filtered] =>
[post_parent] => 0
[guid] => https://www.ashoka.edu.in?post_type=tribe_events&p=81216
[menu_order] => 0
[post_type] => tribe_events
[post_mime_type] =>
[comment_count] => 0
[filter] => raw
)
)
[post_count] => 1
[current_post] => -1
[before_loop] => 1
[in_the_loop] =>
[post] => WP_Post Object
(
[ID] => 81216
[post_author] => 1
[post_date] => 2025-08-29 06:08:51
[post_date_gmt] => 2025-08-29 06:08:51
[post_content] => Abstract: OCaml is a 25+ year old, industrial-strength functional programming language used widely in the industry and academia. OCaml is particularly favoured for its ability to write correct and efficient programs easily. Notable open-source projects using OCaml include the Rocq theorem prover, MirageOS Unikernel libraries, and static analysis tools and programming languages such as Hack, Flow, Infer, CompCert, etc. Some notable industrial users include Jane Street, Meta, Ahrefs and Docker. Despite its age, the OCaml community is strong and growing, bringing cutting-edge programming language research and language tooling to its users without breaking critical legacy code. In this talk, I will present how the OCaml community approaches this difficult task, reflecting upon the development of the recent major release OCaml 5, which brought native support for concurrency and parallelism to the language and developing state-of-the-art platform tools to help our users be effective at using OCaml. I'll include a deep dive into the new concurrency mechanism in OCaml that lets users seamlessly build rich concurrency abstractions on top of the core language.
About the Speaker: KC Sivaramakrishnan is an Assistant Professor in the Department of Computer Science and Engineering at IIT Madras and the CTO at Tarides. He is interested in the intersection of programming languages and (concurrent, distributed, parallel, operating, secure) systems. He led the work on Multicore OCaml, a decade-long project to add concurrency and parallelism to the OCaml programming language. Multicore OCaml was merged into the OCaml language and released as part of OCaml 5.0. In the past, KC was a senior research fellow at the University of Cambridge Computer Lab, and he obtained his PhD and MS from Purdue University. His awards include the SIGPLAN Programming Languages Software Award, Royal Commission for the Exhibition of 1851 Fellowship, Darwin College Cambridge research fellowship, Maurice H. Halstead Memorial award for outstanding research in software engineering, and distinguished paper awards at ICFP and PADL.
We look forward to your active participation.
[post_title] => CS Colloquium: Evolving the OCaml programming language
[post_excerpt] =>
[post_status] => publish
[comment_status] => closed
[ping_status] => closed
[post_password] =>
[post_name] => cs-colloquium-evolving-the-ocaml-programming-language
[to_ping] =>
[pinged] =>
[post_modified] => 2025-08-29 06:08:51
[post_modified_gmt] => 2025-08-29 06:08:51
[post_content_filtered] =>
[post_parent] => 0
[guid] => https://www.ashoka.edu.in?post_type=tribe_events&p=81216
[menu_order] => 0
[post_type] => tribe_events
[post_mime_type] =>
[comment_count] => 0
[filter] => raw
)
[comment_count] => 0
[current_comment] => -1
[found_posts] => 1
[max_num_pages] => 1
[max_num_comment_pages] => 0
[is_single] =>
[is_preview] =>
[is_page] =>
[is_archive] => 1
[is_date] =>
[is_year] =>
[is_month] =>
[is_day] =>
[is_time] =>
[is_author] =>
[is_category] =>
[is_tag] => 1
[is_tax] =>
[is_search] =>
[is_feed] =>
[is_comment_feed] =>
[is_trackback] =>
[is_home] =>
[is_privacy_policy] =>
[is_404] =>
[is_embed] =>
[is_paged] =>
[is_admin] =>
[is_attachment] =>
[is_singular] =>
[is_robots] =>
[is_favicon] =>
[is_posts_page] =>
[is_post_type_archive] => 1
[query_vars_hash:WP_Query:private] => da06db1be87e3df3e039084d6b49c51d
[query_vars_changed:WP_Query:private] => 1
[thumbnails_cached] =>
[allow_query_attachment_by_filename:protected] =>
[stopwords:WP_Query:private] =>
[compat_fields:WP_Query:private] => Array
(
[0] => query_vars_hash
[1] => query_vars_changed
)
[compat_methods:WP_Query:private] => Array
(
[0] => init_query_flags
[1] => parse_tax_query
)
[query_cache_key:WP_Query:private] => wp_query:3c18544c7ee06e87a0ab9ccbe35cb63b:0.45610900 17565005090.93536800 1756500509
[tribe_is_event] => 1
[tribe_is_multi_posttype] =>
[tribe_is_event_category] =>
[tribe_is_event_venue] =>
[tribe_is_event_organizer] =>
[tribe_is_event_query] => 1
[tribe_is_past] =>
)
.png)
